Veröffentlichungen der Universität / Institut für Informatik [321-340]

Slicing integrated formal specifications for verification
Brückner, Ingo
2008
Versatility of bulk synchronous parallel computing
from the heterogeneous cluster to the system on chip
Bonorden, Olaf
2008
Analyse und Entwurf von Methoden zur Ressourcenverwaltung partiell rekonfigurierbarer Architekturen
Köster, Markus
2007
Biologically inspired methods for organizing distributed services on sensor networks
Heimfarth, Tales
2007
Collective graph exploration
Dynia, Mirosław
2007
Massiv parallele, adaptive FEM-Simulation auf Tetraedernetzen
Objektmodell, Algorithmen und Datenstrukturen
Marquardt, Oliver
2007
Methods to exploit reconfigurable fabrics
making reconfigurable systems mature
Dittmann, Florian
2007
On information need and categorizing search
Meyer zu Eißen, Sven
2007
Proactive ad hoc devices for relaying real-time video packets
Van, Tien Pham
2007
Run-time reconfigurable RTOS for reconfigurable systems-on-chip
Götz, Marcelo
2007
Selfish routing with incomplete information
Tiemann, Karsten
2007
Struktur- und verhaltensbasierte Entwurfsmustererkennung
Wendehals, Lothar
2007
Tamper resistance of AES
Models, attacks and countermeasures
Krummel, Volker
2007
Using mobile relays for ensuring connectivity in sparse networks
Kutylowski, Jarosław
2007
A workflow mining approach for deriving software process models
Rubin, Vladimir
2007
Adaptive Erkennung von Software-Entwurfsmängeln
Kreimer, Jochen
2006
Adaptive Steuerung der Lastverteilung datenparalleler Anwendungen in Grid-Umgebungen
Rips, Sabina
2006
Algorithms for dynamic geometric data streams
Frahling, Gereon
[2006]
Architectural style-based modeling and simulation of middleware for mobile systems
Guo, Ping
2006
Automatische Verteilung mehrsträngiger Java-Programme
Le, Dinh Khoi
2006
Gehe zu Seiten

Publizieren

Besondere Sammlungen

Digitalisierungsservice

Hilfe

Impressum

Datenschutz

Slicing integrated formal specifications for verification

Versatility of bulk synchronous parallel computing

Analyse und Entwurf von Methoden zur Ressourcenverwaltung partiell rekonfigurierbarer Architekturen

Biologically inspired methods for organizing distributed services on sensor networks

Collective graph exploration

Massiv parallele, adaptive FEM-Simulation auf Tetraedernetzen

Methods to exploit reconfigurable fabrics

On information need and categorizing search

Proactive ad hoc devices for relaying real-time video packets

Run-time reconfigurable RTOS for reconfigurable systems-on-chip

Selfish routing with incomplete information

Struktur- und verhaltensbasierte Entwurfsmustererkennung

Tamper resistance of AES

Using mobile relays for ensuring connectivity in sparse networks

A workflow mining approach for deriving software process models

Adaptive Erkennung von Software-Entwurfsmängeln

Adaptive Steuerung der Lastverteilung datenparalleler Anwendungen in Grid-Umgebungen

Algorithms for dynamic geometric data streams

Architectural style-based modeling and simulation of middleware for mobile systems

Automatische Verteilung mehrsträngiger Java-Programme