User: Guest  Login
sort by:
and:
next

Ralf Ebner;Thomas Erlebach;Andreas Ganz;Claudia Gold;Clemens Harlfinger;Roland Wismueller
A Framework for Recording and Visualizing Event Traces in Parallel Systems with Load Balancing
1999
38
A. Bernasconi;C. Damm;I. Shparlinsky
On the Average Sensitivity of Testing Square-Free Numbers
1999
15
Michael Bader;Markus Schimper;Christoph Zenger
Hierarchical Bases for the Indefinite Helmholtz Equation
1999
20
Johann Schumann;Max Breitling
Formalisierung und Beweis einer Verfeinerung aus FOCUS mit automatischen Theorembeweisern - Fallstudie -
1999
33
M. Scharbrodt;A. Steger;H. Weisser
Approximability of Scheduling with Fixed Jobs
1999
23
Frank Strobl;Alexander Wisspeintner
Specification of an Elevator Control System -- An AutoFocus Case Study
1999
63
Christian Lesny;Franz Huber;Bernhard Rumpe
Frisco F - Eine funktionale, logische und algebraische Spezifikationssprache
1999
111
Thomas Stauner;Bernhard Rumpe;Peter Scholz
Hybrid System Model
1999
61
Antonin Kucera;Richard Mayr
Simulation Preorder on Simple Process Algebras
1999
25
Volker G. Fischer
Design and Implementation of FOONET - a Framework for object-oriented Network Design
1999
57
sort by:
and:
next