385 search results - page 4 / 77 » Semi-automatic Distributed Synthesis |
107
Voted
VLSID
2002
IEEE
16 years 1 months ago
2002
IEEE
In this paper, we present a functional partitioning method for low power real-time distributed embedded systems whose constituent nodes are systems-on-a-chip (SOCs). The systemlev...
85
Voted
EDCC
2005
Springer
15 years 6 months ago
2005
Springer
We present a hybrid synthesis method for automatic addition of fault-tolerance to distributed programs. In particular, we automatically specify and add pre-synthesized fault-tolera...
IPPS
1998
IEEE
15 years 5 months ago
1998
IEEE
111
Voted
LATIN
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. We introduce distributed games over asynchronous transition systems to model a distributed controller synthesis problem. A game involves two teams and is not turn-based: ...
85
Voted
CORR
2009
Springer
14 years 11 months ago
2009
Springer
Previous work has shown that there are two major complexity barriers in the synthesis of fault-tolerant distributed programs, namely generation of fault-span, the set of states re...