698 search results - page 97 / 140 » Synthesis of Fault-Tolerant Distributed Systems |
PPOPP
2006
ACM
14 years 1 months ago
2006
ACM
Recently there has been renewed interest in building reliable servers that support continuous application operation. Besides maintaining system state consistent after a failure, o...
SPAA
2003
ACM
14 years 27 days ago
2003
ACM
Quantum computation has become an intriguing technology with which to attack difficult problems and to enhance system security. Quantum algorithms, however, have been analyzed un...
LICS
2005
IEEE
14 years 1 months ago
2005
IEEE
We provide a uniform solution to the problem of synthesizing a finite-state distributed system. An instance of the synthesis problem consists of a system architecture and a tempo...
RTAS
1995
IEEE
13 years 11 months ago
1995
IEEE
DATE
2003
IEEE
14 years 28 days ago
2003
IEEE
1 We present an approach to schedulability analysis for the synthesis of multi-cluster distributed embedded systems consisting of timetriggered and event-triggered clusters, interc...