Sciweavers

2 search results - page 1 / 1
» Task generation and compile-time scheduling for mixed data-c...
Sort
View
45
Voted
DAC
2000
ACM
15 years 11 months ago
Task generation and compile-time scheduling for mixed data-control embedded software
Jordi Cortadella, Alex Kondratyev, Luciano Lavagno...
DAC
1999
ACM
15 years 11 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