• Suche: Correctness proofs of distributed algorithms

Treffer 1 - 20 von 52.872

1

Hierarchical Correctness Proofs for Distributed Algorithms
Lynch, Nancy A. ; Tuttle, Mark S. ; Lynch, Nancy A. ; et al.

E-Ressource
Merkliste
2

A semiformal correctness proof of a network broadcast algorithm
Kumar, D. ; Iyengar, S.S.
Proceedings Twenty-First Annual International Computer Software and Applications Conference (COMPSAC'97) Computer software and applications Computer Software and Applications Conference, 1997. COMPSAC '97. Proceedings., The Twenty-First Annual International. :668-671 1997

Konferenz
Merkliste
3

Proving correctness of distributed algorithms using high-level Petri nets-a case study
Desel, G. ; Kindler, E.
Proceedings 1998 International Conference on Application of Concurrency to System Design Application of concurrency to system design Application of Concurrency to System Design, 1998. Proceedings., 1998 International Conference on. :177-186 1998

Konferenz
Merkliste
4

Correctness proofs of distributed algorithms
Theory and practice in distributed systems
Reisig, W.
LECTURE NOTES IN COMPUTER SCIENCE. (938):164-177

Konferenz
Merkliste
5

Hierarchical Correctness Proofs for Distributed Algorithms.
MASSACHUSETTS INST OF TECH CAMBRIDGE LAB FOR COMPUTER SCIENCE ; Lynch,Nancy A ; Tuttle,Mark S ; et al.
DTIC AND NTIS

E-Ressource
Merkliste
6

Correctness proofs of distributed algorithms
Theory and Practice in Distributed Systems
Reisig, W.
LECTURE NOTES IN COMPUTER SCIENCE. (938):164-164

Fachzeitschrift
Merkliste
7

Correctness proofs of distributed termination algorithms
Apt, K.R. (Krzysztof) ; Apt, K.R. (Krzysztof)
logics and models of concurrent systems vol. F3

E-Ressource
Merkliste
8

Short correctness proofs for two self-stabilizing algorithms under the distributed daemon model
Lin, J. C. ; Chiu, M. Y.
DISCRETE APPLIED MATHEMATICS. 157(1):140-148

Zeitschrift
Merkliste
10

On the Proof of Correctness of 'Yet Another Asynchronous Distributed Discrete Event Simulation Algorithm (YADDES)'
Ghosh, S.
IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART A SYSTEMS AND HUMANS. 26(1):68-80

Zeitschrift
Merkliste
12

A methodology to design distributed algorithms for mobile entities: the pattern formation problem as case study
Cicerone, Serafino ; Di Stefano, Gabriele ; Navarra, Alfredo

Computer Science - Distr...
Report
Merkliste
13

A structured methodology for designing distributed algorithms for mobile entities.
Cicerone, Serafino ; Di Stefano, Gabriele ; Navarra, Alfredo
Information Sciences. Oct2021, Vol. 574, p111-132. 22p.

Zeitschrift
Merkliste
14

The correctness proof of Ben-Or’s randomized consensus algorithm
Aguilera, M. K. ; Toueg, S.
DISTRIBUTED COMPUTING. 25(5):371-381

Zeitschrift
Merkliste
15

Analysis of a leader election algorithm in /spl mu/CRL
Taolue Chen ; Tingting Han ; Jian Lu
The Fifth International Conference on Computer and Information Technology (CIT'05) Computer and Information Technology Computer and Information Technology, 2005. CIT 2005. The Fifth International Conference on. :841-847 2005

Konferenz
Merkliste
16

Hierarchical correctness proofs for distributed algorithms
Lynch, Nancy A. ; Tuttle, Mark R.
Proceedings of the sixth annual ACM Symposium on Principles of distributed computing - PODC '87 ; page 137-151

Konferenz
Merkliste
17

Verifying Self-stabilizing Population Protocols with Coq
Deng, Yuxin ; Monin, Jean-François
2009 Third IEEE International Symposium on Theoretical Aspects of Software Engineering Theoretical Aspects of Software Engineering, 2009. TASE 2009. Third IEEE International Symposium on. :201-208 Jul, 2009

Konferenz
Merkliste
18

Hierarchical correctness proofs for distributed algorithms
Nancy A. Lynch ; Mark R. Tuttle ; The Pennsylvania State University CiteSeerX Archives
http://www.markrtuttle.com/papers/lt87-podc.pdf.

Fachzeitschrift
Merkliste
19

Atomic Appends in Asynchronous Byzantine Distributed Ledgers.
Cholvi, Vicent ; Fernández Anta, Antonio ; Georgiou, Chryssis ; et al.
Journal of Parallel & Distributed Computing. Dec2023, Vol. 182, pN.PAG-N.PAG. 1p.

PROOF of concept ALGORITHMS
Fachzeitschrift
Merkliste
20

Asynchronous Arbitrary Pattern Formation: the effects of a rigorous approach.
Cicerone, Serafino ; Di Stefano, Gabriele ; Navarra, Alfredo
Distributed Computing. Apr2019, Vol. 32 Issue 2, p91-132. 42p.

ASSOCIATION for Computin... DISTRIBUTED algorithms DISTRIBUTED computing DETERMINISTIC algorithms MOBILE robots COMPUTER software correc... …
Fachzeitschrift
Merkliste
Suchwerkzeuge: RSS-Feed abonnieren Diese Suche als E-Mail versenden Suche speichern

Filter