Fundamental Problems in Computing

Essays in Honor of Professor Daniel J. Rosenkrantz

AvSekharipuram S. Ravi,Sandeep Kumar Shukla

Inbunden, Engelska, 2009

1 137 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Beskrivning

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.

Produktinformation

Utgivningsdatum:2009-04-15
Mått:155 x 235 x 34 mm
Vikt:918 g
Format:Inbunden
Språk:Engelska
Antal sidor:516
Upplaga:2009
Förlag:Springer-Verlag New York Inc.
ISBN:9781402096877

Utforska kategorier

Systemvetenskap och AI inom Data och IT
Programmeringsböcker inom Data och IT

Mer om författaren

There are various papers by Prof. Rosenkrantz himslef that are selected for this volume. Other authors will include Turing Award Winner Prof. Richard Stearns, Prof. Jeff Ullman, Prof. Zvi Kadem, Prof. Phil Lewis, and other colleagues of Prof. Rosenkrantz, and his students who are now faculty at various places.

Innehållsförteckning

Selected Reprints from Professor Rosenkrantz’s Seminal Contributions.- Matrix Equations and Normal Forms for Context-Free Grammars.- Attributed Translations.- An analysis of several heuristics for the traveling salesman problem.- System Level Concurrency Control for Distributed Database Systems.- Consistency and serializability in concurrent database systems.- An efficient method for representing and transmitting message patterns on multiprocessor interconnection networks.- Representability of Design Objects by Ancestor-Controlled Hierarchical Specifications.- The Complexity of Processing Hierarchical Specifications.- Approximation Algorithms for Degree-Constrained Minimum-Cost Network-Design Problems.- Efficient Algorithms for Segmentation of Item-Set Time Series.- Contributed Articles.- Sums-of-Products and Subproblem Independence.- An Optimistic Concurrency Control Protocol for Replicated Databases.- SNAPSHOT Isolation: Why Do Some People Call it SERIALIZABLE?.- A Richer Understanding of the Complexity of Election Systems.- Fully Dynamic Bin Packing.- Online Job Admission.- A Survey of Graph Algorithms Under Extended Streaming Models of Computation.- Interactions among human behavior, social networks, and societal infrastructures: A Case Study in Computational Epidemiology.

Du kanske också är intresserad av