DocumentCode
1616591
Title
Analyzing concurrency in computational networks
Author
Stuijk, Sander ; Basten, Twan
Author_Institution
Eindhoven Univ. of Technol., Netherlands
fYear
2003
Firstpage
47
Lastpage
48
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;
fLanguage
English
Publisher
ieee
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
Type
conf
DOI
10.1109/MEMCOD.2003.1210086
Filename
1210086
Link To Document