Guest | Login
Company: Keywords: Online only:
Part Title Status
SRC RR-152 Fairness and Hyperfairness
  • Online
SRC RR-153 Continuous Monitoring and Performance Specification
  • Online
SRC RR-154 Protection in Programming-Language Translations
  • Online
SRC RR-155 A Comparison of Two Distributed Disk Systems
  • Online
SRC RR-156 Wrestling with rep exposure
  • Online
SRC RR-157 The Virtual Book
  • Online
SRC RR-158 A Type System for Java Bytecode Subroutines
  • Online
SRC RR-159 Extended Static Checking
  • Online
SRC RR-16 A Generalization of Dijsktra's Calculus
  • Online
SRC RR-160 Data abstraction and information hiding
  • Online
SRC RR-161 A logic of object-oriented programs
  • Online
SRC RR-162 An Efficient Matching Algorithm for a High-Throughput, Low-Latency Data Switch
  • Online
SRC RR-163 Disk Paxos
  • Online
SRC RR-164 Key Instructions: Solving the Code Location Problem for Optimized Code
  • Online
SRC RR-165 A Practical, Robust Method for Generating Variable Range Tables
  • Online
SRC RR-166 Efficient and Flexible Value Sampling
  • Online
SRC RR-167 A Practical Approach for Recovery of Evicted Variables
  • Online
SRC RR-168 The Vesta Approach to Software Configuration Management
  • Online
SRC RR-169 On Multiplying Points: The Paired Algebras of Forms and Sites
  • Online
SRC RR-17 win and sin: Predicate Transformers for Currency
  • Online