Foundations of Software Technology and Theoretical Computer Science : Eighth Conference, Pune, India, December 21-23, 1988. Proceedings. 1st ed. 1988

種類:

電子ブック

責任表示:

edited by Kesav V. Nori, Sanjeev Kumar

出版情報:

Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1988

著者名:

• Nori, Kesav V.
• Kumar, Sanjeev.
• SpringerLink (Online service)

シリーズ名:

Lecture Notes in Computer Science ; 338

ISBN:

9783540460305 [3540460306]    

注記:

Planar point location revisited (A guided tour of a decade of research) -- Computing a viewpoint of a set of points inside a polygon -- Analysis of preflow push algorithms for maximum network flow -- A new linear algorithm for the two path problem on chordal graphs -- Extending planar graph algorithms to K 3,3-free graphs -- Constant-space string-matching -- Inherent nonslicibility of rectangular duals in VLSI floorplanning -- Path planning with local information -- Linear broadcast routing -- Predicting deadlock in store-and-forward networks -- On parallel sorting and addition with concurrent writes -- An optimal parallel algorithm for sorting presorted files -- Superlinear speedup in parallel state-space search -- Circuit definitions of nondeterministic complexity classes -- Non-uniform proof systems: A new framework to describe non-uniform and probabilistic complexity classes -- Padding, commitment and self-reducibility -- The complexity of a counting finite-state automaton -- A hierarchy theorem for pram-
This volume contains the proceedings of the 8th Conference on Foundations of Software Technology and Theoretical Computer Science held in Pune, India, on December 21-23, 1988. This internationally well-established Indian conference series provides a forum for actively investigating the interface between theory and practice of Software Science. It also gives an annual occasion for interaction between active research communities in India and abroad. Besides attractive invited papers the volume contains carefully reviewed submitted papers on the following topics: Automata and Formal Languages, Graph Algorithms and Geometric Algorithms, Distributed Computing, Parallel Algorithms, Database Theory, Logic Programming, Programming Methodology, Theory of Algorithms, Semantics and Complexity.

ローカル注記:

岐阜大学構成員専用E-BOOKS (Gifu University members only)