Вы здесь

Главная

INRIA

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

On A Generalized Product For Domains
On Equivalent Transformation of Recursion Schemes
On Equivalent Transformations of Recursion Schemes
On Fault Tolerance of Syntax
On Relationship Between Term Rewriting Systems and Regular Tree Languages
On the Definition of Lambda-Calculus Models
On the regular structure of prefix rewritings
Operational and Denotational Semantics for Prolog with Input-Output Predicates
Operational Semantics of a Distributed Object-oriented Language and its Z Formal Specification
Optimality and Non-Preemptive Real-Time Scheduling Revisited
Optimization of Number of Processors in VLSI Arrays
Order notions and atomic multicast in distributed systems: a short survey
Order-Sorted Equational Unification
Ordonnancement base sur les reseaux de Petri
Pandore: A System to Manage Data Distribution
ParaGraph - An Interactive Environment for Parallelizing FORTRAN Programs
Parallelisme Massif et Langage a Objets: une Approche SPMD
PARSEVAL: A Workbench for Queueing Networks Parallel Simulation
Pi-Calculus, Internal Mobility, and Agent-Passing Calculi
Plans Simulation Using Terminal Logics
PLEIADE: A System for Grammatical Programming
Polymorphic type inference and assignment
Polymorphic Type Inference and Assignment
Portage d un Environnement Unix sur le Noyau Gothic
Prediction of the Behaviour of an Unreliable System. Application to the Choice of the Optimal Maintenance Policy
Presentation et evaluation de la complexite en moyenne des algorithmes d unification
Problem-Oriented Verification System and its Application to Linear Algebra Programs
Programmetion par objets et parallelisme de donnees dans Paladin
Programming by Multiset Transformation
Program transformation by proof in constructive framework
Projet SYNCHRONE. Les formats communs des langages syncrones
Proof Methods of Declarative Properties of Definite Programs
Proofs of Partial Correctness for Attribute Grammars and Recursive Procedures
Prototyping of VLSI Components from a Formal Specification
Proving Process Calculi Translations in ECRINS: The PureLOTOS -> MEIJE Example
Rapport D Activite 1990. Annexe Technique. Programme 1. Architectures paralleles, Bases de donnees, Reseaux et Systemes.
Rapport D activite 1990, Annexe Technique, Programme 2, Calcul symbolique, programmation et Genie logiciel
Rapport D Activite 1990. Annexe Technique. Programme 3. Intelligence artificielle, Systemes cognitifs et Interaction homme-machine
Rapports de Recherche et Rapports Techniques (October 1990- Оctober 1991)
Rapports de Recherche et Rapports Techniques (Octobre 1989- Octobre 1990)
Rapport sur l etat de la recherche, du developpement et de l industrialisation du logiciel en Russie
Reachability Analysis on Distributed Executions
Register allocation and scheduling: a generic approach
Regular Array Synthesis Using ALPHA
Reloop, an Algebra Based Query Language for an Object-Oriented Database System
Representation de connaissances dynamiques dans Sherpa
Representing Proof Transformations for Program Optimization
Resumes des rapports de recherche et des rapports techniques de l INRIA de septembre 1992 a decembre 1993
Scheduling of Parallel Programs in Single-Bus Multiprocessor Systems
Schema Directeue des Moyens Informatiques de l INRIA: 1991-1994