Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

29

PODC
1998
ACM

favoriteEmaildiscussreport

92views Distributed and Parallel Com...» more PODC 1998»

Synthesis of Fault-Tolerant Concurrent Programs

14 years 3 months ago

Synthesis of Fault-Tolerant Concurrent Programs

Download ceti.cse.ohio-state.edu

Anish Arora, Paul C. Attie, E. Allen Emerson

Real-time Traffic

Distributed And Parallel Computing | PODC 1998 |

claim paper

Related Content

» Adding FaultTolerance Using Presynthesized Components

» Distributed Synthesis of FaultTolerant Programs in the High Atomicity Model

» Software Fault Tolerance of Concurrent Programs Using Controlled Reexecution

» Using CMT in SCTPBased MPI to Exploit Multiple Interfaces in Cluster Nodes

» Slipstream Processors Improving both Performance and Fault Tolerance

» The Complexity of Adding Failsafe FaultTolerance

» Enhancing The FaultTolerance of Nonmasking Programs

» RealTime Distributed DiscreteEvent Execution with Fault Tolerance

» Design of FaultTolerant and DynamicallyReconfigurable Microfluidic Biochips

Post Info
More Details (n/a)

Added	05 Aug 2010
Updated	05 Aug 2010
Type	Conference
Year	1998
Where	PODC
Authors	Anish Arora, Paul C. Attie, E. Allen Emerson

Comments (0)