Вы здесь

Главная

Le Chesnay

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

A General Algorithm for Data Dependence Analysis
Analytic Variations on the Common Subexpression Problem
An Approach to Integrate Formal Validation in an OO Life-cycle of Protocols
Application de CEYX a la Construction de Programmes sous Forme de Machines Virtuelles
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
A Uniform Approach for Compile-time and Run-time Specialization
CENTAUR: the system
CHORUS: A Communication and Processing Architecture for Distributed Systems
Constructive Probability and the SIGNalea Language: Building and Handling Random Processes Via Programming
Conversion de Modulef en Fortran 77
Correctness of Automated Distribution of Sequetial Programs
Dynamically-Typed Computations for Order-Sorted Equational Presentations
Dynamic Grammars and Semantic Analysis
Edition de Documents Multi-Langages sous Mentor-Rapport
Edition Structuree Approche Hypertexte. Cooperation et Complementarite
Efficient Code Generation for Distributed Memory Machines
Environnement de Programmation pour ASN.1
First Meeting of the Working Group on Machines Oriented Higher Level Languages: Bulletin N 4, IFIP WG 2.4, La Grande Motte, France, May 1974
Higher Order Unification via Explicit Substations
Implementation and Design of Algorithmic Languages: Proc./5th Annual III Conference, Guidel, France, May 1977
Inevitable Global States: A Concep to Detect Properties of Distributed Computations in an Observer Independent Way
Integrating Formal Verification Methods of Quantitative Real-Time Properties into a Development Environment for Robot Controllers
Interval Approximations of Message Causality in Distributed Execution
Liveness in Free-Choice Petri Nets - An Algebraic Approach
Loop Nest Synthesis Using the Polyhedral Library
Models and Resolution Principles for Logical Meta-Programming Languages
Modula-2 and Its Compilation
Multi-video-scheme Videoconferencing Applications
Natural Semantics on the Computer
Observation d Executions Reparties Datation par Intervalles
ParaGraph - An Interactive Environment for Parallelizing FORTRAN Programs
Parallelisme Massif et Langage a Objets: une Approche SPMD
Pi-Calculus, Internal Mobility, and Agent-Passing Calculi
Portage d un Environnement Unix sur le Noyau Gothic
Proofs of Partial Correctness for Attribute Grammars and Recursive Procedures
Reachability Analysis on Distributed Executions
Register allocation and scheduling: a generic approach
Safe Run-time Overloading
Scheduling of Parallel Programs in Single-Bus Multiprocessor Systems
Sparse Matrix Multiplication on Vector Computers
Squeezing More CPU Performance Out of a Cray-2 by Vector Block Sheduling
Theory and Practice of Sequential Algorithms: The Kernel of the Applicative Language CDS
Tracing the Origins of Verification Conditions
Une Interface C++ pour Programmer sur la Connection Machine
Un Processeur pour la Reconnaissance de la Parole
Un Traducteur de PL/1 Vers C