Guest | Login
Company: Keywords: Online only:
Part Title Status
SRC RR-90 A High-speed DES Implementation for Network Applications
  • Online
SRC RR-91 An Old-Fashioned Recipe for Real Time
  • Online
SRC RR-92 Hector: Connecting Words with Definitions
  • Online
SRC RR-93 Experiences with Software Specification and Verification Using LP, the Larch Proof Assistant
  • Online
SRC RR-94 How to Write a Proof
  • Online
SRC RR-95 Baby Modula-3 and a theory of objects
  • Online
SRC RR-96 How to Make a Correct Multiprocess Program Execute Correctly on a Multiprocessor
  • Online
SRC RR-97 An implementation of F<
  • Online
SRC RR-98 The 1992 SRC Algorithm Animation Festival
  • Online
SRC RR-99 High Speed Switch Scheduling for Local Area Networks
  • Online
SRC TN-1994-001 Introduction to TLA
  • Online
SRC TN-1996-001 Refinement in State-Based Formalisms
  • Online
SRC TN-1996-002a The Module Structure of TLA+
  • Online
SRC TN-1997-001 Virginity: A contribution to the specification of object-oriented software
  • Online
SRC TN-1997-002 Average-Case Analysis of First Fit and Random Fit Bin Packing
  • Online
SRC TN-1997-003 Hypermedia Presentation and Authoring System
  • Online
SRC TN-1997-004a Fully Dynamic 2-Edge Connectivity Algorithm in Polylogarithmic Time per Operation
  • Online
SRC TN-1997-005c The Vesta-2 Software Description Language
  • Online
SRC TN-1997-006a The Operators of TLA+
  • Online
SRC TN-1997-007 Checking object invariants
  • Online