384 search results - page 37 / 77 » Formal Development of Reactive Fault Tolerant Systems |
ECRTS
1999
IEEE
14 years 22 hour ago
1999
IEEE
In the eld of safety-critical real-time systems the development of distributed applications for fault tolerance reasons is a common practice. Hereby the whole application is divid...
ETS
2006
IEEE
13 years 11 months ago
2006
IEEE
Online repair through reconfiguration is a particularly advantageous approach in the nanoelectronic environment since reconfigurability is naturally supported by the devices. Howe...
FM
2009
Springer
14 years 2 months ago
2009
Springer
This position paper argues that the operational modelling approaches from the formal methods community can be applied fruitfully within the systems biology domain. The results can ...
DSD
2004
IEEE
13 years 11 months ago
2004
IEEE
This paper describes the architecture of a safety system of the railway's interlocking equipment, which has been developed for Czech railways. The system will be used for the...
ICCD
2006
IEEE
14 years 4 months ago
2006
IEEE
— We have entered an era where chip yields are decreasing with scaling. A new concept called intelligible testing has been previously proposed with the goal of reversing this tre...