33 search results - page 2 / 7 » Extracting threads from concurrent objects for the design of... |
COORDINATION
2006
Springer
13 years 9 months ago
2006
Springer
Process algebraic specifications can provide useful support for the architectural design of software systems due to the possibility of analyzing their properties. In addition to th...
SAC
2010
ACM
14 years 7 days ago
2010
ACM
This paper presents a language dedicated to the description of the software architecture of complex embedded control systems. The language relies on the synchronous approach but e...
FDL
2004
IEEE
13 years 9 months ago
2004
IEEE
The steadily increasing complexity of embedded systems requires comprehensive methodoloat support the design process from the highest possible abstraction level. In most of the cu...
LCTRTS
2009
Springer
14 years 5 days ago
2009
Springer
Embedded systems, like general-purpose systems, can benefit from parallel execution on a symmetric multicore platform. Unfortunately, concurrency issues present in general-purpos...
DAC
2000
ACM
14 years 6 months ago
2000
ACM
This paper presents a novel compiler for Esterel, a concurrent synchronous imperative language. It generates fast, small object code by compiling away concurrency, producing a sin...