Buch, Englisch, Band 601, 224 Seiten, Format (B × H): 155 mm x 235 mm, Gewicht: 359 g
ISTCS '92, Israel Symposium, Haifa, Israel, May 27-28, 1992. Proceedings
Buch, Englisch, Band 601, 224 Seiten, Format (B × H): 155 mm x 235 mm, Gewicht: 359 g
Reihe: Lecture Notes in Computer Science
ISBN: 978-3-540-55553-7
Verlag: Springer Berlin Heidelberg
ISTCS '92, the Israel Symposium on the Theory of Computing
and Systems, cameabout spontaneously as a result of
informal interaction between a group of people who viewed
the conference as an appropriate expression of Israeli
strength in theoretical aspects of computing and systems.
The enthusiasm that the symposium created resulted in the
submission of a large number of extremely high quality
papers, which led in turn to strict acceptance criteria.
This volume contains nineteen selected papers representing
the cream of Israeli talent in the field, on a variety of
active and interesting topics in the theory of computing and
systems.
Zielgruppe
Research
Autoren/Hrsg.
Fachgebiete
- Mathematik | Informatik EDV | Informatik Informatik Logik, formale Sprachen, Automaten
- Mathematik | Informatik EDV | Informatik Technische Informatik Netzwerk-Hardware
- Mathematik | Informatik EDV | Informatik Programmierung | Softwareentwicklung Programmierung: Methoden und Allgemeines
- Mathematik | Informatik EDV | Informatik Daten / Datenbanken Datenkompression, Dokumentaustauschformate
- Mathematik | Informatik EDV | Informatik Technische Informatik Externe Speicher & Peripheriegeräte
- Mathematik | Informatik EDV | Informatik Technische Informatik Hochleistungsrechnen, Supercomputer
Weitere Infos & Material
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.
