Вы здесь

Главная

Digital

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

A Block-sorting Lossless Data Compression Algorithm
Abstract Interpretation by Dynamic Partitioning
Abstract Types and the Dot Notation
A Calculus for Cryptographic Protocols: The Spi Calculus
A Coherent Distributed File Cache with Directory Write-behind
A Database Interface for Complex Objects
A Feature Constraint System for Logic Programming with Entailment
A Functional Specification of the Alpha AXP Shared Memory Model
A Guide to LP, The Larch Prover
A Hardware Implementation of Pure Esterel
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 Axiomatization of Lamport s Temporal Logic of Actions
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 in the Taos Operating System
Automated Proofs of Object Code for a Widely Used Microprocessor
Automatic Motion Planninng for Complex Articulated Bodies
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
BigNum: A Portable and Efficient Package for Arbitrary-Precision Arithmetic
Binary Periodic Synchronizing Sequences
Bridges: Tools to Extend the Vesta Configuration Management System
Collaborative Active Textbooks: A Web-Based Algorithm Animation System for an Electronic Classroom
Compiling Pattern Matcing by Term Decomposition
Composing Specifications
Compositional Refinement of Interactive Systems
Conjoining Specifications
Constructive Logics. Part I: A tutorial on Proof Systems and Typed -Calculi
Constructive Logics. Part II: Linear Logic and Proof Nets
Continuous Monitoring and Performance Specification
Contribution a la Resolution Numerique des Equations de Laplace et de la Chaleur
Debugging Larch Shared Language Specifications
DeckScape: An Experimental Web Browser
Digital - Your Partner in Research
Distributed Active Objects
Distributed Garbage Collection for Network Objects
Dynamic Typing in a Statically Typed Language
Dynamic Typing in Polymorphic Languages
Eliminating Go to s while Preserving Program Structure
Experiences with Software Specification and Verification Using LP, the Larch Proof Assistant
Experience with Concurrent Garbage Collectors for Modula-2+