Quasi-static scheduling of embedded software using equal conflict nets

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1639, Issue , 1999, Pages 208-227

  Sgroi, Marco ^a   Lavagno, Luciano ^b   Watanabe, Yosinori ^c   Sangiovanni Vincentelli, Alberto ^a  

^a UNIVERSITY OF CALIFORNIA   (United States)

^b CADENCE DESIGN SYSTEMS   (United States)

^c Cadence European Labs   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATION THEORY; EMBEDDED SOFTWARE; EMBEDDED SYSTEMS; PETRI NETS; SPECIFICATIONS;

DYNAMIC BEHAVIOURS; EFFICIENT SCHEDULING; MUTUAL DEPENDENCIES; QUASI-STATIC SCHEDULING; SCHEDULING DECISIONS; SCHEDULING POLICIES; SCHEDULING TECHNIQUES; STATIC SCHEDULING TECHNIQUES;

SCHEDULING;

EID: 84958984629     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-48745-X_13     Document Type: Conference Paper

References (11)

1. J. Desel and J. Esparza. Free choice Petri nets. Cambridge University Press, 1995.
2. E.A. Lee and D.G. Messerschmitt. Static scheduling of synchronous dataflow programs for digital signal processing. IEEE Transactions on computers, January 1987.
3. E. Best. Structure theory of petri nets: the free choice hiatus. In Advances in Petri Nets, 1986.
4. E. Filippi et al. Intellectual property re-use in embedded system co-design: an industrial case study. In International Symposium System Synthesis. ISSS’98. Taiwan, December 1998.
5. I.R. Bahar et al. Algebraic decision diagrams and their applications. In IEEE International Conference on Computer-Aided Design, November 1993.
6. E. Teruel and M. Silva. Structure theory of equal conflict systems. In Theoretical Computer Science, vol.153, pp. 271-300, 1996.
7. J. Buck. Scheduling dynamic dataflow graphs with bounded memory using the token flow model. Ph.D dissertation. UC Berkeley, 1993.
8. B. Lin. Software synthesis of process-based concurrent programs. In Proceedings of the Design Automation Conference, June 1998.
9. M. Hack. Analysis of Production Schemata by Petri Nets. Master thesis. MIT, 1972.
10. M. Sgroi. Quasi-Static Scheduling of Embedded Software Using Free-Choice Petri Nets. M.S. dissertation. UC Berkeley, May 1998.
11. T. Murata. Petri nets: properties, analysis and applications. In Proceedings of the IEEE, April 1985.