Informatik

InhaltsverzeichnisOn the Physical Design of PRAMs.Synthesis for Testability: Binary Decision Diagrams.Ähnlichkeit von Grammatiken — Ansätze und Erfahrungen.Verteilung der Nullstellen von Polynomen auf Jordanbögen.Distributed Class Group Computation.Complexity Measures on Permutations.Dynamic Hashing in Real Time.Baumautomaten zur Codeselektion.Decision Making in the Presence of Noise.Über den Nutzen von Orakelfragen bei nichtdeterministischen Kommunikationsprotokollen.Performance Optimization of Combinational Circuits.An Algebraic Characterization of Context-Free Languages.The Bisection Problem for Graphs of Degree 4 (Configuring Transputer Systems).Complexity of Closeness, Sparseness and Segment Equivalence for Context-Free and Regular Languages.Communication Complexity and lower bounds for sequential computation.On the Stack Size of a Class of Backtrack Trees.Randomized Incremental Construction of Abstract Voronoi Diagrams.Über die relativistische Struktur logischer Zeit in verteilten Systemen.A Hierarchy Preserving Hierarchical Bottom-Up 2-layer Wiring Algorithm with Respect to Via Minimization.Eine O(e log e) — Heuristik für ein Flußproblem.Computation of the Boolean Matrix-Vector, AND/OR-Produkt in Average Time O(m + nlnn).Durch kinematische Szenen erzeugte topologische Räume.Bemerkungen zum Schätzen von Bayesschen Diskriminantenfunktionen.Residuation and Guarded Rules for Constraint Logic Programming.TPNA: Ein neues Analyseverfahren für Tandem-Prioritäten-Netze.Derivation of High Quality Tests for Large Heterogeneous Circuits: Floating-Point Operations.Inductive Theorem Proving by Consistency for First-Order Clauses.Zur Beherrschbarkeit des Entwicklungsprozesses komplexer Software-Systeme.An IntelligentMultimodal Interface.Laudatio zum 60. Geburtstag von Prof. Dr. Günter Hotz.