STOC '93


Book Description
















Principles of Distributed Systems


Book Description

This book constitutes the refereed proceedings of the 10th International Conference on Principles of Distributed Systems, OPODIS 2006, held at Bordeaux, France, in December 2006. The 28 revised full papers presented together with 2 invited talks were carefully reviewed and selected from more than 230 submissions. The papers address all current issues in theory, specification, design and implementation of distributed and embedded systems.




From Semantics to Computer Science


Book Description

Gilles Kahn was one of the most influential figures in the development of computer science and information technology, not only in Europe but throughout the world. This volume of articles by several leading computer scientists serves as a fitting memorial to Kahn's achievements and reflects the broad range of subjects to which he contributed through his scientific research and his work at INRIA, the French National Institute for Research in Computer Science and Control. The authors also reflect upon the future of computing: how it will develop as a subject in itself and how it will affect other disciplines, from biology and medical informatics, to web and networks in general. Its breadth of coverage, topicality, originality and depth of contribution, make this book a stimulating read for all those interested in the future development of information technology.




SOFSEM 2000: Theory and Practice of Informatics


Book Description

This book constitutes the refereed proceedings of the 27th Conference on Current Trends in Theory and Practice of Informatics, SOFSEM 2000, held in Milovy, Czech Republic in November/December 2000. The 16 invited papers and 18 contributed papers selected from 36 submissions were carefully selected in order to provide representative coverage of the three tracks: trends in algorithms, information technologies and practice, and computational perception.




Proceedings of the Fifth Annual ACM-SIAM Symposium on Discrete Algorithms


Book Description

The January 1994 Symposium was jointly sponsored by the ACM Special Interest Group for Automata and Computability Theory and the SIAM Activity Group on Discrete Mathematics. Among the topics in 79 (unrefereed) papers: comparing point sets under projection; on-line search in a simple polygon; low- degree tests; maximal empty ellipsoids; roots of a polynomial and its derivatives; dynamic algebraic algorithms; fast comparison of evolutionary trees; an efficient algorithm for dynamic text editing; and tight bounds for dynamic storage allocation. No index. Annotation copyright by Book News, Inc., Portland, OR