A scenario-aware data flow model for combined long-run average and worst-case performance analysis

Proceedings - Fourth ACM and IEEE International Conference on Formal Methods and Models for Co-Design, MEMOCODE'06

Volumn , Issue , 2006, Pages 185-194

  Theelen, B D ^a   Geilen, M C W ^a   Basten, T ^a   Voeten, J P M ^a,b   Gheorghita, S V ^a   Stuijk, S ^a  

^a EINDHOVEN UNIVERSITY OF TECHNOLOGY   (Netherlands)

^b EMBEDDED SYSTEMS INSTITUTE   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SIMULATION; DATA FLOW ANALYSIS; MARKOV PROCESSES; MOTION PICTURE EXPERTS GROUP STANDARDS;

SCENARIO-AWARE DATA FLOW; WORST-CASE PERFORMANCE ANALYSIS;

SIGNAL PROCESSING;

EID: 34548854697     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (26)

1. M. Bernardo and R. Gorrieri. A Tutorial on EMPA: A Theory of Concurrent Processes with Nondeterminism, Priorities, Probabilities and Time. Theoretical Computer Science, vol 202 (1-2), pp 1-54, 1998.
2. B. Bhattacharya and S.S. Bhattacharyya. Parameterized Dataflow Modeling for DSP Systems. IEEE Transactions on Signal Processing, vol 49 (10), pp 2408-2421, 2001.
3. G. Bilsen, M. Engels, R. Lauwereins and J.A. Peperstraete. Cyclo-Static Dtata Flow. Proceedings of ICASSP'95, vol 5, pp 3255-3258, IEEE, 1995.
4. J.T. Buck. Scheduling Dynamic Dataflow Graphs with Bounded Memory using the Token Flow Model. Ph.D. Thesis, University of California, Berkeley, 1993.
5. J.T. Buck. Static Scheduling and Code Generation from Dynamic Dataflow Graphs with Integer-Valued Control Streams. Proceedings of SSC'94, vol 1, pp 508-513, IEEE, 1994.
6. K.L. Chung. Markov Chains with Stationary Transition Probabilities. Springer-Verlag, 1967.
7. M.A. Cranes and A.J. Lemoine. An Introduction to the Regenerative Method for Simulation Analysis. Lecture Notes in Control and Information Sciences, vol 4, 1977.
8. G.R. Goa, R. Govindarajan and P. Panangaden. Well-Behaved Dataflow Programs for DSP Computation. Proceedings of ICASSP'92, vol 5, pp 561-564, IEEE 1992.
9. J. Hillston. Compositional Markovian Modelling Using a Process Al-gebra. Proceedings of NSMC'95, pp 177-196. Kluwer, 1995.
10. G. Kahn. The Semantics of a Simple Language for Parallel Programming. Proceedings of IFIP'74, pp 471-475, North-Holland, 1974.
11. L. Kleinrock. Queueing Systems, Volume 1: Theory. Wiley Interscience, 1975.
12. E. Lee and D. Messerschmitt. Synchronous Data Flow. IEEE Proceedings, vol 75 (9), pp 1235-1245, 1987.
13. M.A. Marsan, G. Conte and G. Balbo. A Class of Generalised Stochastic Petri Nets for the Performance Evaluation of Multiprocessor Systems. ACM Transactions on Computer Systems, vol 2 (2), pp 93-122, 1984.
14. M.K. Molloy. Performance Analysis using Stochastic Petri Nets. IEEE Transactions on Computers, vol 31 (9), pp 913-917, 1982.
15. http://www.es.ele.tue.nl/poosl
16. S. Ritz, M. Pankart and H. Meyr. High-Level Software Synthesis for Signal Processing Systems. Proceedings of ASAP'92, pp 679-693, IEEE, 1992.
17. R. Segala. Modelling and Verification of Randomized Distributed Real-Time Systems. Ph.D. Thesis, Massachusetts Institute of Technology, 1995.
18. S. Siram and S.S. Bhattacharyya. Embedded Multiprocessors; Scheduling and Synchronization. Marcel Dekker, 2000.
19. B.D. Theelen. Performance Modelling for System-Level Design. Ph.D. Thesis, Eindhoven University of Technology, 2004.
20. H.C. Tijms. Stochastic Models; An Algorithmic Approach. John Wiley & Sons, 1994.
21. J.P.M. Voeten. Performance Evaluation with Temporal Rewards. Performance Evaluation, vol 50 (2/3), pp 189-218, 2002.
22. G. Clark. Formalising the Specification of Rewards with PEPA. Proceedings of PAPM'96, pp 139-160, Carleton Scientific, 1996.
23. C. Derman. Finite State Markovian Decision Processes. Academic Press, New York, 1970.
24. A.H. Ghamarian, M.C.W. Geilen, S. Stuijk, T. Basten, A. Moonen, M. Bekooij, B.D. Theelen and M.R. Mousavi. Throughput Analysis of Synchronous Dataflow Graphs. In: Proceedings of ACSD'06, IEEE, 2006.
25. R.M. Karp and R.E. Miller. Properties of a Model for Parallel Computations: Determinacy, Termination, Queueing. SIAM Journal of Applied Mathematics, vol 14 (6), pp 1390-1411, 1966.
26. N.A. Lynch and E.W. Stark. A Proof of the Kahn Principle for Input/Output Automata. Information and Computation, vol 82(1), pp 81-92, 1989.