• Suche: "Fault-tolerant distributed algorithms"

Treffer 1 - 20 von 80

1

PSYNC: A partially synchronous language for fault-tolerant distributed algorithms
Drăgoi, Cezara ; Henzinger, Thomas ; Zufferey, Damien ; et al.
POPL '16 - 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. :400-415

Saint Petersburg, Florid... Consensus Automated verification Partially synchrony Round model Fault-tolerant distribut... …
Konferenz
Zu den Favoriten
2

Synthesis of Fault-Tolerant Reliable Broadcast Algorithms With Reinforcement Learning
Diogo Vaz ; David R. Matos ; Miguel L. Pardal ; et al.
IEEE Access, Vol 11, Pp 62394-62408 (2023)
IEEE Access

program verification reinforcement learning reliable broadcast model-checking Electrical engineering.... Fault-tolerant distribut... …
Fachzeitschrift
Zu den Favoriten
3

Abstractions to Build Permissionless Systems
Anceaume, Emmanuelle ; Confidentialité, Intégrité, Disponibilité et Répartition (CIDRE) ; CentraleSupélec-Centre Inria de l'Université de Rennes ; et al.
Computer Science [cs]. Université de Rennes 1, 2019

fault-tolerant distribut... algorithmes distribués t... [INFO]Computer Science [...
Report
Zu den Favoriten
4

Resiliency against malicious agents in maximum-based consensus
Masahiro Nakamura ; Hideaki Ishii ; Seyed Mehran Dibaji
SICE Journal of Control, Measurement, and System Integration, Vol 14, Iss 1, Pp 279-290 (2021)

0209 industrial biotechn... cyber-security Control engineering syst... consensus TJ212-225 fault-tolerant distribut... …
Fachzeitschrift
Zu den Favoriten
5

Coordinated cooperative task computing using crash-prone processors with unreliable multicast
Davtyan, Seda ; De Prisco, Roberto ; Georgiou, Chryssis ; et al.
In Journal of Parallel and Distributed Computing November 2017 109:272-285

Fachzeitschrift
Zu den Favoriten
6

On the completeness of bounded model checking for threshold-based distributed algorithms: Reachability
Konnov, Igor ; Veith, Helmut ; Widder, Josef
In Information and Computation February 2017 252:95-109

Fachzeitschrift
Zu den Favoriten
7

Synthesis of Distributed Algorithms with Parameterized Threshold Guards
Lazic, Marijana ; Konnov, Igor ; Widder, Josef ; et al.

fault-tolerant distribut... byzantine faults parameterized model chec... program synthesis
Fachzeitschrift
Zu den Favoriten
8

On the Completeness of Bounded Model Checking for Threshold-Based Distributed Algorithms: Reachability
Josef Widder ; Igor Konnov ; Helmut Veith
Lecture Notes in Computer Science ISBN: 9783662445839

Model checking Computational Theory and... 4. Education 0202 electrical engineer... Computational models 0102 computer and inform... …
Buch
Zu den Favoriten
9

Dieses Ergebnis kann Gästen nicht angezeigt werden.

10

On the impact of link faults on Byzantine agreement
Biely, Martin
In Information and Computation December 2014 239:170-181

Fachzeitschrift
Zu den Favoriten
11

Para 2 : parameterized path reduction, acceleration, and SMT for reachability in threshold-guarded distributed algorithms
Konnov, Igor ; Lazić, Marijana ; Veith, Helmut ; et al.
Formal Methods in System Design: An International Journal. :1-38

Fachzeitschrift
Zu den Favoriten
12

PSYNC: A Partially Synchronous Language for Fault-Tolerant Distributed Algorithms
Drăgoi, Cezara ; Henzinger, Thomas ; Zufferey, Damien ; et al.
POPL, Jan 2017, Saint Petersburg United States. 2016, <10.1145/nnnnnnn.nnnnnnn>

Saint Petersburg , Unite... D33 [Programming Lan guages]: Language Constr... Keywords Fault-tolerant... Round model Partial synchrony …
Konferenz
Zu den Favoriten
13

The Need for Language Support for Fault-Tolerant Distributed Systems
Dragoi, Cezara ; Henzinger, Thomas A. ; Zufferey, Damien ; et al.

Programming language Fault-tolerant distribut... Automated verification
Fachzeitschrift
Zu den Favoriten
14

IMPOSSIBILITY RESULTS AND LOWER BOUNDS FOR CONSENSUS UNDER LINK FAILURES
SCHMID, Ulrich ; WEISS, Bettina ; KEIDAR, Idit
SIAM journal on computing (Print). 38(5):1912-1951

Computer science Informatique Mathematics Mathématiques Sciences exactes et tech... Exact sciences and techn... …
Fachzeitschrift
Zu den Favoriten
15

The Asynchronous Bounded-Cycle model
Robinson, Peter ; Schmid, Ulrich
In Theoretical Computer Science 16 September 2011 412(40):5580-5601

Fachzeitschrift
Zu den Favoriten
16

08371 Summary – Fault-Tolerant Distributed Algorithms on VLSI Chips
Charron-Bost, Bernadette ; Dolev, Shlomi ; Ebergen, Jo ; et al.

Fault-tolerant distribut... fault tolerance VLSI systemson- chip synchronous vs. asynchro... digital logic specifications
Fachzeitschrift
Zu den Favoriten
17

08371 Abstracts Collection – Fault-Tolerant Distributed Algorithms on VLSI Chips
Charron-Bost, Bernadette ; Dolev, Shlomi ; Ebergen, Jo ; et al.

Fault-tolerant distribut... fault tolerance VLSI systems-on-chip synchronous vs.\ asynchr... digital logic specifications
Fachzeitschrift
Zu den Favoriten
18

Verification of consensus algorithms using satisfiability solving
Tsuchiya, Tatsuhiro ; Schiper, André
Distributed Computing. April 2011 23(5-6):341-358

Fachzeitschrift
Zu den Favoriten
19

The Theta-Model: achieving synchrony without clocks
Widder, Josef ; Schmid, Ulrich
Distributed Computing. April 2009 22(1):29-47

Fachzeitschrift
Zu den Favoriten
20

Booting clock synchronization in partially synchronous systems with hybrid process and link failures
Widder, Josef ; Schmid, Ulrich
Distributed Computing. August 2007 20(2):115-140

Fachzeitschrift
Zu den Favoriten
Suchwerkzeuge: RSS-Feed abonnieren Diese Suche als E-Mail versenden Suche speichern

Filter