Theory of Computing and Systems: ISTCS '92, Israel Symposium Haifa, Israel, May 27–28, 1992 Proceedings von Dolev, D, Galil, Z, Rodeh, M

Volltext

Concurrent Timestamping made simple von Gawlick, Rainer, Lynch, Nancy, Shavit, Nir

Volltext

Time-lapse snapshots von Dwork, Cynthia, Herlihy, Maurice, Plotkin, Serge A., Waarts, Orli

Volltext

Factoring polynomials via relation-finding von Miller, Victor S.

Volltext

New algorithms for generalized network flows von Cohen, Edith, Megiddo, Nimrod

Volltext

On Boolean decision trees with faulty nodes von Kenyon, Claire, King, Valerie

Volltext

Optimal k-colouring and k-nesting of intervals von Hartman, Irith Ben-Arroyo

Volltext

Reduction relations in strict applicative languages von Dosch, Walter

Volltext

Distributed evaluation: a tool for constructing distributed detection programs von Hélary, Jean-Michel, Raynal, Michel

Volltext

Merging and splitting priority queues and deques in parallel von Chen, Jingsen

Volltext

New resultant inequalities and complex polynomial factorization von Pan, Victor

Volltext

Bounds on parallel computation of multivariate polynomials von Sade, Ilan, Averbuch, Amir

Volltext

Foundations of asymptotical theory of Determinate Compact Testing von Luk-Zilberman, Evgeny V.

Volltext

Higher order functions in first order logics von Voronkov, Andrei

Volltext

On the complexity of scheduling problems for parallel/pipelined machines von Bernstein, D., Rodeh, M., Gertner, I.

Volltext

A fast test for unique decipherability based on suffix trees (Corresp.) von Rodeh, M.

Volltext

Checking Cleanness in Linked Lists von Dor, Nurit, Rodeh, Michael, Sagiv, Mooly

Volltext

Cleanness Checking of String Manipulations in C Programs via Integer Analysis von Dor, Nurit, Rodeh, Michael, Sagiv, Mooly

Volltext

Achieving Distributed Termination without Freezing von Francez, N., Rodeh, M.

Volltext

The multi-tree approach to reliability in distributed networks von Itai, Alon, Rodeh, Michael

Volltext