2875 search results - page 356 / 575 » Using separation of concerns for embedded systems design |
136
click to vote
ENTCS
2002
15 years 4 months ago
2002
Meseguer's rewriting logic and the rewriting logic CRWL are two well-known approaches to rewriting as logical deduction that, despite some clear similarities, were designed w...
129
click to vote
ISCA
2010
IEEE
15 years 9 months ago
2010
IEEE
Fault tolerance is now a primary design constraint for all major microprocessors. One step in determining a processor’s compliance to its failure rate target is measuring the Ar...
100
click to vote
HUC
2000
Springer
15 years 8 months ago
2000
Springer
The Notable annotation system enables users to annotate paper documents using handheld devices in a mobile environment. This paper describes the design issues and solutions that a...
131
click to vote
GLVLSI
2006
IEEE
15 years 10 months ago
2006
IEEE
In this paper we propose a hardware real time operating system (HW-RTOS) solution that makes use of a dedicated hardware in order to replace the standard support provided by the P...
129
click to vote
HYBRID
1994
Springer
15 years 8 months ago
1994
Springer
This paper presents algorithms for the symbolic synthesis of discrete and real-time controllers. At the semantic level the controller is synthesized by nding a winning strategy for...