EMSOFT
2009
Springer
14 years 4 months ago
2009
Springer
This paper addresses the question of producing modular sequential imperative code from synchronous data-flow networks. Precisely, given a system with several input and output flow...
EMSOFT
2009
Springer
14 years 5 months ago
2009
Springer
Embedded systems such as smart cards or sensors are now widespread, but are often closed systems, only accessed via dedicated terminals. A new trend consists in embedding Web serv...
EMSOFT
2009
Springer
14 years 7 months ago
2009
Springer
System-on-Chip (SoC) is a promising paradigm to implement safety-critical embedded systems, but it poses significant challenges from a design and verification point of view. In ...
EMSOFT
2009
Springer
14 years 7 months ago
2009
Springer
EMSOFT
2009
Springer
14 years 7 months ago
2009
Springer
Scratchpads have been widely proposed as an alternative to caches for embedded systems. Advantages of scratchpads include reduced energy consumption in comparison to a cache and a...
EMSOFT
2009
Springer
14 years 7 months ago
2009
Springer
EMSOFT
2009
Springer
14 years 7 months ago
2009
Springer
EMSOFT
2009
Springer
14 years 7 months ago
2009
Springer
EMSOFT
2009
Springer
14 years 7 months ago
2009
Springer
This paper advocates a strict compositional and hybrid approach for obtaining key (performance) metrics of embedded At its core the developed methodology abstracts system componen...
EMSOFT
2009
Springer
14 years 7 months ago
2009
Springer
The major obstacle to use multicores for real-time applications is that we may not predict and provide any guarantee on real-time properties of embedded software on such platforms...