Forschungsberichte des Fachbereichs Informatik der Universität Dortmund = Research reports

Gespeichert in:
Bibliographische Detailangaben
Späterer Titel:Technische Universität Dortmund. Fakultät für Informatik Technical reports in computer science
Vorheriger Titel:Universität Dortmund. Abteilung Informatik Forschungsbericht / Universität Dortmund, Abteilung Informatik
Körperschaft: Universität Dortmund Fachbereich Informatik (VerfasserIn)
Format: UnknownFormat
Sprache:ger
Veröffentlicht: Dortmund 1985-2008
Schlagworte:
Monografische Reihe
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Titel Jahr Band
Workshop Modellierung Großer Netze in der Logistik : Dortmund, 01. April 2008 ; im Rahmen der 14. GI-ITG-Konferenz Messung, Modellierung und Bewertung von Rechen- und Kommunikationssystemen (MMB 2008), 31. März - 2. April 2008, Dortmund 2008
Flash efficient LTL model checking with minimal counterexamples 2008
Model checking via delayed duplicate detection on the GPU 2008
External memory value iteration 2007
Pushing the limits for planning pattern databases 2007
Entwicklung und Implementierung eines verteilten File-Assigners und File-Servers für das verteilte Realzeit-Betriebssystem MELODY unter Linux 2007
Symbolic shortest path planning 2007
Optimal infinite-state planning with Presburger automata 2007
DEZENT: autonomous real-time management of unpredictable power needs and supply 2006
Evolutionary design of digital circuits using improved multi expression programming 2006
Automatic tracking of interactive virtual players by cameras using a Voronoi freespace representation 2006
Surface-adaptive and collision-avoiding path planning for five-axis milling 2006
Notes on stochastic relations 2006
Model building and model checking under large-scale distributed interaction 2005
Distributed integrated scheduling in automated manufacturing systems with transient machine failures 2005
BeeHive : an efficient, scalable, adaptive, fault-tolerant and dynamic routing algorithm inspired from the wisdom of the hive 2005
A scalability framework for agent based routing protocols 2005
Nature inspired routing algorithms for telecommunication networks : a comprehensive survey 2005
Effective dissemination of presence information in highly partitioned mobile ad hoc networks 2005
The software protocol engineering for Linux routers 2005
Alle Bände/Ausgaben auflisten