2875 search results - page 361 / 575 » Using separation of concerns for embedded systems design |
147
click to vote
TEI
2010
ACM
15 years 4 months ago
2010
ACM
Many installations research efforts today explore how to engage participants with embedded digital content and applications in interactive environments. Yet the interactive design...
145
click to vote
ISLPED
2003
ACM
15 years 10 months ago
2003
ACM
In this paper, we investigate methods for improving the hit rates in the first level of memory hierarchy. Particularly, we propose victim cache structures to reduce the number of ...
136
click to vote
DATE
2006
IEEE
15 years 10 months ago
2006
IEEE
We present a coverage metric which evaluates the testing of a set of interacting concurrent processes. Existing behavioral coverage metrics focus almost exclusively on the testing...
143
click to vote
CAV
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. We apply model checking of knowledge properties to the design of distributed controllers that enforce global constraints on concurrent systems. We calculate when processe...
156
click to vote
SENSYS
2010
ACM
15 years 2 months ago
2010
ACM
The ability to move energy around makes it feasible to build distributed energy storage systems that can robustly extend the lifetime of networked sensor systems. eShare supports ...