242 search results - page 40 / 49 » Computing bounds for fault tolerance using formal techniques |
DAC
2007
ACM
15 years 10 months ago
2007
ACM
Negative bias temperature instability (NBTI) in MOSFETs is one of the major reliability challenges in nano-scale technology. This paper presents an efficient technique to characte...
88
Voted
CAV
2009
Springer
15 years 10 months ago
2009
Springer
We provide a verification technique for a class of programs working on integer arrays of finite, but not a priori bounded length. We use the logic of integer arrays SIL [13] to spe...
EDCC
1994
Springer
15 years 1 months ago
1994
Springer
Security and reliability issues in distributed systems have been investigated for several years at LAAS using a technique called Fragmentation-Redundancy-Scattering (FRS). The aim ...
P2P
2007
IEEE
15 years 3 months ago
2007
IEEE
Network coding is an emerging field of research with sound and mature theory supporting it. Recent works shows that it has many benefits like improved fault tolerance, higher ...
ICDCS
2002
IEEE
15 years 2 months ago
2002
IEEE
An Operational Information System (OIS) supports a real-time view of an organization’s information critical to its logistical business operations. A central component of an OIS ...