Вы здесь

Главная

Cedex

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

1998 Annual Report
A formal proof of a protocol for communications over faulty channels using the Larch Prover
Applying the Synchronous Approach for Rial Time Active Visual Reconstruction
Bigloo User s Manual
Causal Deliveries in Unreliable Networks With Real-Time Delivery Constraints
CMP CAD Services
Directional types for logic programs and the annotation method
Distributed programming environments: an example of a message protocol
Efficient Incremental Garbage Collection for Workstation/Server Database Systems
Etude Comparative des Architectures des Microprocesseurs Intel Pentium et PowerPC 601
Evaluating a user interface with ergonomic criteria
Expressing and Detecting Control Flow Properties of Distributed Computations
For a New Real-Time Methodology
Formal Verification of Concurrent programs: How to specify UNITY using the Larch Prover
Optimization of Number of Processors in VLSI Arrays
Programmetion par objets et parallelisme de donnees dans Paladin
Prototyping of VLSI Components from a Formal Specification
Semantics of Recovery Lines for Backward Recovery in Distributed Systems
Some software tools to control the accuracy in scientific computing
Structural, temporal and stochastic properties of unbounded free-choice Petri nets
Tailored Protocol Development Using ESTEREL
The Architecture of an Implementation of LambdaProlog: Prolog/Mali
The Intrinsic Structure of the Optic Flow Field
The Pandore Compiler: Overview and Experimental Results
Tolerating Node Failures in Cache Only Memory Architectures