Auf dieser Seite finden Sie eine Liste aller technischen Berichte des Jahres 2008. Indem Sie den Links folgen, können Sie entweder einen Abstract oder die Postscript-Version des entsprechenden Berichtes aufrufen.

Die Berichte bis Dezember 1994 sind in gedruckter Form vorhanden. Falls Sie Kopien wünschen, dann schreiben Sie bitte an:

Frau Susanne Hauser
Institut für Informatik
Universität Freiburg
Georges-Köhler-Allee 101
D-79110 Freiburg
Germany

Der Großteil der Berichte ist als Postscript-Version auf dem ftp-Server des 'Instituts für Informatik' abgelegt. Die Adresse lautet: ftp.informatik.uni-freiburg.de/documents/reports.

Bei Fragen und Problemen schreiben Sie bitte eine Mail an r_ncstrl@informatik.uni-freiburg.de !

Bericht Nr.244, Dezember 2008 (PostScript)

Christian Kretschmer, Stefan Ruehrup, Christian Schindelhauer:

Delay-tolerant On-demand Routing for Mobile Ad hoc Networks

Keywords: --

(Abstract)

Bericht Nr.243, Oktober 2008 (PostScript)

Markus Degen, Peter Thiemann, Stefan Wehr:

Contract Monitoring and Call-by-name Evaluation

Keywords: --

(Abstract)

Bericht Nr.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

(Abstract)

Bericht Nr.241, Juli 2008 (PostScript)

T. Zitterell, C. Scholl:

Improving Energy-Efficient Real-Time Scheduling by Exploiting Code Instrumentation

Keywords: energy, power-aware, scheduling, real-time, DVS

(Abstract)

Bericht Nr.240, Juni 2008 (PostScript)

Stefan Wehr, Peter Thiemann:

Subtyping Existential Types

Keywords: programming languages, java, type theory, existential types, subtyping, undecidability

(Abstract)

Bericht Nr.239, Juni 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

(Abstract)

Bericht Nr.238, Juli 2008 (PostScript)

PAscal Bercher, Robert Mattmüller:

A Planning Graph Heuristic for Forward-Chaining Adversarial Planning

Keywords: --

(Abstract)

Bericht Nr.236, April 2008 (PostScript)

Christoph Hermann:

Effiziente Implementierung einer häufig abgerufenen hierarchischen Struktur in relationalen Datenbanksystemen

Keywords: Nested set, verschachtelte Hierarchien, Datenbanken, SQL

(Abstract)