TU Darmstadt / ULB / TUbiblio

Blättern nach Person

Ebene hoch
Exportieren als [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Gruppiere nach: Keine Gruppierung | Typ des Eintrags | Publikationsjahr | Sprache
Anzahl der Einträge: 18.

Theel, Oliver (2001)
On a control-theoretic approach for proving termination.
Konferenzveröffentlichung, Bibliographie

Theel, Oliver (2001)
An exercise in proving self-stabiization through Ljapunov functions.
Konferenzveröffentlichung, Bibliographie

Theel, Oliver (2001)
A new verification technique for self-stabilizing distributed algorithms based on variable structure systems and Ljapuov theory.
Konferenzveröffentlichung, Bibliographie

Theel, Oliver (2000)
(Brief announcement:) A verification technique for self-stabilizing algorithms based on Ljapunov's 'Second method'.
Konferenzveröffentlichung, Bibliographie

Theel, Oliver (2000)
Exploitation of Ljapunov theory for verifying self-stabilizing algorithms.
Konferenzveröffentlichung, Bibliographie

Theel, Oliver (2000)
Proving convergence and closure of self-stabilizing algorithms through Ljapunov's 'Second method'.
Konferenzveröffentlichung, Bibliographie

Theel, Oliver (2000)
Verification of Dijkstra's self stabilizing token ring algorithm by means of non-linear control system analysis.
Konferenzveröffentlichung, Bibliographie

Theel, Oliver ; Strauß, (1998)
Automatic generation of dynamic coterie-based replication schemes.
Konferenzveröffentlichung, Bibliographie

Theel, Oliver ; Pagnia, ; Berger, ; Liebig, (1998)
Enhancing the world-wide web through transparent integration of document replication.
Konferenzveröffentlichung, Bibliographie

Theel, Oliver ; Gärtner, (1998)
Exploiting control theory for proving the stability of distributed algorithms (extended abstract).
Konferenzveröffentlichung, Bibliographie

Theel, Oliver ; Gärtner, (1998)
On proving the stability of distributed algorithms: self-stabilization versus control theory.
Konferenzveröffentlichung, Bibliographie

Theel, Oliver ; Pagnia, (1998)
Optimal replica control protocols exhibit symmetric operation availabilities.
Konferenzveröffentlichung, Bibliographie

Theel, Oliver (1997)
Static and dynamic adaptation of transactional consistency.
Konferenzveröffentlichung, Bibliographie

Theel, Oliver ; Pagnia, (1996)
Bounded dynamic data allocation in distributed systems.
Konferenzveröffentlichung, Bibliographie

Theel, Oliver ; Fleisch, (1996)
Design and analysis of highly available and scalable coherence protocols for distributed shared memory systems using stochastic modeling.
In: IEEE Transactions on parallel and distributed systems. 7 (1996), 9, S. 915-930
Artikel, Bibliographie

Theel, Oliver (1996)
Static and dynamic adaptation of transactional consistency.
Buch, Bibliographie

Theel, Oliver ; Pagnia, (1996)
Static and dynamic analysis of bounded dynamic data allocation in distributed systems.
Buch, Bibliographie

Theel, Oliver ; Fleisch, (1996)
The boundary-restricted coherence protocol for scalable and highly available distributed shared memory systems.
In: The computer journal. 39 (1996), 6, S. 496-510
Artikel, Bibliographie

Diese Liste wurde am Tue Mar 26 04:06:53 2024 CET generiert.