Haim Kilov;Bernhard RumpeSecond ECOOP Workshop on Precise Behavioral Semantics (with an Emphasis on OO Business Specifications)199810
Giannis Bozas;Susanne KoberLogging and Crash Recovery in Shared-Disk Parallel Database Systems199831
Stefan Bischof;Ralf Ebner;Thomas ErlebachLoad Balancing for Problems with Good Bisectors, and Applications in Finite Element Simulations: Worst-case Analysis and Practical Results199831
Stefan Bischof;Ernst W. MayrOn-Line Scheduling of Parallel Jobs with Runtime Restrictions199833
Markus PizkaDistributed Virtual Address Space Management in the MoDiS-OS199834
Cornelia PuschFormalizing the Java Virtual Machine in Isabelle/HOL199843
Rudolf Bayer;Volker MarklThe UB-Tree: Performance of Multidimensional Range Queries199816
Franz Huber;Andreas Rausch;Bernhard RumpeComponent Interface Diagrams: Putting Components to Work199818
Antonin Kucera;Richard MayrWeak Bisimilarity with Infinite-State Systems can be Decided in Polynomial Time199830
Bernhard DeifelTheoretische und praktische Ansaetze im Requirements Engineering fuer Standardsoftware und Anlagenbau199828