Informatik - Ganzinger, Harald

. .

Résumé :
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....

Sommaire:
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 Intelligent Multimodal Interface.- Laudatio zum 60. Geburtstag von Prof. Dr. G?nter Hotz.