Sciweavers

698 search results - page 97 / 140
» Synthesis of Fault-Tolerant Distributed Systems
Sort
View
PPOPP
2006
ACM
15 years 9 months ago
Fast and transparent recovery for continuous availability of cluster-based servers
Recently there has been renewed interest in building reliable servers that support continuous application operation. Besides maintaining system state consistent after a failure, o...
Rosalia Christodoulopoulou, Kaloian Manassiev, Ang...
148
Voted
SPAA
2003
ACM
15 years 8 months ago
The effect of communication costs in solid-state quantum computing architectures
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...
Dean Copsey, Mark Oskin, Tzvetan S. Metodi, Freder...
LICS
2005
IEEE
15 years 9 months ago
Uniform Distributed Synthesis
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...
Bernd Finkbeiner, Sven Schewe
RTAS
1995
IEEE
15 years 6 months ago
Distributed synthesis of real-time computer systems
Ahmad Abualsamid, Raed Alqadi, Parameswaran Ramana...
117
Voted
DATE
2003
IEEE
86views Hardware» more  DATE 2003»
15 years 8 months ago
Schedulability Analysis and Optimization for the Synthesis of Multi-Cluster Distributed Embedded Systems
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...
Paul Pop, Petru Eles, Zebo Peng