Department Informatik

Performance Evaluation of a PIII-Quad-Board (2000) Hülsemann F, Kowarschik M, Mohr M, Pfänder H Other publication type Portable Memory Hierarchy Techniques For PDE Solvers: Part I (2000) Douglas CC, Haase G, Hu J, Kowarschik M, Rüde U, Weiß C Journal article Feature logic for dotted types: A formalism for complex word meanings (2000) Pinkal M, Kohlhase M Conference contribution System description: MBASE, an open mathematical knowledge base (2000) Franke A, Kohlhase M Conference contribution, Conference Contribution ICoS-2 Inference in Computational Semantics. Workshop Proceedings (2000) Bos J, Kohlhase M Edited Volume Estimation of the Condition Number of Additive Preconditioners by the Constant in the Strengthened Cauchy-Schwarz Inequality (2000) Pflaum C Journal article, Original article More efficient serialization and RMI for Java (2000) Philippsen M, Haumacher B, Nester C Journal article, Original article Locality optimization in JavaParty by means of static type analysis (2000) Philippsen M, Haumacher B Journal article, Original article On Architecture Transparency in Operating Systems (2000) Schröder-Preikschat W, Spinczyk O Conference contribution JX: Eine adaptierbare Java-Betriebssystemarchitektur (2000) Golm M, Kleinöder J Other publication type