Foundations of Software Technology and Theoretical Computer Science: 18th Conference, Chennai, India, December 17-19, 1998, Proceedings

Foundations of Software Technology and Theoretical Computer Science: 18th Conference, Chennai, India, December 17-19, 1998, Proceedings

Paperback

$88.47 $99.00 Save 11% Current price is $88.47, Original price is $99. You Save 11%.

Product Details

ISBN-13: 9783540653844
Publisher: Springer Berlin Heidelberg
Publication date: 12/28/1998
Series: Lecture Notes in Computer Science Series , #1530
Pages: 369
Product dimensions: 6.30(w) x 9.45(h) x (d)

Table of Contents

Invited Talk 1.- Descriptive Complexity and Model Checking.- Session 1(a).- Approximation Algorithms with Bounded Performance Guarantees for the Clustered Traveling Salesman Problem.- A Hamiltonian Approach to the Assignment of Non-reusable Frequencies.- Session 1(b).- Deadlock Sensitive Types for Lambda Calculus with Resources.- On encoding p? in m?.- Session 2(a).- Improved Methods for Approximating Node Weighted Steiner Trees and Connected Dominating Sets.- Red-Black Prefetching: An Approximation Algorithm for Parallel Disk Scheduling.- Session 2(b).- A Synchronous Semantics of Higher-Order Processes for Modeling Reconfigurable Reactive Systems.- Testing Theories for Asynchronous Languages.- Invited Talk 2.- Alternative Computational Models: A Comparison of Biomolecular and Quantum Computation.- Session 3.- Optimal Regular Tree Pattern Matching Using Pushdown Automata.- Locating Matches of Tree Patterns in Forests.- Session 4.- Benefits of Tree Transducers for Optimizing Functional Programs.- Implementable Failure Detectors in Asynchronous Systems.- Invited Talk 3.- BRICS and Quantum Information Processing.- Session 5(a).- Martingales and Locality in Distributed Computing.- Space Efficient Suffix Trees.- Session 5(b).- Formal Verification of an O.S. Submodule.- Infinite Probabilistic and Nonprobabilistic Testing.- Session 6(a).- On Generating Strong Elimination Orderings of Strongly Chordal Graphs.- A Parallel Approximation Algorithm for Minimum Weight Triangulation.- Session 6(b).- The Power of Reachability Testing for Timed Automata.- Recursive Mean-Value Calculus.- Invited Talk 4.- Efficient Formal Verification of Hierarchical Descriptions.- Invited Talk 5.- Proof Rules for Model Checking Systems with Data.- Session 7.- Partial Order Reductions for Bisimulation Checking.- First-Order-CTL Model Checking.- Session 8(a).- On the Complexity of Counting the Number of Vertices Moved by Graph Automorphisms.- Remarks on Graph Complexity.- Session 8(b).- On the Confluence of Trace Rewriting Systems.- A String-Rewriting Characterization of Muller and Schupp’s Context-Free Graphs.- Session 9.- Different Types of Monotonicity for Restarting Automata.- A Kleene Iteration for Parallelism.- Invited Talk 6.- Quantum Computation and Information.

Customer Reviews

Most Helpful Customer Reviews

See All Customer Reviews