Theory of computing and systems : ISTCS '92, Israel symposium, Haifa, Israel, May 27-28, 1992 : proceedings /
Na minha lista:
| Autor Corporativo: | |
|---|---|
| Outros Autores: | , , |
| Formato: | Conference Proceeding Livro |
| Idioma: | English |
| Publicado em: |
Berlin ; New York :
Springer-Verlag,
c1992.
|
| Colecção: | Lecture notes in computer science ;
601. |
| Assuntos: |
Sumário:
- Merging and Splitting Priority Queues and Deques in Parallel / Jingsen Chen
- Lower Bounds for the Complexity of Functions in a Realistic RAM Model / Nader H. Bshouty
- On Boolean Decision Trees with Faulty Nodes / Claire Kenyon and Valerie King
- Interval Graphs, Interval Orders and the Consistency of Temporal Events / Martin Charles Golumbic and Ron Shamir
- Higher Order Functions in First Order Theory / Andrei Voronkov
- Reduction Relations in Strict Applicative Languages / Walter Dosch
- Approximation Algorithms for Minimum Time Broadcast / Guy Kortsarz and David Peleg
- The Complexity of Reconfiguring Network Models / Yosi Ben-Asher, David Peleg and Assaf Schuster
- Optimal Mapping in Direct Mapped Cache Environments / Shmuel Gal, Yona Hollander and Alon Itai
- New Algorithms for Generalized Network Flows / Edith Cohen and Nimrod Megiddo
- Factoring Polynomials via Relation-Finding / Victor S. Miller.
- New Resultant Inequalities and Complex Polynomial Factorization / Victor Pan
- Can Symmetric Toeplitz Solvers be Strongly Stable? / Elliot Linzer
- Bounds On Parallel Computation of Multivariate Polynomials / Ilan Sadeh and Amir Averbuch
- Time-Lapse Snapshots / Cynthia Dwork, Maurice Herlihy, Serge A. Plotkin and Orli Waarts
- Concurrent Timestamping Made Simple / Rainer Gawlick, Nancy Lynch and Nir Shavit
- Distributed Evaluation: A Tool for Constructing Distributed Detection Programs / Jean-Michel Helary and Michel Raynal
- Foundations of Asymptotical Theory of Determinate Compact Testing / Evgeny V. Luk-Zilberman
- Optimal K-Colouring and K-Nesting of Intervals / Irith Ben-Arroyo Hartman.