fault-intolerant program

TSE
1998

102views more TSE 1998»

Designing Masking Fault-Tolerance via Nonmasking Fault-Tolerance

13 years 11 months ago

—Masking fault-tolerance guarantees that programs continually satisfy their specification in the presence of faults. By way of contrast, nonmasking fault-tolerance does not guara...

Anish Arora, Sandeep S. Kulkarni

claim paper

Read More »

click to vote

CONCUR
2008
Springer

99views Distributed And Parallel Com...» more CONCUR 2008»

SYCRAFT: A Tool for Synthesizing Distributed Fault-Tolerant Programs

14 years 1 months ago

Download www.cse.msu.edu

We present the tool Sycraft (SYmboliC synthesizeR and Adder of Fault-Tolerance). In Sycraft, a distributed fault-intolerant program is specified in terms of a set of processes and ...

Borzoo Bonakdarpour, Sandeep S. Kulkarni

claim paper

Read More »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers