384 search results - page 19 / 77 » Formal Development of Reactive Fault Tolerant Systems |
136
click to vote
ICPP
2000
IEEE
15 years 7 months ago
2000
IEEE
The idle computers on a local area, campus area, or even wide area network represent a significant computational resource--one that is, however, also unreliable, heterogeneous, an...
172
click to vote
PRDC
2006
IEEE
15 years 10 months ago
2006
IEEE
This paper presents the performance analysis of several well-known partitioning scheduling algorithms in real-time and fault-tolerant multiprocessor systems. Both static and dynam...
154
click to vote
DAIS
2008
15 years 5 months ago
2008
Distributed real-time and embedded (DRE) systems often require support for multiple simultaneous quality of service (QoS) properties, such as real-timeliness and fault tolerance, t...
126
click to vote
IAJIT
2010
15 years 2 months ago
2010
: In parity preserving reversible circuit, the parity of the input vector must match the parity of the output vector. It renders a wide class of circuit faults readily detectable a...
113
click to vote
DATE
2006
IEEE
15 years 10 months ago
2006
IEEE
Modeling systems based on semi-formal graphical formalisms, such as Statecharts, has become standard practice in the design of reactive embedded devices. However, the modeling of ...