Sciweavers

2510 search results - page 323 / 502
» The Discipline of Embedded Systems Design
Sort
View
AUTOMATICA
2008
134views more  AUTOMATICA 2008»
15 years 4 months ago
Probabilistic reachability and safety for controlled discrete time stochastic hybrid systems
In this work, probabilistic reachability over a finite horizon is investigated for a class of discrete time stochastic hybrid systems with control inputs. A suitable embedding of ...
Alessandro Abate, Maria Prandini, John Lygeros, Sh...
161
Voted
SAC
2008
ACM
15 years 3 months ago
A self-balancing striping scheme for NAND-flash storage systems
To use multiple memory banks in parallel is a nature approach to boost the performance of flash-memory storage systems. However, realistic data-access localities unevenly load eac...
Yu-Bin Chang, Li-Pin Chang
DATE
2008
IEEE
103views Hardware» more  DATE 2008»
15 years 10 months ago
A Mutation Model for the SystemC TLM 2.0 Communication Interfaces
Mutation analysis is a widely-adopted strategy in software testing with two main purposes: measuring the quality of test suites, and identifying redundant code in programs. Simila...
Nicola Bombieri, Franco Fummi, Graziano Pravadelli
ISLPED
2004
ACM
75views Hardware» more  ISLPED 2004»
15 years 9 months ago
Preemption-aware dynamic voltage scaling in hard real-time systems
Dynamic voltage scaling (DVS) is a well-known low-power design technique for embedded real-time systems. Because of its effectiveness on energy reduction, several variable voltag...
Woonseok Kim, Jihong Kim, Sang Lyul Min
129
Voted
EMSOFT
2006
Springer
15 years 7 months ago
Mixing signals and modes in synchronous data-flow systems
Synchronous data-flow languages such as Scade/Lustre manage infinite sequences, or streams, as primitive values making them naturally adapted to the description of datadominated s...
Jean-Louis Colaço, Grégoire Hamon, M...