Probabilistic application modeling for system-level performance analysis

Proceedings -Design, Automation and Test in Europe, DATE

Volumn , Issue , 2001, Pages 572-579

  Marculescu, Radu ^a   Nandi, Amit ^a  

^a CARNEGIE MELLON UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

APPLICATION MODELING; MPEG-2 VIDEO; MULTIMEDIA APPLICATIONS; STEADY-STATE BEHAVIORS; STOCHASTIC AUTOMATA NETWORKS; SYSTEM LEVELS; SYSTEM-LEVEL ANALYSIS; SYSTEM-LEVEL PERFORMANCE;

AUTOMATA THEORY; EXHIBITIONS; MOTION PICTURE EXPERTS GROUP STANDARDS; PROBABILITY DISTRIBUTIONS;

DESIGN;

EID: 84893709369     PISSN: 15301591     EISSN: None     Source Type: Journal    
DOI: 10.1109/DATE.2001.915081     Document Type: Article

References (23)

1. S. Edwards, L. Lavagno, E. A. Lee, A. Sangiovanni-Vincentelli, ’Design of embedded systems: formal models, validation, and synthesis’, Proc. IEEE, Vol. 85, no. 3, March 1997.
2. D. D. Gajski, F. Vahid, S. Narayan, J. Gong, ’Specification and Design of Embedded Systems’, Prentice Hall, 1994.
3. R. K. Gupta, ’Co-synthesis of Hardware and Software for Digital Embedded Systems’, Kluwer Academic Publishers, 1995.
4. W. Wolf, ’Hardware-software co-design of embedded systems’ in Proc. IEEE, Vol. 82, July 1994.
5. A. Sangiovanni-Vincentelli, B. Kienhuis, J. Rabaey, K. Vissers, and D. Verkest, ’System Level Design with Embedded Platforms’, Tutorial DAC, Los Angeles, CA, June 2000.
6. A. Kalavade, P. Moghe, ’A tool for performance estimation of networked Embedded End-Systems’, Proc. DAC, San Francisco, CA, June 1998.
7. P. Lieverse, P. Van der Wolf, E. Deprettere, and K. Vissers, ’A Methodology for Architecture Exploration of Heterogeneous Signal Processing Systems’, to appear in Journal of VLSI Signal Processing.
8. B. Plateau, J. M. Fourneau, ’A Methodology for Solving Markov Models of Parallel Systems’, Journal of Parallel and Distributed Comp., Vol. 12, 1991.
9. W. J. Stewart, ’An introduction to the Numerical Solution of Markov Chains’, Princeton University Press, New Jersey, 1994.
10. S. Malik, M. Martonosi, Y.-T. Li, ’Static Timing Analysis of Embedded Software’, in Proc. DAC, Anaheim, CA, 1997.
11. W. Ye, R. Emst, T. Benner, J. Henkel, ’Fast Timing Analysis for Hardware-Software Cosynthesis’, Proc. Intl. Conf. Computer Design, 1993.
12. T.-Y. Yen, W. Wolf, ’Performance Estimation for Real-time Distributed Embedded Systems’, Proc. Intl. Conf. Computer Design, 1995.
13. T. Simunic, L. Benini, G. DeMicheli, ’Cycle-Accurate Simulation of Energy Consumption in Embedded Systems’, Proc. DAC, New Orleans, June 1999.
14. T. Zhou, X. Hu, and E. Sha, ’A Probabilistic Performance Metric for Real-Time System Design’, Proc. CODES, May 1999.
15. H. Hulgaard, S. M. Burns, T. Amon, G. Borriello, ’An Algorithm for Exact Bounds on the Time Separation of Events in Concurrent Systems’, IEEE Trans, on Comp., Vol. 44, no. 11, 1995.
16. A. Mathur, A. Dasdan, R. Gupta, ’Rate Analysis for Embedded Systems’, ACM Trans, on Design Automation of Electronic Systems, Vol. 3, no. 3, July 1998.
17. J. Buck, S. Ha, E. A. Lee, D. G Messerschmitt, ’Ptolemy: A framework for simulating and prototyping heterogeneous systems’, Intl. Journal of Comp. Simulation, vol. 4, Apr. 1994.
18. F. Balarin et al, ’Hardware-Software Co-design of Embedded Systems - The POL1S approach’, Kluwer Academic Publishers, 1997.
19. P. Chou, R. B. Ortega, and G Boriello, ’The Chinook Hardware/Software Co-Synthesis System’, Proc. Intl. Symposium on System Synthesis, 1995.
20. J. Buck, R. Vaidyanath, ’Heterogeneous Modeling and Simulation of Embedded Systems in El Greco’, Proc. CODES, March 2000.
21. B. Plateau, ’On the stochastic Structure of Parallelism and Synchronization Models for Distributed Algorithms’, Proc. ACM Sigmetrics, Aug. 1985.
22. D. Harel, ’Statecharts: A visual formalism for complex systems’, in Sci. Comp. Prog, Vol. 8, 1987.
23. D. Brooks, V. Tiwari and M. Martonosi, ’Wattch: a framework for architectural-level power analysis and optimizations’, Proc. ISCA, June 2000.