Вы здесь

Главная

Palo Alto

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

A Block-sorting Lossless Data Compression Algorithm
Abstract Types and the Dot Notation
A Calculus for Cryptographic Protocols: The Spi Calculus
A Coherent Distributed File Cache with Directory Write-behind
A Functional Specification of the Alpha AXP Shared Memory Model
A Guide to LP, The Larch Prover
A High-Speed DES Implementation for Network Applications
Algorithm Animation Using 3D Interactive Graphics
A Library for Visualizing Combinatorial Structures
A Logic of Object-Oriented Programs
An Efficient Matching Algorithm for a High-Throughput, Low-Latency Data Switch
An Implementation of F<:
An Implementation of F :
A Semantic Basis for Quest
A Temporal Logic of Actions
A Type System for Java Bytecode Subroutines
Autentication in Distributed Systems: Theory and Practice
Authentication and Delegation with Smart-cards
Authentication in the Taos Operating System
Automated Proofs of Object Code for a Widely Used Microprocessor
Autonet: a High-speed, Self-configuring Local Area Network Using Point-to-point Links
Availability in the Echo File System
Baby Modula-3 and a Theory of Objects
Bridges: Tools to Extend the Vesta Configuration Management System
Collaborative Active Textbooks: A Web-Based Algorithm Animation System for an Electronic Classroom
Compositional Refinement of Interactive Systems
Conjoining Specifications
Continuous Monitoring and Performance Specification
Debugging Larch Shared Language Specifications
DeckScape: An Experimental Web Browser
Denali: A Goal-Directed Superoptimizer
Disk Paxos
Distributed Active Objects
Distributed Garbage Collection for Network Objects
Dynamic Typing in a Statically Typed Language
Dynamic Typing in Polymorphic Languages
Efficient and Flexible Value Sampling
Experiences with Software Specification and Verification Using LP, the Larch Proof Assistant
Experience with Concurrent Garbage Collectors for Modula-2+
Explicit Substitutions
Extended Static Checking
Extensible Syntax with Lexical Scoping
Factors in the Performance of the AN1 Computer Network
Fairness and Hyperfairness
Formal Parametric Polymorphism
From Quadrangular Sets to the Budget Matroids
Heap Usage in the Topaz Environment
Hector: Connecting Words with Definitions
Hewlett-Packard Laboratories: проспект
High-Performance Web Crawling