DocumentCode :
2995005
Title :
Sizing of communication buffers for communicating signal processes
Author :
Kolks, Tilman ; Lin, Bill ; De Man, Hugo
Author_Institution :
IMEC vzw., Leuven, Belgium
fYear :
1993
fDate :
20-22 Oct 1993
Firstpage :
426
Lastpage :
434
Abstract :
A method is presented for the minimal sizing of communication buffers in an environment of communicating signal processes. Existing methods based upon lifetime analysis techniques are mainly suited for sizing buffers in a network of processes with non-conditional interactions. The authors consider a more general problem where the execution of each process depends inherently on complex interactions with other processes as well as on its internal conditional behavior. To address the buffer sizing for this general case, the use of implicit state enumeration techniques is proposed. A dynamic data flow graph (DDF) is used as the model to describe the entire system of communicating processes. This DDF is translated into a network of finite state machine that forms state space on which methods based on implicit state space exploration are applied. To reduce the size of the state space, abstraction techniques are used to produce a simplified version in which irrelevant information is removed. The feasibility of the proposed approach is demonstrated by a practical signal processing example
Keywords :
buffer storage; data flow graphs; finite state machines; multiprocessing systems; signal processing; state-space methods; abstraction techniques; buffer sizing; communicating signal processes; communication buffers; ds based on implicit state space exploration; dynamic data flow graph; minimal sizing; network of finite state machine; Buffer storage; Communication system control; Computational modeling; Flow graphs; Process control; Signal processing; Space exploration; State-space methods; Telecommunication control; Transmitters;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
VLSI Signal Processing, VI, 1993., [Workshop on]
Conference_Location :
Veldhoven
Print_ISBN :
0-7803-0996-0
Type :
conf
DOI :
10.1109/VLSISP.1993.404463
Filename :
404463
Link To Document :
بازگشت