Blick ins Buch

Theory of Computing and Systems

ISTCS '92, Israel Symposium, Haifa, Israel, May 27-28, 1992. Proceedings

Danny Dolev, Zvi Galil, Michael Rodeh (Herausgeber)

Buch | Softcover

VIII, 224 Seiten

1992
Springer Berlin (Verlag)
9783540555537 (ISBN)

Lese- und Medienproben

Inhaltsverzeichnis (PDF)

Artikel merken

ISTCS '92, the Israel Symposium on the Theory of Computingand Systems, cameabout spontaneously as a result ofinformal interaction between a group of people who viewedthe conference as an appropriate expression of Israelistrength in theoretical aspects of computing and systems.The enthusiasm that the symposium created resulted in thesubmission of a large number of extremely high qualitypapers, which led in turn to strict acceptance criteria.This volume contains nineteen selected papers representingthe cream of Israeli talent in the field, on a variety ofactive and interesting topics in the theory of computing andsystems.

Merging and splitting priority queues and deques in parallel.- Lower bounds for the complexity of functions in a realistic RAM model.- On Boolean decision trees with faulty nodes.- Interval graphs, interval orders and the consistency of temporal events (extended abstract).- Higher order functions in first order logics.- Reduction relations in strict applicative languages.- Approximation algorithms for minimum time broadcast.- The complexity of reconfiguring network models.- Optimal mapping in direct mapped cache environments.- New algorithms for generalized network flows.- Factoring polynomials via relation-finding.- New resultant inequalities and complex polynomial factorization.- Can symmetric Toeplitz solvers be strongly stable?.- Bounds on parallel computation of multivariate polynomials.- Time-lapse snapshots.- Concurrent Timestamping made simple.- Distributed evaluation: a tool for constructing distributed detection programs.- Foundations of asymptotical theory of Determinate Compact Testing.- Optimal k-colouring and k-nesting of intervals.

Erscheint lt. Verlag	6.5.1992
Reihe/Serie	Lecture Notes in Computer Science
Zusatzinfo	VIII, 224 p.
Verlagsort	Berlin
Sprache	englisch
Maße	155 x 235 mm
Gewicht	396 g
Themenwelt	Informatik ► Theorie / Studium ► Algorithmen
Themenwelt	Informatik ► Weitere Themen ► Hardware
Schlagworte	algorithm • Algorithm analysis and problem complexity • Algorithmen • algorithms • Algorithmus • Complexity • Computeralgebra • Flußdiagramm • Graph (EDV) • Graphs and Flows • Hardcover, Softcover / Informatik, EDV/Informatik • HC/Informatik, EDV/Informatik • Informatik • Logic • Logik • Mathematische Logik • Memory Structures • Random Access Memory • Speicherstruktur
ISBN-13	9783540555537 / 9783540555537
Zustand	Neuware