Quasi-static scheduling for concurrent architectures

Proceedings - International Conference on Application of Concurrency to System Design, ACSD

Volumn 2003-January, Issue , 2003, Pages 29-40

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

^a UNIVERSITAT POLITÈCNICA DE CATALUNYA   (Spain)

^b LAWRENCE BERKELEY NATIONAL LABORATORY   (United States)

^c POLITECNICO DI TORINO   (Italy)

Author keywords

Central Processing Unit; Concurrent computing; Costs; Embedded computing; Embedded system; Parallel processing; Petri nets; Physics computing; Processor scheduling; Software performance

Indexed keywords

COSTS; EMBEDDED SYSTEMS; PETRI NETS; PROGRAM PROCESSORS; SYSTEMS ANALYSIS;

CONCURRENT COMPUTING; EMBEDDED COMPUTING; PARALLEL PROCESSING; PROCESSOR SCHEDULING; SOFTWARE PERFORMANCE;

SCHEDULING;

EID: 33750592290     PISSN: 15504808     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/CSD.2003.1207697     Document Type: Conference Paper

References (14)

1. G. Arrigoni, L. Duchini, L. Lavagno, C. Passerone, and Y. Watanabe. False path elimination in quasi-static scheduling. In Proceedings of the Design Automation and Test in Europe Conference, March 2002.
2. J. Buck. Scheduling dynamic dataflow graphs with bounded memory using the token flow model. PhD thesis, U.C. Berkeley, 1993.
3. 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.
4. 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.
5. E.A. de Kock, G. Essink, W.J.M. Smits, P. van der Wolf, J.-Y. Brunel, W.M. Kruijtzer, P. Lieverse, and K.A. Vissers. YAPI: Application Modeling for Singal Processing Systems. In Proceedings of the 37th Design Automation Conference, June 2000.
6. N. Halbwachs. Synchronous Programming of Reactive Systems. Kluwer Academic Publishers, 1993.
7. 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.
8. 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.
9. G. Kahn. The semantics of a simple language for parallel programming. In Proceedings of IFIP Congress, August 1974.
10. H. Kopetz and G. Grunsteidl. TTP - A protocol for fault-tolerant real-time systems. IEEE Computer, 27(1), January 1994.
11. E. A. Lee and D. G. Messerschmitt. Static scheduling of synchronous data flow graphs for digital signal processing. IEEE Transactions on Computers, January 1987.
12. B. Lin. Software synthesis of process-based concurrent programs. In 35th ACM/IEEE Design Automation Conference, June 1998.
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.