Journal: Theory Comput. Syst.

Volume 36, Issue 5

397 -- 430Guy E. Blelloch, Perry Cheng, Phillip B. Gibbons. Scalable Room Synchronizations
431 -- 460Anne Condon, Alan J. Hu. Automatable Verification of Sequential Consistency
461 -- 478Robert Elsässer, Thomas Lücking, Burkhard Monien. On Spectral Bounds for the k-Partitioning of Graphs
479 -- 495Shay Kutten, David Peleg, Uzi Vishkin. Deterministic Resource Discovery in Distributed Networks
497 -- 519Christof Krick, Harald Räcke, Matthias Westermann. Approximation Algorithms for Data Management in Networks
521 -- 552Dorit Naishlos, Joseph Nuzman, Chau-Wen Tseng, Uzi Vishkin. Towards a First Vertical Prototyping of an Extremely Fine-Grained Parallel Programming Approach
553 -- 574Sotiris E. Nikoletseas, Grigorios Prasinos, Paul G. Spirakis, Christos D. Zaroliagis. Attack Propagation in Networks
575 -- 593Francisca Quintana, Jesús Corbal, Roger Espasa, Mateo Valero. A Cost-Effective Architecture for Vectorizable Numerical and Multimedia Applications