2510 search results - page 278 / 502 » The Discipline of Embedded Systems Design |
138
click to vote
WWW
2004
ACM
16 years 5 months ago
2004
ACM
In this paper, we describe our work in progress on the reasoning module of ec(h)o, an augmented audio-reality interface for museum visitors utilizing spatialized soundscapes and a...
148
click to vote
CAV
2010
Springer
15 years 2 months ago
2010
Springer
We describe Breach, a Matlab toolbox providing a coherent set of simulation-based techniques aimed at the analysis of deterministic models of hybrid dynamical systems. The primary ...
133
click to vote
CASES
2001
ACM
15 years 8 months ago
2001
ACM
Synchronous programming languages have proved to be advantageous for designing software and hardware for embedded systems. Despite their clear semantics, their compilation is rema...
146
click to vote
ISOLA
2010
Springer
15 years 2 months ago
2010
Springer
During the design iterations of embedded systems, the schedulability analysis is an important method to verify whether the real-time constraints are satisfied. In order to achieve...
124
click to vote
ICCAD
2001
IEEE
16 years 1 months ago
2001
IEEE
In this work, we provide a technique for efficiently exploring the configuration space of a parameterized system-on-a-chip (SOC) architecture to find all Pareto-optimal configurat...