skip to main content
Lingue:
Inclusi "distributed algorithm"   Solo ricerca Fault-Tolerant Distributed Algorithms

Risutati 1 - 10 di 206  per Ricerca globale

Risultati 1 2 3 4 5 next page
Mostra solo
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Material Type:
Articolo
Aggiungi allo Scaffale Elettronico

Verification of consensus algorithms using satisfiability solving

Tsuchiya, Tatsuhiro ; Schiper, André

Distributed Computing, 2011, Vol.23(5), pp.341-358 [Rivista Peer Reviewed]

Fulltext disponibile

Vedi tutte le versioni
2
Material Type:
Articolo
Aggiungi allo Scaffale Elettronico

Coordinated cooperative task computing using crash-prone processors with unreliable multicast

Davtyan, Seda ; De Prisco, Roberto ; Georgiou, Chryssis ; Hadjistasi, Theophanis ; Schwarzmann, Alexander A

Journal of Parallel and Distributed Computing, November 2017, Vol.109, pp.272-285 [Rivista Peer Reviewed]

Fulltext disponibile

Vedi tutte le versioni
3
Material Type:
Articolo
Aggiungi allo Scaffale Elettronico

On the completeness of bounded model checking for threshold-based distributed algorithms: Reachability

Konnov, Igor ; Veith, Helmut ; Widder, Josef

Information and Computation, February 2017, Vol.252, pp.95-109 [Rivista Peer Reviewed]

Fulltext disponibile

Vedi tutte le versioni
4
Material Type:
Articolo
Aggiungi allo Scaffale Elettronico

The Asynchronous Bounded-Cycle model

Robinson, Peter ; Schmid, Ulrich

Theoretical Computer Science, 16 September 2011, Vol.412(40), pp.5580-5601 [Rivista Peer Reviewed]

Fulltext disponibile

Vedi tutte le versioni
5
Material Type:
Articolo
Aggiungi allo Scaffale Elettronico

On the impact of link faults on Byzantine agreement

Biely, Martin

Information and Computation, December 2014, Vol.239, pp.170-181 [Rivista Peer Reviewed]

Fulltext disponibile

Vedi tutte le versioni
6
Material Type:
Articolo
Aggiungi allo Scaffale Elettronico

Para \documentclass12pt{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$^2$$\end{document} 2 : parameterized path reduction, acceleration, and SMT for reachability in threshold-guarded distributed algorithms

Konnov, Igor ; Lazić, Marijana ; Veith, Helmut ; Widder, Josef

Formal Methods in System Design, 2017, Vol.51(2), p.270-307 [Rivista Peer Reviewed]

Fulltext disponibile

7
Material Type:
Articolo
Aggiungi allo Scaffale Elettronico

Fault-Tolerant Clock Synchronization Over Unreliable Channels in Wireless Sensor Networks

Kikuya, Yuhei ; Dibaji, Seyed Mehran ; Ishii, Hideaki

IEEE Transactions on Control of Network Systems, December 2018, Vol.5(4), pp.1551-1562

Fulltext disponibile

8
Material Type:
Atti di convegno
Aggiungi allo Scaffale Elettronico

Distal: A framework for implementing fault-tolerant distributed algorithms

Biely, Martin ; Delgado, Pamela ; Milosevic, Zarko ; Schiper, Andre

2013 43rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), June 2013, pp.1-8

Fulltext disponibile

9
Material Type:
Articolo
Aggiungi allo Scaffale Elettronico

The Theta-Model: achieving synchrony without clocks

Widder, Josef ; Schmid, Ulrich

Distributed Computing, 2009, Vol.22(1), pp.29-47 [Rivista Peer Reviewed]

Fulltext disponibile

Vedi tutte le versioni
10
Material Type:
Articolo
Aggiungi allo Scaffale Elettronico

Efficient transformation of distance-2 self-stabilizing algorithms

Turau, Volker

Journal of Parallel and Distributed Computing, April 2012, Vol.72(4), pp.603-612 [Rivista Peer Reviewed]

Fulltext disponibile

Vedi tutte le versioni

Risutati 1 - 10 di 206  per Ricerca globale

Risultati 1 2 3 4 5 next page

Personalizza i tuoi risultati

  1. Edita

Refine Search Results

Espandi i risultati

  1.   

Mostra solo

  1. Riviste Peer-reviewed (65)

Affina i risultati

Nuove accessioni 

  1. Dagli Ultimi 3 Mesi 
  2. Altre opzioni open sub menu

Data di pubblicazione 

Da A
  1. Prima del1993 
  2. 1993-1999 
  3. 2000-2006 
  4. 2007-2014 
  5. Dopo il 2014 
  6. Altre opzioni open sub menu

Nuove Ricerche Suggerite

Ignora la mia strategia e cerca su tutto

di questo autore:

  1. Schmid, U
  2. Raynal, M.
  3. Mostefaoui, A.
  4. Srimani, P.K.
  5. Schmid, Ulrich

Ricerca in corso nelle risorse remote ...