- Robert C. Steinke, Gary J. Nutt:
A Unified Theory of Shared Memory Consistency. CoRR cs.DC/0208027 (2002) - Tom Barclay, Jim Gray, Eric Strand, Steve Ekblad, Jeffrey Richter:
TerraService.NET: An Introduction to Web Services. CoRR cs.DL/0208010 (2002) - Jim Gray, Alexander S. Szalay
, Ani Thakar, Christopher Stoughton, Jan vandenBerg:
Online Scientific Data Curation, Publication, and Archiving. CoRR cs.DL/0208012 (2002) - Elizabeth Anderson, Robert Atkinson, Elizabeth Buckley-Geer, Cynthia Crego, Lisa Giacchetti, Stephen Hanson, David Ritchie, Jean Slisz, Sara Tompson, Stephen Wolbers:
A Virtual Library of Technical Publications. CoRR cs.DL/0208039 (2002) - Philip N. Klein, Hsueh-I Lu, Robert H. B. Netzer:
Detecting Race Conditions in Parallel Programs that Use Semaphores. CoRR cs.DS/0208004 (2002) - Krzysztof R. Apt, C. F. M. Vermeulen:
First-order Logic as a Constraint Programming Language. CoRR cs.LO/0208032 (2002) - Joseph Y. Halpern, Ron van der Meyden, Moshe Y. Vardi:
Complete Axiomatizations for Reasoning About Knowledge and Time. CoRR cs.LO/0208033 (2002) - Frank S. de Boer, Maurizio Gabbrielli, Maria Chiara Meo:
Proving correctness of Timed Concurrent Constraint Programs. CoRR cs.LO/0208042 (2002) - Jim Gray, Wyman Chong, Tom Barclay, Alexander S. Szalay, Jan vandenBerg:
TeraScale SneakerNet: Using Inexpensive Disks for Backup, Archiving, and Data Exchange. CoRR cs.NI/0208011 (2002) - Ahmed Helmy, Sandeep Gupta, Deborah Estrin:
The STRESS Method for Boundary-point Performance Analysis of End-to-end Multicast Timer-Suppression Mechanisms. CoRR cs.NI/0208023 (2002) - Saurabh Garg, Priyatham Pamu, Nitin Nahata, Ahmed Helmy:
Contact-Based Architecture for Resource Discovery (CARD) in Large Scale MANets. CoRR cs.NI/0208024 (2002) - Ahmed Helmy, Muhammad Jaseemuddin, Ganesha Bhaskara:
Efficient Micro-Mobility using Intra-domain Multicast-based Mechanisms (M&M). CoRR cs.NI/0208025 (2002) - Stefano Bistarelli, Ugo Montanari, Francesca Rossi:
Soft Concurrent Constraint Programming. CoRR cs.PL/0208008 (2002) - Michael Leuschel, Jesper Jørgensen, Wim Vanhoof, Maurice Bruynooghe:
Offline Specialisation in Prolog Using a Hand-Written Compiler Generator. CoRR cs.PL/0208009 (2002) - Peter Van Roy, Per Brand, Denys Duchier, Seif Haridi, Martin Henz, Christian Schulte:
Logic programming in the context of multiparadigm programming: the Oz experience. CoRR cs.PL/0208029 (2002) - Alina Andreica:
Parameterized Type Definitions in Mathematica: Methods and Advantages. CoRR cs.SC/0208031 (2002) - Thomas Fischbacher:
Introducing LambdaTensor1.0 - A package for explicit symbolic and numeric Lie algebra and Lie group calculations. CoRR hep-th/0208218 (2002) - Peter Høyer, Robert Spalek:
Quantum Circuits with Unbounded Fan-out. CoRR quant-ph/0208043 (2002) - Iordanis Kerenidis, Ronald de Wolf:
Exponential Lower Bound for 2-Query Locally Decodable Codes via a Quantum Argument. CoRR quant-ph/0208062 (2002)
