Recherche - INRIA - Institut National de Recherche en Informatique et en Automatique Accéder directement au contenu

Filtrer vos résultats

16 résultats
Page :
triés par
Image document

Integrating Natural Semantics and Attribute Grammars : the Minotaur System

 Isabelle Attali , Didier Parigot
[Research Report] RR-2339, INRIA. 1994
Rapport inria-00077110v1
Image document

Decomposed software pipelining

 J. Wang , Christine Eisenbeis
[Research Report] RR-1838, INRIA. 1993
Rapport inria-00074834v1
Image document

Allocating Registers in Multiple Instruction-Issuing Processors

 Christine Eisenbeis , Franco Gasperoni , Uwe Schwiegelshohn
[Research Report] RR-2628, INRIA. 1995
Rapport inria-00074059v1
Image document

Automatic generation of schedulers in the framework of the PAGODE system

 Lucile Cognard , Monique Mazaud
[Research Report] RR-1950, INRIA. 1993
Rapport inria-00074723v1
Image document

Analysis of standard and new algorithms for the integer ans linear constraint satisfaction problem

 Jean-Claude Sogno
[Research Report] RR-1828, INRIA. 1992
Rapport inria-00074844v1
Image document

A New class of algorithms for software pipelining with resource constraints

 Christine Eisenbeis , D. Windheiser
[Research Report] RR-2033, INRIA. 1993
Rapport inria-00074638v1
Image document

A general algorithm for data dependence analysis

 Christine Eisenbeis , Jean-Claude Sogno
[Research Report] RR-1699, INRIA. 1992
Rapport inria-00076936v1
Image document

From categorical combinators to lambda-sygma-calculi, a quest for confluence

 Thérèse Hardin
[Research Report] RR-1777, INRIA. 1992
Rapport inria-00077017v1
Image document

Directional types for logic programs and the annotation method

 Johan Boye , Jan Maluszynski
[Research Report] RR-2471, INRIA. 1995
Rapport inria-00074204v1
Image document

Transformation de grammaires attribuées pour des mises à jour destructives

 Étienne Duris
[Rapport de recherche] Université d'Orléans. 1994
Rapport hal-00628154v1
Image document

A Proof-theoretic approach to logic programming

 Miguel Suarez
[Research Report] RR-1818, INRIA. 1992
Rapport inria-00074854v1
Image document

Contribution à l'évaluation d'attributs et l'optimisation mémoire sur machines multiprocesseurs

 Bruno P Marmol
Réseaux et télécommunications [cs.NI]. Université d'Orléans, 1995. Français. ⟨NNT : ⟩
Thèse tel-00005806v1
Image document

Automatic parallelization of structured if statements without if conversion

 M.C. Giboulot , François Thomasset
[Research Report] RR-1408, INRIA. 1991
Rapport inria-00075152v1
Image document

A New timed Petri net model for loop scheduling with resource constraints

 Jian Wang , Christine Eisenbeis
[Research Report] RR-1810, INRIA. 1992
Rapport inria-00074862v1
Image document

On efficiently characterizing solutions of linear diophantine equations and its application to data dependence analysis

 Christine Eisenbeis , Olivier Temam , Harry Wijshoff
[Research Report] RR-1616, INRIA. 1992
Rapport inria-00074944v1
Image document

Dynamic grammars and semantic analysis

 Pierre Boullier
[Research Report] RR-2322, INRIA. 1994
Rapport inria-00074352v1
Page :