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