Title :
Analyzing concurrency in computational networks
Author :
Stuijk, Sander ; Basten, Twan
Author_Institution :
Eindhoven Univ. of Technol., Netherlands
Abstract :
We present a concurrency model that allows reasoning about concurrency in executable specifications. The model mainly focuses on data-flow and streaming applications and at task-level concurrency. The aim of the model is to provide insight in concurrency bottlenecks in an application and to provide support for performing implementation independent concurrency optimization.
Keywords :
concurrency control; data flow analysis; formal specification; systems analysis; computational network; concurrency analysis; concurrency bottleneck; concurrency model; concurrency optimization; concurrency reasoning; data flow; embedded multimedia system; executable specification; multiprocessor system; streaming application; task-level concurrency; Computational modeling; Computer networks; Concurrent computing; Decoding; Delay effects; Intelligent networks; Optimization methods; Power system modeling; Streaming media; Throughput;
Conference_Titel :
Formal Methods and Models for Co-Design, 2003. MEMOCODE '03. Proceedings. First ACM and IEEE International Conference on
Conference_Location :
Mont Saint Michel, France
Print_ISBN :
0-7695-1923-7
DOI :
10.1109/MEMCOD.2003.1210086
