Informatik

Inhaltsverzeichnis

• On 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.