385 search results - page 4 / 77 » Semi-automatic Distributed Synthesis |
VLSID
2002
IEEE
14 years 10 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...
EDCC
2005
Springer
14 years 3 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
14 years 2 months ago
1998
IEEE
LATIN
2004
Springer
14 years 3 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: ...
CORR
2009
Springer
13 years 7 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...