Institut für Informatik

Technical Reports from 2008

Here follows a list of all Technical Reports from 2008. By following the respective links, you can have a look at a report´s abstract or the postscript version. Generally, the abstracts are written in English, since most of the reports are in this language.

Report No.244, December 2008 (PostScript)
Christian Kretschmer, Stefan Ruehrup, Christian Schindelhauer:
Delay-tolerant On-demand Routing for Mobile Ad hoc Networks
Keywords: --

Report No.243, October 2008 (PostScript)
Markus Degen, Peter Thiemann, Stefan Wehr:
Contract Monitoring and Call-by-name Evaluation
Keywords: --

Report No.242, September 2008 (PostScript)
Annette Bieniusa, Peter Thiemann, Stefan Wehr:
The Relation of Version Control to Concurrent Programming
Keywords: version control, concurrent programming, software transactional memory

Report No.241, July 2008 (PostScript)
T. Zitterell, C. Scholl:
Improving Energy-Efficient Real-Time Scheduling by Exploiting Code Instrumentation
Keywords: energy, power-aware, scheduling, real-time, DVS

Report No.240, June 2008 (PostScript)
Stefan Wehr, Peter Thiemann:
Subtyping Existential Types
Keywords: programming languages, java, type theory, existential types, subtyping, undecidability

Report No.239, June 2008 (PostScript)
Jochen Eisinger:
Upper Bounds on the Automata Size for Integer and Mixed Real and Integer Linear Arithmetic
Keywords: automata theory, automata-based decision procedures, upper bounds, minimal of automata, linear arithmetic, complexity

Report No.238, July 2008 (PostScript)
PAscal Bercher, Robert Mattmüller:
A Planning Graph Heuristic for Forward-Chaining Adversarial Planning
Keywords: --

Report No.236, April 2008 (PostScript)
Christoph Hermann:
Effiziente Implementierung einer häufig abgerufenen hierarchischen Struktur in relationalen Datenbanksystemen
Keywords: Nested set, verschachtelte Hierarchien, Datenbanken, SQL