Guest | Login
Company: Keywords: Online only:
Part Title Status
SRC RR-170 Three-Dimensional Web-Based Algorithm Animations
  • Online
SRC RR-171 Denali: a goal-directed superoptimizer
  • Online
SRC RR-172 Partial Replication in the Vesta Software Repository
  • Online
SRC RR-173 High-Performance Web Crawling
  • Online
SRC RR-174 Towards Web-scale Web Archaeology
  • Online
SRC RR-175 The Link Database: Fast Access to Graphs of the Web
  • Online
SRC RR-176 Verifying Sequential Consistency on Shared-Memory Multiprocessors by Model Checking
  • Online
SRC RR-177 The Vesta Software Configuration Management System
  • Online
SRC RR-19 Blossoming: A Connect-the-Dots Approach to Splines
  • Online
SRC RR-2 Optimal Point Location in a Monotone Subdivision
  • Online
SRC RR-20 Synchronization Primitives for a Multiprocessor: A Formal Specification
  • Online
SRC RR-21 Evolving the UNIX System Interface to Support Multithreaded Programs
  • Online
SRC RR-23 Firefly: A Multiprocessor Workstation
  • Online
SRC RR-25 Real-time Concurrent Collection on Stock Multiprocessors
  • Online
SRC RR-26 Parallel Compilation on a Tightly Coupled Multiprocessor
  • Online
SRC RR-27 Concurrent Reading and Writing of Clocks
  • Online
SRC RR-28 A Theorem on Atomicity in Distributed Algorithms
  • Online
SRC RR-29 The Existence of Refinement Mappings
  • Online
SRC RR-3 On Extending Modula-2 For Building Large, Integrated Systems
  • Online
SRC RR-30 The Power of Temporal Proofs
  • Online