skip to main content
Lingue:

Risutati 1 - 10 di 18  per Ricerca globale

Risultati 1 2 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

Solvability-Based Comparison of Failure Detectors

Sastry, Srikanth ; Widder, Josef

Fulltext disponibile

2
Material Type:
Articolo
Aggiungi allo Scaffale Elettronico

In search of lost time

Charron-Bost, Bernadette ; Hutle, Martin ; Widder, Josef

Information Processing Letters, 2010, Vol.110(21), pp.928-933 [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

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

5
Consensus in the presence of mortal Byzantine faulty processes
Material Type:
Articolo
Aggiungi allo Scaffale Elettronico

Consensus in the presence of mortal Byzantine faulty processes

Widder, Josef ; Biely, Martin ; Gridling, Günther ; Weiss, Bettina ; Blanquart, Jean-Paul

Distributed Computing, 1/2012, Vol.24(6), pp.299-321 [Rivista Peer Reviewed]

Fulltext disponibile

6
Material Type:
Articolo
Aggiungi allo Scaffale Elettronico

Reducing asynchrony to synchronized rounds

Damien, Andrei ; Dragoi, Cezara ; Militaru, Alexandru ; Widder, Josef

Fulltext disponibile

7
Material Type:
Atti di convegno
Aggiungi allo Scaffale Elettronico

Solvability-Based Comparison of Failure Detectors

Sastry, Srikanth ; Widder, Josef

2014 IEEE 13th International Symposium on Network Computing and Applications, August 2014, pp.269-276

Fulltext disponibile

8
Material Type:
Articolo
Aggiungi allo Scaffale Elettronico

Starting a Dialog between Model Checking and Fault-tolerant Distributed Algorithms

John, Annu ; Konnov, Igor ; Schmid, Ulrich ; Veith, Helmut ; Widder, Josef

Fulltext disponibile

9
Material Type:
Articolo
Aggiungi allo Scaffale Elettronico

Counter Attack on Byzantine Generals: Parameterized Model Checking of Fault-tolerant Distributed Algorithms

John, Annu ; Konnov, Igor ; Schmid, Ulrich ; Veith, Helmut ; Widder, Josef

Fulltext disponibile

10
Material Type:
Atti di convegno
Aggiungi allo Scaffale Elettronico

A Short Counterexample Property for Safety and Liveness Verification of Fault-tolerant Distributed Algorithms

Konnov, Igor ; Lazic, Marijana ; Veith, Helmut ; Widder, Josef

Fulltext disponibile

Risutati 1 - 10 di 18  per Ricerca globale

Risultati 1 2 next page

Personalizza i tuoi risultati

  1. Edita

Refine Search Results

Espandi i risultati

  1.   

Mostra solo

  1. Riviste Peer-reviewed (11)

Affina i risultati

Tipo di risorsa 

  1. Articoli 
  2. Atti di convegno 
  3. Altre opzioni open sub menu

Data di pubblicazione 

Da A
  1. Prima del2007 
  2. 2007-2009 
  3. 2010-2012 
  4. 2013-2015 
  5. Dopo il 2015 
  6. Altre opzioni open sub menu

Nuove Ricerche Suggerite

Ignora la mia strategia e cerca su tutto

di questo autore:

  1. Widder, Josef
  2. Widder, J
  3. Veith, Helmut
  4. Konnov, Igor
  5. Schmid, Ulrich

Ricerca in corso nelle risorse remote ...