Skip to search formSkip to main contentSkip to account menu

Fail-stop

A fail-stop subset of a computer language is one that has the same semantics as the original, except in the case where an exceptional condition… 
Wikipedia (opens in a new tab)

Related topics

Related topics

8 relations
Bottom typeComputer languageCorrectness (computer science)Exception handling

Broader (1)

Security engineering

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2011
2011
Being SMART About Failures : Assessing Repairs in Activity Detection
One of the main challenges for activity recognition systems is that there are numerous sensors which are likely to move or… 
2011
2011
Unconditionally Reliable Message Transmission in Directed Neighbour Networks
The problem of unconditionally reliable message transmission (URMT) is to design a protocol which when run by players in a… 
2007
2007
Process Replication with Log-Based Amnesia Support
Process replication is used for providing highly available and fault-tolerant systems. Traditionally, for simplicity reasons they… 
2006
2006
A Software Tool for Fault Tolerance
This paper describes a software fix in order to tolerate multiple transient-faults in an application using code-redundancy of an… 
2004
2004
Architecture-based Dependability Prediction for Service-oriented Computing
In service-oriented computing, services are built as an assembly of pre-existing, independently developed services. Hence… 
2001
2001
The Design of TerraDir
2000
2000
A New and Efficient Fail-stop Signature Scheme
Security of ordinary digital signature schemes relies on a computational assumption. Fail-stop signature schemes provide security… 
Review
1999
Review
1999
A survey of transformational approaches to the specification and verification of fault-tolerant systems
Proving that a program suits its speciication and thus can be called correct has been a research subject for many years resulting… 
1998
1998
On-Chip IDDQ Testing in the AE11 Fail-Stop Controller
Targeted for safety-critical applications, this microcontroller replaces the classic two-controller safety structure with a… 
1965
1965
Let Us Stop the Bloodshed
After joining the faculty of MIT, Luria became increasingly involved in American politics. Much of his involvement consisted of… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)