Перейти к основному содержанию
Мемориальная библиотека А.П. Ершова
Toggle navigation
Издания
Журналы
Новые поступления
Вы здесь
Главная
INRIA
Связанные издания:
1+1=1 : An Optimizing Caml Compiler
A Calculus of Gamma programs
A Complete Modal Proof System For HAL: The Herbrand Agent Language
A Component Model for Synchronous VLSI System Design
Acyclic Fork-Join Queueing Networks
A Database Rule Language Compiler Supporting Parallelism
A debugger for O2, an Object-Oriented Language
A Debugging Environment for Functional Programming in Centaur
A Distributed Architecture for Programming Environments
A Fault Tolerant Tightly Coupled Multiprocessor Architecture Based on Stable Transactional Memory
A formal proof of a protocol for communications over faulty channels using the Larch Prover
A Framework for O2 Schema Updates
A General Algorithm for Data Dependence Analysis
A General Approach to Trace-Checking in Distributed Computing Systems
A General Method to Define Quorums
ALPHA du Centaur: A Prototype Environment for the Design of Parallel Regular Algorithms
An Alternate Representation of Distributed Computations
Analysis of a Distributed Algorithm for Mutual Exclusion
Analytic Variations on the Common Subexpression Problem
An Approach to Integrate Formal Validation in an OO Life-cycle of Protocols
An Approach to Transputer Programs Developments: from Fine-Grained to Coarse-Grained Parallelism
An Exception Handing Mechanism for Parallel Object-Oriented Programming.Towards the Design of Reusable and Robust Distributed Software
An Integrated Trigger Function Parallel System
An Object-Oriented Approach to Integrated Systems of Program Development
A non-interleaving Semantics for CCS Based on Proved Transitions
A Note on Guarded Recursion
Application de CEYX a la Construction de Programmes sous Forme de Machines Virtuelles
Applied Mathematics and Computer Science: Proc./First Intern. Conf. on Applied Mathematics and Computer Science, Moscow, Russia, 28-29 October 1996
Applying the Synchronous Approach for Rial Time Active Visual Reconstruction
A process semantics and equivalences of logic programs
A Proposed Classification of Intelligent Manufacturing Systems Using Consistency Analysis
Architecture systolique pour la correction automatique de libelle d adresse
A Simple Graph Construction of Semilinear Reachability Sets of Vector Addition Systems
A stochastic approximation type em algorithm for the mixture problem
A Strategy for Array Management in Local Memory
A Study of Three Alternative Workstation-Server Architectures for Object Oriented Database System
A Study on the Cache Memory Miss Ratio Issue in Multiprocessor Systems
A Survey of Tree Transductions
A Survey on Attribute Grammars. Part III. Classified Bibliography
A Taxonomy of Functional Language Implementations. Part I: Call by Value
Attributed Tree Grammars
A Uniform Approach for Compile-time and Run-time Specialization
Automatic Generation of Schedulers in the Framework of the PAGODE System
Automatic Parallelization of Statements without if Conversion
Average case analysis of unification algorithms
Bigloo User s Manual
Building user interfaces with the LOOKS hyper-object system
Causal Deliveries in Unreliable Networks With Real-Time Delivery Constraints
CENTAUR: the system
CHORUS: A Communication and Processing Architecture for Distributed Systems
1
2
3
4
5
6
следующая ›
последняя »