Searching for "Synthesis of Distributed Programs." – sorted by Relevance.
12 documents found, showing 1 through 10.
Next 10 →
-
Exploiting symbolic techniques in automated synthesis of distributed programs
- …Exploiting Symbolic Techniques in Automated Synthesis of Distributed Programs with Large State…
- Cited by 1 (0 self) – Add To MetaCart
-
Exploiting Symbolic Techniques in Automated Synthesis of DistributedPrograms with Large State Space*
- … Exploiting Symbolic Techniques in Automated Synthesis of DistributedPrograms with Large State…
- Add To MetaCart
-
SAT-Based Synthesis of Fault-Tolerance 1
- … of faulttolerance, Formal methods, Program synthesis, Distributed programs, Satisfiability problem 1 Introduction…
- Add To MetaCart
-
Hierarchical presynthesized components for automatic addition of fault-tolerance: A case study
- … components provide reuse in the synthesis of fault-tolerant distributed programs, we expect that our method…
- Cited by 4 (4 self) – Add To MetaCart
-
Automated synthesis of multitolerance
- …-tolerance, Automatic addition of faulttolerance, Formal methods, Program synthesis, Distributed programs 1 Introduction…
- Cited by 11 (4 self) – Add To MetaCart
-
Distributing automata for asynchronous networks of processors
- … consider the problem of distributed program synthesis, which becomes of paramount importance for the design…
- Add To MetaCart
-
Distributing Automata for Asynchronous Networks of Processors
- … program synthesis. In the first part, we formalize the distribution process and prove its correctness, i…
- Cited by 10 (4 self) – Add To MetaCart
-
Complexity issues in automated synthesis of failsafe fault-tolerance
- …-tolerance, Automatic addition of fault-tolerance Formal methods, Program synthesis, Distributed programs 1 Email…
- Cited by 5 (3 self) – Add To MetaCart
-
Automatic synthesis of fault-tolerance
- … for polynomial-time synthesis of failsafe fault-tolerant distributed programs. • We design a sound and complete…
- Cited by 18 (10 self) – Add To MetaCart
-
Hierarchical Presynthesized Components for Automatic Addition ofFault-Tolerance: A Case Study1
- … components providereuse in the synthesis of fault-tolerant distributed programs, we expect that our method…
- Add To MetaCart
Showing 1 through 10.
Next 10 →
