Вы здесь

Главная

INRIA

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

GAMES: Gestion d abres d etats multiples en SMECI
Generalized Scheduling on a Single Processor in Real-Time Systems Based on Time Value Functions
Generation of Bottom-up Parsers: A New Approach
Gentzen Calculi and Admissible Substitutions
GOTHIC Memory management: a multiprocessor shared single level store
Hereditarily-Finite Sets with Attributes, Data Bases and Polynomial-Time Computability
Higher Order Unification via Explicit Substations
Homotopic deductions in unification logic
How to Find his Way in the Jungle of Consistency Criteria for Distributed Objects Memories (or how to Escape from Minos Labyrinth)
Hypertext as an Environment for Software Development
Hypertext Aspects of the Grif Structured Editor: Design and Applications
Implementation and Evaluation of Distributed Synchronization on a Distributed Memory Parallel Machine
Incremental compilation in the O2 object-oriented database
Inevitable Global States: A Concep to Detect Properties of Distributed Computations in an Observer Independent Way
Informatika 91: Theoretical Computer Science and Methods of Compilation and Program Construction.
Integrating Formal Verification Methods of Quantitative Real-Time Properties into a Development Environment for Robot Controllers
Interface SIGNAL-SynDEx
Interval Approximations of Message Causality in Distributed Execution
Lancer de Rayon: Approches Paralleles
Langages et Traducteurs 1978-1981
Language-Based Document Pricessing
Le "boum" du flou au Japon
Le placement de taches sur de architectures paralleles
Les Predicats Collectifs: Un Moyen d expression du Controle du Parallelisme OU en Prolog
L Evaluation et la Selection de Solutions Dans la Resolution de Problemes de Conception
Liste des resumes des Rapports de Recherche du N 2541 au N 2696
Liste des Resumes des Rapports de Recherche du N 2697 au N 2768
Liveness in Free-Choice Petri Nets - An Algebraic Approach
Load balancing in multiprocessing architecture
Loop Nest Synthesis Using the Polyhedral Library
Machine Modeling and Loop Optimization for Horizontal Microcoded Machines
MACROFORT: A Fortran Code Generator in MARLE
Making Deductive Database a Practical Technology: A Step Forward
Manipulation of Structured Values in Object-oriented Databases
Marginal Throughtput of a Stask Algorithm for CSMA/CD Random Length Packet Communication When the Loud is Over the Channel Efficiency
Merging Graphical and Textual Specification Languages
Modelling Complex Structures in Object-Oriented Databases
Models and Resolution Principles for Logical Meta-Programming Languages
Models for Communications in the Hypercube
Models for Distributed Computing
Modula-2 and Its Compilation
MORSE: A Functional Query Language and its Semantic Data Model
Multi-video-scheme Videoconferencing Applications
Naming and Scoping in a Mathematical Vernacular
Natural Semantics on the Computer
Object Oriented Parallel Discrete Event Simulation: The PROSIT Approach
Object Oriented Simulation: Highlights on the Prosit Parallel Discrete Event Simulator
Observation d Executions Reparties Datation par Intervalles
Observing Distribution in Processes: Static and Dynamic Localities
Occurrences in debugger specifications