65 Titel in Besondere Sammlungen → Veröffentlichungen der Universität → Fakultät für Elektrotechnik, Informatik und Mathematik → Institut für Informatik
Klassifikation
Schliessen
Filter
2

zu den Filteroptionen

Adaptive virtual machine scheduling and migration for embedded real-time systems
Grösbrink, Stefan
2015
Analyzing self-healing operations in mechatronic systems
Priesterjahn, Claudia
2013
Automatische Kompatibilitätsprüfung Framework-basierter Anwendungen
Christ, Fabian
2012
A dataflow-based shader framework for visualizing dissections of the heart using individual patient data
Arens, Stephan
2015
Dealing with backhaul network limitations in coordinated multi-point deployments
Biermann, Thorsten
2012
A dynamically reconfigurable hard-real-time communication protocol for embedded systems
Francisco, Andre Luiz de Freitas
2012
Dynamics and efficiency in topological self-stabilization
Koutsopoulos, Andreas ; Scheideler, Christian ; Meyer auf der Heide, Friedhelm
Elektronische Ressource, Paderborn, 2016
Ein komponentenbasierter, modellgetriebener Softwareentwicklungsansatz für vernetzte, mechatronische Systeme
Henkler, Stefan
2012
Energy-efficient scheduling algorithms
Kling, Peter
2014
Epidemic spreading and information dissemination in technological and social systems
Ogierman, Adrian
2014
Existence and properties of pure nash equilibria in budget games
Drees, Maximilian ; Skopalik, Alexander ; Meyer auf der Heide, Friedhelm
Elektronische Ressource, Paderborn, 2016
A framework for assertion-based timing verification and PC-based restbus simulation of automotive systems
Gnokam Defo, Gilles Bertrand
2015
Full semantics preservation in model transformation
Semenyak, Maria
2011
Fuzzy matching of comprehensive service specifications
Platenius, Marie Christin ; Schäfer, Wilhelm ; Engels, Gregor ; Becker, Steffen ; Wehrheim, Heike ; Inverardi, Paola ; Hüllermeier, Eyke
Elektronische Ressource, Paderborn, 2016
Generating processors from specifications of instruction sets
Dreesen, Ralf
2011
Goal-oriented business process engineering
Nagel, Benjamin
2015
Graph transformation planning with time and concurrency
Ziegert, Steffen ; Wehrheim, Heike ; Schäfer, Wilhelm
Elektronische Ressource, Paderborn, 2016
Holistic use of analysis models in model-based system testing
Mlynarski, Michael
2011
Identification of timed behavior models for diagnosis in production systems
Maier, Alexander
2015
Induction-based Verification of Timed Systems
Isenberg, Tobias ; Wehrheim, Heike ; Niggemann, Oliver
Elektronische Ressource, Paderborn, 2016
Gehe zu Seiten

Publizieren

Besondere Sammlungen

Digitalisierungsservice

Hilfe

Impressum

Datenschutz

65 Titel in Besondere Sammlungen → Veröffentlichungen der Universität → Fakultät für Elektrotechnik, Informatik und Mathematik → Institut für Informatik
Klassifikation
Schliessen
Filter
2

Adaptive virtual machine scheduling and migration for embedded real-time systems

Analyzing self-healing operations in mechatronic systems

Automatische Kompatibilitätsprüfung Framework-basierter Anwendungen

A dataflow-based shader framework for visualizing dissections of the heart using individual patient data

Dealing with backhaul network limitations in coordinated multi-point deployments

A dynamically reconfigurable hard-real-time communication protocol for embedded systems

Dynamics and efficiency in topological self-stabilization

Ein komponentenbasierter, modellgetriebener Softwareentwicklungsansatz für vernetzte, mechatronische Systeme

Energy-efficient scheduling algorithms

Epidemic spreading and information dissemination in technological and social systems

Existence and properties of pure nash equilibria in budget games

A framework for assertion-based timing verification and PC-based restbus simulation of automotive systems

Full semantics preservation in model transformation

Fuzzy matching of comprehensive service specifications

Generating processors from specifications of instruction sets

Goal-oriented business process engineering

Graph transformation planning with time and concurrency

Holistic use of analysis models in model-based system testing

Identification of timed behavior models for diagnosis in production systems

Induction-based Verification of Timed Systems

65 Titel in Besondere Sammlungen → Veröffentlichungen der Universität → Fakultät für Elektrotechnik, Informatik und Mathematik → Institut für Informatik KlassifikationSchliessenFilter2

65 Titel in Besondere Sammlungen → Veröffentlichungen der Universität → Fakultät für Elektrotechnik, Informatik und Mathematik → Institut für Informatik
Klassifikation
Schliessen
Filter
2