EMSOFT
2009
Springer
13 years 8 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
13 years 9 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
13 years 11 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
13 years 11 months ago
2009
Springer
EMSOFT
2009
Springer
13 years 11 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
13 years 11 months ago
2009
Springer
EMSOFT
2009
Springer
13 years 11 months ago
2009
Springer
EMSOFT
2009
Springer
13 years 11 months ago
2009
Springer
EMSOFT
2009
Springer
13 years 11 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
13 years 11 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...