skip to main content
Lingue:

Risutati 1 - 10 di 41  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

Consensus when all processes may be Byzantine for some time

Biely, Martin ; Hutle, Martin

Theoretical Computer Science, 2011, Vol.412(33), pp.4260-4272 [Rivista Peer Reviewed]

Fulltext disponibile

Vedi tutte le versioni
2
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
3
Material Type:
Articolo
Aggiungi allo Scaffale Elettronico

Fault-tolerant algorithms for tick-generation in asynchronous logic: Robust pulse generation

Dolev, Danny ; Függer, Matthias ; Schmid, Ulrich ; Lenzen, Christoph

Journal of the ACM (JACM), 08 September 2014, Vol.61(5), pp.1-74 [Rivista Peer Reviewed]

Fulltext disponibile

Vedi tutte le versioni
4
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
5
Material Type:
Articolo
Aggiungi allo Scaffale Elettronico

A new parameter for a broadcast algorithm with locally bounded Byzantine faults

Ichimura, Akira ; Shigeno, Maiko

Information Processing Letters, 2010, Vol.110(12), pp.514-517 [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

A simple population protocol for fast robust approximate majority

Angluin, Dana ; Aspnes, James ; Eisenstat, David

Distributed Computing, 2008, Vol.21(2), pp.87-102 [Rivista Peer Reviewed]

Fulltext disponibile

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

New Insights Into the Single Event Transient Propagation Through Static and TSPC Logic

Hamad, Ghaith Bany ; Hasan, Syed Rafay ; Mohamed, Otmane Ait ; Savaria, Yvon

IEEE Transactions on Nuclear Science, August 2014, Vol.61(4), pp.1618-1627 [Rivista Peer Reviewed]

Fulltext disponibile

9
Material Type:
Articolo
Aggiungi allo Scaffale Elettronico

Brahms: Byzantine resilient random membership sampling

Bortnikov, Edward ; Gurevich, Maxim ; Keidar, Idit ; Kliot, Gabriel ; Shraer, Alexander

Computer Networks, 2009, Vol.53(13), pp.2340-2359 [Rivista Peer Reviewed]

Fulltext disponibile

Vedi tutte le versioni
10
Material Type:
Atti di convegno
Aggiungi allo Scaffale Elettronico

On the Reduction of Atomic Broadcast to Consensus with Byzantine Faults

Milosevic, Z ; Hutle, M ; Schiper, A

2011 IEEE 30th International Symposium on Reliable Distributed Systems, October 2011, pp.235-244

Fulltext disponibile

Risutati 1 - 10 di 41  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 (24)

Affina i risultati

Nuove accessioni 

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

Data di pubblicazione 

Da A
  1. Prima del2004 
  2. 2004-2007 
  3. 2008-2010 
  4. 2011-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. Correia, Miguel
  2. Lenzen, Christoph
  3. Hutle, Martin
  4. Veith, Helmut
  5. Biely, Martin

Ricerca in corso nelle risorse remote ...