Suche in der Hochschulbibliografie

Treffer 71-80 von 105

Sortieren nach: JahrTitelVerfasser/in

• 
• 
Seite 8 von 11
• 
• 

Alle Titel auf dieser Seite auswählen

Ausgewählte Titel exportierenAlle Titel exportieren: [ Export-Format auswählen ]EndNote WebEndNoteRISBibTeXMS ExcelCOinSOK

• 71
  49GBVUOB_ALMA5121399654000350149GBVUOB_ALMA51213996540003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA51213996540003501
  Artikel
  Bounded fairness for probabilistic distributed algorithms

  von Pepjin Crouzen ; Ernst Moritz Hahn ; Holger Hermanns ; Abhishek Dhama ; Oliver Theel ; Ralf Wimmer ; Bettina Braitling ; Bernd Becker

  2011

  Details anzeigen

  Beteiligte Personen (Uni Oldenburg): Dhama, AbhishekTheel, Oliver ([2002-])

  Enthalten in: International Conference on Application of Concurrency to System Design Eleventh International Conference on Application of Concurrency to System Design Los Alamitos, Calif. : IEEE Computer Society, 2011 (2011), Seite 89-97 Online-Ressource (PDF-Datei: XIV, 206 S.)

  Sprache: Englisch

  >> Volltext
• 72
  49GBVUOB_ALMA2115239780000350149GBVUOB_ALMA21152397800003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21152397800003501
  Artikel
  A transformational approach for designing scheduler-oblivious self-stabilizing algorithms

  von Abhishek Dhama ; Oliver Theel

  2010

  Details anzeigen

  Beteiligte Personen (Uni Oldenburg): Theel, Oliver ([2002-])Dhama, Abhishek

  Weitere Angaben:

  Auch als elektronisches Dokument verfügbar: http://www.springerlink.com/content/y767456775720018/fulltext.pdf

  Enthalten in: Stabilization, safety, and security of distributed systems Berlin : Springer, 2010 (2010), Seite 80-95 XVI, 604 S.

  Sprache: Englisch
• 73
  49GBVUOB_ALMA2115320566000350149GBVUOB_ALMA21153205660003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21153205660003501
  Artikel
  Unmasking fault tolerance : masking vs. non-masking fault-tolerant systems

  von Nils Henning Müllner

  2010

  Details anzeigen

  Beteiligte Personen (Uni Oldenburg): Theel, Oliver ([2002-])Müllner, Nils Henning ([2007-2015])

  Weitere Angaben:

  Auch als elektronisches Dokument verfügbar: http://www.algosyn.rwth-aachen.de/GK%20Workshop/Dagstuhl2010.pdf

  Enthalten in: Proceedings of the Joint Workshop of the German Training Groups in Computer Science Aachen : Mainz, 2010 (2010), Seite 54 213 S.

  Sprache: Englisch
• 74
  49GBVUOB_ALMA2114907678000350149GBVUOB_ALMA21149076780003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21149076780003501
  Artikel
  End-user-requirement-driven design of wireless sensor networks

  von Felix Jonathan Oppermann

  2010

  Details anzeigen

  Beteiligte Personen (Uni Oldenburg): Theel, Oliver ([2002-])Hasselbring, Wilhelm ([2000-2008])Nebel, WolfgangOppermann, Felix Jonathan

  Weitere Angaben:

  Auch als elektronisches Dokument verfügbar: http://www.algosyn.rwth-aachen.de/GK%20Workshop/Dagstuhl2010.pdf

  Enthalten in: Proceedings of the Joint Workshop of the German Training Groups in Computer Science Aachen : Mainz, 2010 (2010), Seite 55 213 S.

  Sprache: Englisch
• 75
  49GBVUOB_ALMA2115915674000350149GBVUOB_ALMA21159156740003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21159156740003501
  Artikel
  Symblicit calculation of long-run averages for concurrent probabilistic systems

  von Ralf Wimmer ; Bettina Braitling ; Bernd Becker ; Ernst Moritz Hahn ; Pepijn Crouzen ; Holger Hermanns ; Abhishek Dhama ; Oliver Theel

  2010

  Details anzeigen

  Beteiligte Personen (Uni Oldenburg): Dhama, AbhishekTheel, Oliver ([2002-])

  Enthalten in: 2010 Seventh International Conference on the Quantitative Evaluation of Systems (QEST 2010) Piscataway, NJ : IEEE, 2010 (2010), Seite 27-36 XIV, 310 S.

  Sprache: Englisch
