|
3221 |
Safe and precise WCET determination by abstract interpretation of pipeline models Thesing, Stephan, [2005]
|
|
|
3222 |
Scalability of microkernel-based systems Uhlig, Volkmar, 2005
|
|
|
3223 |
Self-organizing neural networks for sequence processing Strickert, Marc, [2005]
|
|
|
3224 |
Service-Interoperabilität für naturwissenschaftliche Anwendungen Radetzki, Uwe, 2005
|
|
|
3225 |
Shape representations of digital sets based on convexity properties Dörksen, Helene, 2005
|
|
|
3226 |
Sicherheit in verteilten virtuellen Umgebungen Köhnlein, Jan, 2005
|
|
|
3227 |
Signaling and networking in unstructured peer-to-peer networks Schollmeier, Rüdiger, 2005
|
|
|
3228 |
Simulation-based simplification of omega-automata Fritz, Carsten, 2005
|
|
|
3229 |
Software-Qualitätssicherung durch Automatisierung Metzger, Andreas, [2005]
|
|
|
3230 |
Spatial cognition research Platzer, Edna, 2005
|
|