Quasi-static scheduling for concurrent architectures

Fundamenta Informaticae

Volumn 62, Issue 2, 2004, Pages 171-196

  Cortadella, Jordi ^a   Kondratyev, Alex ^b   Lavagno, Luciano ^c   Taubin, Alexander ^d   Watanabe, Yosinori ^b  

^a UNIVERSITAT POLITÈCNICA DE CATALUNYA   (Spain)

^b LAWRENCE BERKELEY NATIONAL LABORATORY   (United States)

^c POLITECNICO DI TORINO   (Italy)

^d BOSTON UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; APPROXIMATION THEORY; COMPUTER OPERATING SYSTEMS; GRAPH THEORY; HEURISTIC METHODS; MATHEMATICAL MODELS; PETRI NETS; PROBLEM SOLVING; REAL TIME SYSTEMS; SCHEDULING;

CONCURRENT PROCESSES; EXECUTION RESOURCES; MASTER-SLAVES; QUASI-STATIC SCHEDULING (QSS);

COMPUTER ARCHITECTURE;

EID: 4644259474     PISSN: 01692968     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Conference Paper

References (15)

1. J. Buck. Scheduling dynamic dataflow graphs with bounded memory using the token flow model. PhD thesis, U.C. Berkeley, 1993.
2. J. Cortadella, A. Kondratyev, L. Lavagno, M. Massot, S. Moral, C. Passerone, Y. Watanabe, and A. Sangiovanni-Vincentelli. Task Generation and Compile-Time Scheduling for Mixed Data-Control Embedded Software. In Proceedings of the 37th Design Automation Conference, June 2000.
3. J. Cortadella, A. Kondratyev, L. Lavagno, C. Passerone, and Y. Watanabe. Quasi-static scheduling of independent tasks for reactive systems. In Proceedings of the International Conference of Appliaction and Theory of Petri Nets, 2002.
4. th Design Automation Conference, June 2000.
5. N. Halbwachs. Synchronous Programming of Reactive Systems. Kluwer Academic Publishers, 1993.
6. D. Har'el, H. Lachover, A. Naamad, A. Pnueli, et al. STATEMATE: a working environment for the development of complex reactive systems. IEEE Transactions on Software Engineering, 16(4), April 1990.
7. C. A. R. Hoare. Communicating Sequential Processes. International Series in Computer Science. Prentice-Hall, 66 Wood Lane End, Hemel Hempstead, Hertfordshire, HP2 4RG, UK, 1985.
8. G. Kahn. The semantics of a simple language for parallel programming. In Proceedings of IFIP Congress, August 1974.
9. H. Kopetz and G. Grunsteidl. TTP - A protocol for fault-tolerant real-time systems. IEEE Computer, 27(1), January 1994.
10. E. A. Lee and D. G. Messerschmitt. Static scheduling of synchronous data flow graphs for digital signal processing. IEEE Transactions on Computers, January 1987.
11. B. Lin. Software synthesis of process-based concurrent programs. In 35th ACM/IEEE Design Automation Conference, June 1998.
12. T. Murata. Petri Nets: Properties, analysis and applications. Proceedings of the IEEE, pages 541-580, April 1989.
13. M. Sgroi, L. Lavagno, Y. Watanabe, and A. Sangiovanni-Vincentelli. Synthesis of embedded software using free-choice Petri nets. In 36th ACM/IEEE Design Automation Conference, June 1999.
14. K. Strehl, L. Thiele, D. Ziegenbein, R. Ernst, and et al. Scheduling hardware/software systems using symbolic techniques. In International Workshop on Hardware/Software Codesign, 1999.
15. S. H. Unger. Asynchronous Sequential Switching Circuits. Wiley- Interscience, John Wiley & Sons, Inc., New York, 1969.