Sciweavers

2 search results - page 1 / 1
» Task generation and compile-time scheduling for mixed data-c...
Sort
View
DAC
1999
ACM
14 years 5 months ago
Synthesis of Embedded Software Using Free-Choice Petri Nets
Software synthesis from a concurrent functional specification is a key problem in the design of embedded systems. A concurrent specification is well-suited for medium-grained part...
Marco Sgroi, Luciano Lavagno