Sciweavers

2510 search results - page 323 / 502
» The Discipline of Embedded Systems Design
Sort
View
AUTOMATICA
2008
134views more  AUTOMATICA 2008»
15 years 6 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...
SAC
2008
ACM
15 years 6 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»
16 years 28 days 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 12 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
EMSOFT
2006
Springer
15 years 10 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...