• 76
  49GBVUOB_ALMA2118320391000350149GBVUOB_ALMA21183203910003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21183203910003501
  Artikel
  The impact of partial orders among strict and probabilistic quorums on the data consistency vs. operation availabilities trade-off

  von Kinga Kiss-Iakab ; Oliver Theel

  2010

  Details anzeigen

  Beteiligte Personen (Uni Oldenburg): Theel, Oliver ([2002-])Kiss-Iakab, Kinga ([2007-])

  Enthalten in: Proceedings of the International Symposium on Parallel and Distributed Processing with Applications Piscataway, NJ : IEEE Computer Soc., 2010 (2010), Seite 507-514

  Sprache: Englisch
• 77
  49GBVUOB_ALMA2123657991000350149GBVUOB_ALMA21236579910003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21236579910003501
  Artikel
  Bounded fairness for probabilistic distributed algorithms

  von Pepijn Crouzen ; Ernst Moritz Hahn ; Holger Hermanns ; Abhishek Dhama ; Oliver Theel ; Ralf Wimmer ; Bettina Braitling ; Bernd Becker

  2010

  Details anzeigen

  Beteiligte Personen (Uni Oldenburg): Dhama, AbhishekTheel, Oliver ([2002-])

  Enthalten in: Reports of SFB/TR 14 AVACS Oldenburg [u.a.] 57 (2010), S. 30 S. <30>

  Sprache: Deutsch

  >> Volltext
• 78
  49GBVUOB_ALMA2119098091000350149GBVUOB_ALMA21190980910003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21190980910003501
  Artikel
  Consistency-driven probabilistic quorum system construction for improving operation availability

  von Kinga Kiss-Iakab ; Christian Storm ; Oliver Theel

  2010

  Details anzeigen

  Beteiligte Personen (Uni Oldenburg): Storm, ChristianTheel, Oliver ([2002-])Kiss-Iakab, Kinga ([2007-])

  Weitere Angaben:

  Auch als elektronisches Dokument verfügbar: http:///www.springerlink.com/content/wh65055738537804/fulltext.pdf

  Enthalten in: Distributed computing and networking Berlin : Springer, 2010 (2010), Seite 446-458 XIX, 522 S.

  Sprache: Englisch
• 79
  49GBVUOB_ALMA2118772775000350149GBVUOB_ALMA21187727750003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21187727750003501
  Artikel
  Exploiting semantic quorum-based data replication in wireless sensor networks

  von Kinga Kiss-Iakab ; Felix Jonathan Oppermann ; Oliver Theel ; Jens Kamenik

  2010

  Details anzeigen

  Beteiligte Personen (Uni Oldenburg): Oppermann, Felix JonathanTheel, Oliver ([2002-])Kamenik, Jens ([2003-])Kiss-Iakab, Kinga ([2007-])

  Weitere Angaben:

  Auch als elektronisches Dokument verfügbar: http://www.opus-bayern.de/uni-wuerzburg/volltexte/2010/5110

  Sprache: Englisch
• 80
  49GBVUOB_ALMA2116149646000350149GBVUOB_ALMA21161496460003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21161496460003501
  Artikel
  A decompositional proof scheme for automated convergence proofs of stochastic hybrid systems

  von Jens Oehlerking ; Oliver Theel

  2009

  Details anzeigen

  Beteiligte Personen (Uni Oldenburg): Theel, Oliver ([2002-])Oehlerking, Jens

  Weitere Angaben:

  Auch als elektronisches Dokument verfügbar: http://www.springerlink.com/content/t11102838u7l

  Enthalten in: Automated technology for verification and analysis Berlin : Springer, 2009 (2009), Seite 151-165 XI, 414 S.

  Sprache: Englisch