Task generation and compile-time scheduling for mixed data-control embedded software

Proceedings-Design Automation Conference

Volumn , Issue , 2000, Pages 489-494

  Cortadella, Jordi ^a   Kondratyev, Alex ^b   Lavagno, Luciano ^c   Massot, Marc ^d   Moral, Sandra ^a   Passerone, Claudio ^e   Watanabe, Yosinori ^f   Sangiovanni Vincentelli, Alberto ^g  

^a UNIVERSITAT POLITÈCNICA DE CATALUNYA   (Spain)

^b Theseus Logic   (United States)

^c UNIVERSITY OF UDINE   (Italy)

^d UNIVERSITY OF GIRONA   (Spain)

^e POLITECNICO DI TORINO   (Italy)

^f LAWRENCE BERKELEY NATIONAL LABORATORY   (United States)

^g UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

CODE GENERATION; COMPILE TIME SCHEDULING; SOFTWARE SYNTHESIS;

ALGORITHMS; C (PROGRAMMING LANGUAGE); DATA COMMUNICATION SYSTEMS; EMBEDDED SYSTEMS; OPTIMIZATION; PETRI NETS; SCHEDULING;

COMPUTER AIDED SOFTWARE ENGINEERING;

EID: 0033700097     PISSN: 0738100X     EISSN: None     Source Type: Journal    
DOI: 10.1109/DAC.2000.855360     Document Type: Article

References (12)

1. A. V. Aho R. Sethi J. D. Ullman Compilers, Principles, Techniques and Tools 1986 Addison-Wesley
2. S. Amellal B. Kaminska Functional synthesis of digital systems with TASS IEEE Trans. CAD 13 5 1994
3. S. Bhattacharyya P. Murthy E. Lee Software synthesis from dataflow graphs 1996 Kluwer Academic Press
4. J. Buck Scheduling dynamic dataflow graphs with bounded memory using the token flow model 1993 U.C. Berkeley
5. H. Gomma Software design methods for concurrent and real-time systems 1996 Addison-Wesley Publishing Company
6. G. Lakshminarayana K. Khouri N. Jha Wavehead: A novel scheduling technique for control-flow intensive designs IEEE Trans. CAD 18 5 1999
7. B. Lin Software synthesis of process-based concurrent programs 35th ACM/IEEE Design Automation Conference 35th ACM/IEEE Design Automation Conference 1998-June
8. T. Murata Petri nets: properties, analysis, and applications Proceedings of the IEEE 74 4 April 1989
9. M. Sgroi L. Lavagno Y. Watanabe A. Sangiovanni-Vincentelli Synthesis of embedded software using free-choice Petri nets 36th ACM/IEEE Design Automation Conference 36th ACM/IEEE Design Automation Conference 1999-June
10. K. Strehl L. Thiele D. Ziegenbein R. Ernst Scheduling hardware/software systems using symbolic techniques International Workshop on Hardware/Software Codesign International Workshop on Hardware/Software Codesign 1999
11. Task generation and compile-time scheduling for mixed data-control embedded software 1999 LSI-99-47-R Dept. of Software, Universitat Politècnica de Catalunya
12. F. Thoen M. Cornero G. Goossens H Man Real-time multitasking in software synthesis for information processing systems International System Synthesis Symposium International System Synthesis Symposium 1995