Forschungsberichte, TU Munich

Keyphrases

Publications

1993

Ulrich Rüde
Extrapolation techniques for constructing higher order finite element methods Forschungsberichte, TU Munich (1993)
Daniel Hernández
s: exploiting the structure of space Forschungsberichte, TU Munich (1993)
B. M. Hearn, Karl Meinke
ATLAS: a typed language for algebraic specification Forschungsberichte, TU Munich (1993)
Daniel Hernández
Maintaining qualitative spatial knowledge Forschungsberichte, TU Munich (1993)
Christoph Goller
Anwendung des Theorembeweisers SETHEO auf die Theorie der Halbgruppen und Gruppen Forschungsberichte, TU Munich (1993)
Ulrich Rüde
Multilevel, extrapolation and sparse grid methods Forschungsberichte, TU Munich (1993)
Volker Heun, Ernst W. Mayr
A new efficient algorithm for embedding an arbitrary binary tree into its optimal hypercube Forschungsberichte, TU Munich (1993)
Karl Meinke
Topological methods for algebraic specification Forschungsberichte, TU Munich (1993)
Hans Regler, Ulrich Rüde
Layout optimization with algebraic multigrid methods Forschungsberichte, TU Munich (1993)
Max Fuchs, Ketil Stølen
Development of a distributed min max component Forschungsberichte, TU Munich (1993)
Daniel Hernández, Kai Zimmermann
Default reasoning and the qualitative representation of spatial knowledge Forschungsberichte, TU Munich (1993)
Uwe M. Borghoff
Möglicher Einsatz von Votierungsverfahren zur Nebenläufigkeitskontrolle in synchronen Groupware-Systemen Forschungsberichte, TU Munich (1993)
Ketil Stølen, Frank Dederichs, Rainer Weber
Assumption, commitment rules for networks of asynchronously communicating agents Forschungsberichte, TU Munich (1993)
Arnd Poetzsch-Heffter, Thomas Eisenbarth
The MAX system: a tutorial introduction Forschungsberichte, TU Munich (1993)
Friederike Nickl
Ablaufspezifikation durch Datenflussmodellierung und stromverarbeitende Funktionen Forschungsberichte, TU Munich (1993)
Christoph Pflaum, Ulrich Rüde
Gauss' adaptive relaxation for the multilevel solution of partial differential equations on sparse grids Forschungsberichte, TU Munich (1993)
Michael Griebel, Veronika Thurner
The efficient solution of fluid dynamics problems by the combination technique Forschungsberichte, TU Munich (1993)
Manfred Kunde, Rolf Niedermeier, Peter Rossmanith
Faster sorting and routing on grids with diagonals Forschungsberichte, TU Munich (1993)
Thomas Schnekenburger
A definition of efficiency of parallel programs in multi tasking environments Forschungsberichte, TU Munich (1993)
Peter Slavkovsky
The visibility problem for single valued surface (z = f(x,y)): the analysis and the parallelization of algorithms Forschungsberichte, TU Munich (1993)
Dieter Barnard, Angelika Mader
Modal checking for the modal mu-calculus using Gauss elimination Forschungsberichte, TU Munich (1993)
Michael Griebel, Peter Oswald
Remarks on the abstract theory of additive and multiplicative Schwarz algorithms Forschungsberichte, TU Munich (1993)
Margit Kinder, Till Brychcy
A neural trajectory storage Forschungsberichte, TU Munich (1993)
Rudi Hettler
Zur übersetzung von E-R-Schemata nach SPECTRUM Forschungsberichte, TU Munich (1993)
Christian Sporrer, Herbert Bauer
Corolla partitioning for distributed logic simulation of VLSI circuits Forschungsberichte, TU Munich (1993)
Johann K. Obermaier
Recovery and transaction management in write optimized database systems Forschungsberichte, TU Munich (1993)
Herbert Bauer, Christian Sporrer
Reducing rollback overhead in time warp based distributed simulation with optimized incremental state saving Forschungsberichte, TU Munich (1993)
Christoph Pflaum
Convergence of the combination technique for the finite element solution of Poisson's equation Forschungsberichte, TU Munich (1993)
Heinrich Hussmann
Zur formalen Beschreibung der funktionalen Anforderungen an ein Informationssystem Forschungsberichte, TU Munich (1993)
Christian B. Suttner, Geoff Sutcliffe, Theodor Yemenis
The TPTP problem library Forschungsberichte, TU Munich (1993)
Michael Luby, Wolfgang Ertel
Optimal parallelization of Las Vegas algorithms Forschungsberichte, TU Munich (1993)
Werner Pohlmann
Adding resynchronisation to optimistic distributed simulation Forschungsberichte, TU Munich (1993)
Heinrich Hussmann
Synergy between formal and pragmatic software engineering methods Forschungsberichte, TU Munich (1993)
Ernst W. Mayr, Ralph Werchner
Divide and conquer algorithms on the hypercube Forschungsberichte, TU Munich (1993)
Christoph Pleier
The distributed C development environment Forschungsberichte, TU Munich (1993)
Gabriele Scheler
Feature selection with exception handling using adaptive distance measures: an example from phonetics Forschungsberichte, TU Munich (1993)
Sergei Gorlatch
Deriving efficient parallel programs by systemating coarsing specification parallelism Forschungsberichte, TU Munich (1993)
Margit Kinder, Till Brychcy
Theoretical issues concerning the representation of continuous valued input and output data in neural networks Forschungsberichte, TU Munich (1993)
Gabriele Scheler
36 problems for semantic interpretation Forschungsberichte, TU Munich (1993)

1992