1264 search results - page 42 / 253 » Designing Safe, Reliable Systems using Scade |
102
click to vote
SIGCOMM
1998
ACM
15 years 6 months ago
1998
ACM
—The proliferation of applications that must reliably distribute bulk data to a large number of autonomous clients motivates the design of new multicast and broadcast protocols. ...
115
click to vote
IEEEPACT
2003
IEEE
15 years 7 months ago
2003
IEEE
In Thread-Level Speculation (TLS), speculative tasks generate memory state that cannot simply be combined with the rest of the system because it is unsafe. One way to deal with th...
CAISE
2003
Springer
15 years 7 months ago
2003
Springer
This paper describes a validation approach of a socio-technical design support system using data mining techniques. Bayesian Belief Networks (BBN) are used to assess human error an...
126
Voted
ICECCS
2009
IEEE
14 years 11 months ago
2009
IEEE
In hard real-time systems such as avionics, computer board level designs are typically customized to meet specific reliability and real time requirements. This paper focuses on co...
211
click to vote
ASPLOS
2009
ACM
16 years 2 months ago
2009
ACM
Future processors are expected to observe increasing rates of hardware faults. Using Dual-Modular Redundancy (DMR), two cores of a multicore can be loosely coupled to redundantly ...