Sciweavers

1063 search results - page 22 / 213
» Order and Negation as Failure
Sort
View
CORR
2008
Springer
97views Education» more  CORR 2008»
13 years 10 months ago
Efficient Algorithms and Routing Protocols for Handling Transient Single Node Failures
Single node failures represent more than 85% of all node failures in the today's large communication networks such as the Internet [10]. Also, these node failures are usually...
Amit M. Bhosle, Teofilo F. Gonzalez
FMCO
2006
Springer
123views Formal Methods» more  FMCO 2006»
14 years 1 months ago
Exhaustive Testing of Exception Handlers with Enforcer
Testing application behavior in the presence of I/O failures is extremely difficult. The resources used for testing usually work without failure. Failures typically cannot be initi...
Cyrille Artho, Armin Biere, Shinichi Honiden
ICTAI
1996
IEEE
14 years 2 months ago
Forward-Tracking: A Technique for Searching Beyond Failure
In many applications, such as decision support, negotiation, planning, scheduling, etc., one needs to express requirements that can only be partially satisfied. In order to expres...
Elena Marchiori, Massimo Marchiori, Joost N. Kok
CLEIEJ
2006
126views more  CLEIEJ 2006»
13 years 10 months ago
Software Based Fault Tolerance against Byzantine Failures
The proposed software technique is a very low cost and an effective solution towards designing Byzantine fault tolerant computing application systems that are not so safety critic...
Goutam Kumar Saha
ICCAD
2009
IEEE
152views Hardware» more  ICCAD 2009»
13 years 7 months ago
Adaptive sampling for efficient failure probability analysis of SRAM cells
In this paper, an adaptive sampling method is proposed for the statistical SRAM cell analysis. The method is composed of two components. One part is the adaptive sampler that manip...
Javid Jaffari, Mohab Anis