Informatik: Festschrift Zum 60. Geburtstag Von Günter Hotz (teubner Texte Zur Informatik) (german Edition)

Front Matter....Pages i-viii On the Physical Design of PRAMs....Pages 1-19 Synthesis for Testability: Binary Decision Diagrams....Pages 21-39 Ähnlichkeit von Grammatiken — Ansätze und Erfahrungen....Pages 41-53 Verteilung der Nullstellen von Polynomen auf Jordanbögen....Pages 55-67 Distributed Class Group Computation....Pages 69-79 Complexity Measures on Permutations....Pages 81-94 Dynamic Hashing in Real Time....Pages 95-119 Baumautomaten zur Codeselektion....Pages 121-144 Decision Making in the Presence of Noise....Pages 145-168 Über den Nutzen von Orakelfragen bei nichtdeterministischen Kommunikationsprotokollen....Pages 169-183 Performance Optimization of Combinational Circuits....Pages 185-208 An Algebraic Characterization of Context-Free Languages....Pages 209-213 The Bisection Problem for Graphs of Degree 4 (Configuring Transputer Systems)....Pages 215-233 Complexity of Closeness, Sparseness and Segment Equivalence for Context-Free and Regular Languages....Pages 235-251 Communication Complexity and Lower Bounds for Sequential Computation....Pages 253-268 On the Stack Size of a Class of Backtrack Trees....Pages 269-282 Randomized Incremental Construction of Abstract Voronoi Diagrams....Pages 283-308 Über die relativistische Struktur logischer Zeit in verteilten Systemen....Pages 309-331 A Hierarchy Preserving Hierarchical Bottom-Up 2-layer Wiring Algorithm with Respect to Via Minimization....Pages 333-348 Eine O ( e log e ) — Heuristik für ein Flußproblem....Pages 349-358 Computation of the Boolean Matrix-Vector, AND/OR-Produkt in Average Time O(m + nlnn)....Pages 359-362 Durch kinematische Szenen erzeugte topologische Räume....Pages 363-380 Bemerkungen zum Schätzen von Bayesschen Diskriminantenfunktionen....Pages 381-385 Residuation and Guarded Rules for Constraint Logic Programming....Pages 387-400 TPNA: Ein neues Analyseverfahren für Tandem-Prioritäten-Netze....Pages 401-423 Derivation of High Quality Tests for Large Heterogeneous Circuits: Floating-Point Operations....Pages 425-439 Inductive Theorem Proving by Consistency for First-Order Clauses....Pages 441-461 Zur Beherrschbarkeit des Entwicklungsprozesses komplexer Software-Systeme....Pages 463-480 An Intelligent Multimodal Interface....Pages 481-494 Laudatio zum 60. Geburtstag von Prof. Dr. Günter Hotz....Pages 495-508