2960 search results - page 395 / 592 » A vision for embedded software |
128
click to vote
CASES
2008
ACM
15 years 6 months ago
2008
ACM
While soft processors are increasingly common in FPGAbased embedded systems, it remains a challenge to scale their performance. We propose extending soft processor instruction set...
120
click to vote
PLPV
2010
ACM
15 years 6 months ago
2010
ACM
Real-time systems, and in particular safety-critical systems, are a rich source of challenges for the program verification community as software errors can have catastrophic conse...
224
click to vote
VL
2010
IEEE
15 years 2 months ago
2010
IEEE
SOFIA (Artemis project: http://www.sofiaproject.eu/) focuses on answering the challenge of creating smart environments and its goal is to make information that resides in the phys...
151
click to vote
CASES
2010
ACM
15 years 2 months ago
2010
ACM
Unobtrusive capturing of program execution traces in real-time is crucial in debugging cyber-physical systems. However, tracing even limited program segments is often cost-prohibi...
141
click to vote
EMSOFT
2010
Springer
15 years 2 months ago
2010
Springer
We propose a technique to automatically synthesize programs and schedules for hard real-time distributed (embedded) systems from synchronous data-flow models. Our technique connec...