TU Darmstadt / ULB / TUbiblio

Browse by Person

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: No Grouping | Item Type | Date | Language
Number of items: 18.

Theel, Oliver (2001):
On a control-theoretic approach for proving termination.
In: WST '01: International Workshop on Termination <5, 2001, Utrecht>: Proceedings, [Conference or Workshop Item]

Theel, Oliver (2001):
An exercise in proving self-stabiization through Ljapunov functions.
Los Alamitos, Calif., IEEE, In: ICDCS '01: International Conference on Distributed Computing Systems <21, 2001, Mesa, Arizona>: Proceedings. - Los Alamitos, Calif.: IEEE, 2001, [Conference or Workshop Item]

Theel, Oliver (2001):
A new verification technique for self-stabilizing distributed algorithms based on variable structure systems and Ljapuov theory.
Los Alamitos, Calif., IEEE, In: HICSS-34: Hawaiian International Conference on System Sciences <34, 2001, Maui, HI>; Proceedings. - Los Alamitos, Calif.: IEEE, 2001, [Conference or Workshop Item]

Theel, Oliver (2000):
(Brief announcement:) A verification technique for self-stabilizing algorithms based on Ljapunov's 'Second method'.
New York, NY, ACM Press, In: PODC'00: Annual ACM Symposium on Principles of Distributed Computing <19, 2000, Oregon>: Proceedings. - New York, NY: ACM Press, 2000. S. 331, [Conference or Workshop Item]

Theel, Oliver (2000):
Exploitation of Ljapunov theory for verifying self-stabilizing algorithms.
Berlin (u.a.), Springer, In: DISC'00: Symposium on Distributed Computing <14, 2000, Toledo>: Proceedings. Hrsg.: M. Herlihy. - Berlin (u.a.): Springer, 2000 = Lecture notes in computer science; 1914. S. 209-222, [Conference or Workshop Item]

Theel, Oliver (2000):
Proving convergence and closure of self-stabilizing algorithms through Ljapunov's 'Second method'.
In: Intelligent automation and control: recent trends in development and applications; Proceedings of the 3rd International Symposium on Intelligent Automation and Control, being part of the 4th Biannual World Automation Congress, Maui, Hawaii, 2000. Hrsg.: M, [Conference or Workshop Item]

Theel, Oliver (2000):
Verification of Dijkstra's self stabilizing token ring algorithm by means of non-linear control system analysis.
In: International Symposium on Computational Intelligence (CI'00) being part of the International Conference on Intelligent Systems and Applications (ISA'00) <2000, Wollongong, Australia> - Wetaskiwin, Canada: ICSC Acad. Press, 2000. S. 465-472, [Conference or Workshop Item]

Theel, Oliver and Strauß, (1998):
Automatic generation of dynamic coterie-based replication schemes.
In: PDPTA'98: International Conference on Parallel and Distributed Processing Techniques and Applications <1998, Las Vegas, NV>: Proceedings. S. 1606-1613, [Conference or Workshop Item]

Theel, Oliver and Pagnia, and Berger, and Liebig, (1998):
Enhancing the world-wide web through transparent integration of document replication.
In: International Conference on Information Systems, Analysis, and Synthesis = Part of the: World Multiconference on Systemics, Cybernetics and Informatics (SCI'98) <1998, Orlando, FL>: Proceedings. S. 334-341, [Conference or Workshop Item]

Theel, Oliver and Gärtner, (1998):
Exploiting control theory for proving the stability of distributed algorithms (extended abstract).
In: FTCS-28: International Symposium on Fault-Tolerant Computing <28, 1998, München>: Digest of Fast Abstracts. S. 62-62, [Conference or Workshop Item]

Theel, Oliver and Gärtner, (1998):
On proving the stability of distributed algorithms: self-stabilization versus control theory.
In: SSCC'98: International Conference on Systems, Signals, Control, Computers <1998, Durban, South Africa>: Proceedings. Hrsg.: B.V. Bajic. S. 58-66, [Conference or Workshop Item]

Theel, Oliver and Pagnia, (1998):
Optimal replica control protocols exhibit symmetric operation availabilities.
In: FTCS-28: International Symposium on Fault-Tolerant Computing <28, 1998, München>: Proceedings. S. 252-261, [Conference or Workshop Item]

Theel, Oliver (1997):
Static and dynamic adaptation of transactional consistency.
In: Hawaii International Conference on System Sciences <30, 1997, Hawaii>: Proceedings. Vol. 1, S. 533-542, [Conference or Workshop Item]

Theel, Oliver and Pagnia, (1996):
Bounded dynamic data allocation in distributed systems.
Los Alamitos. Calif, IEEE Computer Soc. Press, In: International Conference on High Performance Computing <3, 1996, Trivandrum, India>: Proceedings. - Los Alamitos, Calif.: IEEE Computer Soc. Press, 1996. S. 126-131, [Conference or Workshop Item]

Theel, Oliver and 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, [Article]

Theel, Oliver (1996):
Static and dynamic adaptation of transactional consistency.
Rennes: Inst. de Recherche en Informatique et Systèmes Aléatoires, 1996,
Rennes, Inst. de Recherche en Informatique et Systèmes Aléatoires, PI1025, [Book]

Theel, Oliver and Pagnia, (1996):
Static and dynamic analysis of bounded dynamic data allocation in distributed systems.
Darmstadt, Techn. Hochschule, FG Betriebssysteme, THD-BS, [Book]

Theel, Oliver and 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, [Article]

This list was generated on Tue Nov 19 01:09:33 2019 CET.