698 search results - page 108 / 140 » Synthesis of Fault-Tolerant Distributed Systems |
115
click to vote
CDC
2009
IEEE
15 years 8 months ago
2009
IEEE
— In this paper we present a gradient method to iteratively update local controllers of a distributed linear system driven by stochastic disturbances. The control objective is to...
149
click to vote
RTCSA
2005
IEEE
15 years 9 months ago
2005
IEEE
Context aware middleware infrastructures have traditionally been implemented with a modular approach to allow different components to work cooperatively and supply context synthes...
121
click to vote
PODC
2010
ACM
15 years 7 months ago
2010
ACM
: The Borowsky-Gafni (BG) simulation algorithm is a powerful reduction algorithm that shows that t-resilience of decision tasks can be fully characterized in terms of wait-freedom....
141
Voted
ATVA
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. Controlling concurrent systems to impose some global invariant is an undecidable problem. One can gain decidability at the expense of reducing concurrency. Even under thi...
123
click to vote
DATE
2000
IEEE
15 years 7 months ago
2000
IEEE
This paper presents the system synthesis techniques available in S3 E2 S, a CAD environment for the specification, simulation, and synthesis of embedded electronic systems that ca...