Sciweavers

Share
warning: Creating default object from empty value in /var/www/modules/taxonomy/taxonomy.module on line 1416.
EMSOFT
2009
Springer
12 years 5 months ago
Modular static scheduling of synchronous data-flow networks: an efficient symbolic representation
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...
Marc Pouzet, Pascal Raymond
EMSOFT
2009
Springer
12 years 6 months ago
Serving embedded content via web applications: model, design and experimentation
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...
Simon Duquennoy, Gilles Grimaud, Jean-Jacques Vand...
EMSOFT
2009
Springer
12 years 8 months ago
Handling mixed-criticality in SoC-based real-time embedded systems
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 ...
Rodolfo Pellizzoni, Patrick O'Neil Meredith, Min-Y...
EMSOFT
2009
Springer
12 years 8 months ago
Markov decision process (MDP) framework for optimizing software on mobile phones
Tang Lung Cheung, Kari Okamoto, Frank Maker III, X...
EMSOFT
2009
Springer
12 years 8 months ago
Implementing time-predictable load and store operations
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...
Jack Whitham, Neil C. Audsley
EMSOFT
2009
Springer
12 years 8 months ago
Disk schedulers for solid state drivers
Jaeho Kim, Yongseok Oh, Eunsam Kim, Jongmoo Choi, ...
EMSOFT
2009
Springer
12 years 8 months ago
On relational interfaces
Stavros Tripakis, Ben Lickly, Thomas A. Henzinger,...
EMSOFT
2009
Springer
12 years 8 months ago
Analytic real-time analysis and timed automata: a hybrid method for analyzing embedded real-time systems
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...
Kai Lampka, Simon Perathoner, Lothar Thiele
EMSOFT
2009
Springer
12 years 8 months ago
Cache-aware scheduling and analysis for multicores
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...
Nan Guan, Martin Stigge, Wang Yi, Ge Yu
books