Fundamental Problems in Computing

by Ravi, S. S.; Shukla, Sandeep K.

• ISBN13: 9781402096877
• ISBN10: 1402096879
• Format: Hardcover
• Copyright: 2009-05-01
• Publisher: Springer-Verlag New York Inc

Summary

Fundamental Problems in Computing is in honor of Professor Daniel J. Rosenkrantz, a distinguished researcher in Computer Science. Professor Rosenkrantz has made seminal contributions to many subareas of Computer Science including formal languages and compilers, automata theory, algorithms, database systems, very large scale integrated systems, fault-tolerant computing and discrete dynamical systems. For many years, Professor Rosenkrantz served as the Editor-in-Chief of the Journal of the Association for Computing Machinery (JACM), a very prestigious archival journal in Computer Science. His contributions to Computer Science have earned him many awards including the Fellowship from ACM and the ACM SIGMOD Contributions Award.

Table of Contents

Front Matter
"Foreword"	p. v
"Preface and Introduction"	p. vii
Selected Reprints from Professor Rosenkrantz's Seminal Contributions
"Matrix Equations and Normal Forms for Context-Free Grammars,"	p. 3
"Attributed Translations,"	p. 13
"An Analysis of Several Heuristics for the Traveling Salesman Problem,"	p. 45
"System Level Concurrency Control for Distributed Database Systems,"	p. 71
"Consistency and Serializability of Concurrent Database Systems,"	p. 99
"An Efficient Method for Representing and Transmitting Message Patterns on Multi-processor Interconnection Networks,"	p. 133
"Representability of Design Objects by Ancestor-Controlled Hierarchical Specifications,"	p. 163
"The Complexity of Processing Hierarchical Specifications,"	p. 209
"Approximation Algorithms for Degree-Constrained Minimum-Cost Network-Design Problems"	p. 241
"Efficient Algorithms for Segmentation of Item-Set Time Series"	p. 267
Contributed Articles
"Structure Trees and Subproblem Independence"	p. 301
"An Optimistic Con-currency Control Protocol for Replicated Databases"	p. 327
"SNAPSHOT Isolation: Why do Some People Call it SERIALIZABLE?"	p. 353
"A Richer Understanding of the Complexity of Election Systems"	p. 375
"Fully Dynamic Bin Packing"	p. 407
"Online Job Admission"	p. 435
"A Survey of Graph Algorithms Under Extended Streaming Models of Computation"	p. 455
"Interactions Among Human Behavior, Social Networks and Societal Infrastructures: A Case Study in Computational Epidemiology"	p. 477
End Matter
Author Index	p. 509
Subject Index	p. 511
Table of Contents provided by Ingram. All Rights Reserved.