Вы здесь

Главная

Palo Alto

Связанные издания:

High Speed Switch Scheduling for Local Area Networks
How to Make a Correct Multiprocess Program Execute Correctly on a Multiprocessor
How to Write a Long Formula
How to Write a Proof
Inside Hector: The Systems View
Introduction to LCL, A Larch/C Interface Language
Key Instructions: Solving the Code Location Problem for Optimized Code
LM3: A Larch Interface Language for Modula-3. A Definition and Introduction. Version 1.0
Man-Computer Symbiosis//In Memoriam: J.C.R.Licklider 1915-1990
Modula-3 Report (revised)
New-Value Logging in the Echo Replicated File System
Obliq-3D. Tutorial and Reference Manual
Obliq - A Language with Distributed Scope
On Multiplying Points: The Paired Algebras of Forms and Sites
Operations on Records
Partial Replication in the Vesta Software Repository
Processes are in the Eye of the Beholder
Program Fragments, Linking, and Modularization
Proving Possibility Properties
Prudent Engineering Practice for Cryptographic Protocols
Report on the Larch Shared Language: Version 2.3
Reports 100-150: The Abstracts
Requirements for an Experimental Programming Environment
Safe, Efficient Garbage Collection for C++
Should Your Specification Language Be Typed?
Smooth Scheduling in a Cell-Based Switching Network
Some Useful Modula-3 Interfaces
Studies of Windows NT Performance using Dynamic Execution Traces
Subtyping Recursive Types
Techniques and Metodology for Concurrent System Modelling Based on Net Theory
The 1992 SRC Algorithm Animation Festival
The 1993 SRC Algorithm Animation Festival
The Computer as a Communication Device//In Memoriam:J.C.R.Licklider 1915-1990
The Echo Distributed File System
The First 99 Reports
The Juno-2 Constraint-Based Drawing Editor
The Link Database: Fast Access to Graphs of the Web
The Second Annual Video Review of Communicational Geometry
The Third Annual Video Review of Computational Geometry
The Vesta Approach to Precise Configuration of Large Software Systems
The Vesta Approach to Software Configuration Management
The Vesta Language for Configuration Management
The Vesta Respository: A File System Extension for Software Development
The Vesta Software Configuration Management System
The Virtual Book
Three-Dimensional Web-Based Algorithm Animations
TLA in Pictures
To Provide or to Bound: Sampling in Fully Dynamic Graph Algorithms
Towards Web-scale Web Archaeology
Trestle Reference Manual