Veröffentlichungen der Universität / Spezielle Computerverfahren [1-20]

Decomposition for compositional verification
Metzler, Björn
2010
Increasing stability of aircraft and crew schedules
Dück, Viktor
2010
Konzeption und Bewertung eines Entwicklungsrahmenwerks zur energieoptimierenden Schaltungssynthese
Voß, Nikolaus
2010
Power-aware online file allocation in dynamic networks
Mehler, Jan
2010
Variabilitätsmanagement in Anforderungs- und Testfallspezifikation für Software-Produktlinien
Wübbeke, Andreas
2010
Distributed resource allocation and management in heterogeneous networks
Schomaker, Gunnar
2009
Gefahrenanalyse selbstoptimierender Systeme
Tichy, Matthias
2009
Inkrementelle Modellsynchronisation
Wagner, Robert
2009
A model driven approach to multi agent system design
Stallmann, Florian
2008
Model-based evaluation of service-oriented enterprise architectures
Assmann, Martin
2009
Musterbasiertes Re-Engineering von Softwaresystemen
Meyer, Matthias
2009
Eine Architekturkonzeption für eine skalierbare mobile Augmented Reality Anwendung für die Produktpräsentation
Fründ, Jürgen
2007
A combined simulation and optimization based method for predictive - reactive scheduling of flexible production systems subject to execution exceptions
Mahajan, Kiran R.
2007
From learning objects to knowledge nuggets
contextual model for workplace learning on-demand in practice
Wang-Nastansky, Pei
2007
Massiv parallele, adaptive FEM-Simulation auf Tetraedernetzen
Objektmodell, Algorithmen und Datenstrukturen
Marquardt, Oliver
2007
Ein mehrbenutzerfähiges Werkzeug zur Modellierung und richtungsoffenen Simulation von wahlweise objekt- und funktionsorientiert gegliederten Fertigungssystemen
Laroque, Christoph
2007
Methods to exploit reconfigurable fabrics
making reconfigurable systems mature
Dittmann, Florian
2007
Selfish routing with incomplete information
Tiemann, Karsten
2007
Struktur- und verhaltensbasierte Entwurfsmustererkennung
Wendehals, Lothar
2007
Topics in integrated vehicle and crew scheduling in public transport
Steinzen, Ingmar
2007
Gehe zu Seiten

Publizieren

Besondere Sammlungen

Digitalisierungsservice

Hilfe

Impressum

Datenschutz

Decomposition for compositional verification

Increasing stability of aircraft and crew schedules

Konzeption und Bewertung eines Entwicklungsrahmenwerks zur energieoptimierenden Schaltungssynthese

Power-aware online file allocation in dynamic networks

Variabilitätsmanagement in Anforderungs- und Testfallspezifikation für Software-Produktlinien

Distributed resource allocation and management in heterogeneous networks

Gefahrenanalyse selbstoptimierender Systeme

Inkrementelle Modellsynchronisation

A model driven approach to multi agent system design

Model-based evaluation of service-oriented enterprise architectures

Musterbasiertes Re-Engineering von Softwaresystemen

Eine Architekturkonzeption für eine skalierbare mobile Augmented Reality Anwendung für die Produktpräsentation

A combined simulation and optimization based method for predictive - reactive scheduling of flexible production systems subject to execution exceptions

From learning objects to knowledge nuggets

Massiv parallele, adaptive FEM-Simulation auf Tetraedernetzen

Ein mehrbenutzerfähiges Werkzeug zur Modellierung und richtungsoffenen Simulation von wahlweise objekt- und funktionsorientiert gegliederten Fertigungssystemen

Methods to exploit reconfigurable fabrics

Selfish routing with incomplete information

Struktur- und verhaltensbasierte Entwurfsmustererkennung

Topics in integrated vehicle and crew scheduling in public transport