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

Filtrer vos résultats

593 résultats
Page :
triés par

Stable Transactional Memories and Fault Tolerant Architectures

 Michel Banâtre , Philippe Joubert , Christine Morin , Gilles Muller , Bruno Rochat , et al.
Proc. of Fourth ACM SIGOPS European Workshop, Fault Tolerance Support in Distributed Systems, 1990, Bologna, Italy
Communication dans un congrès hal-01272465v1
Image document

Designers' activities examined at three levels: organization, strategies & problem-solving

 Willemien Visser
Knowledge-Based Systems, 1990, Artificial Intelligence in Design Conference 1991, 5 (1), pp.92-104. ⟨10.1016/0950-7051(92)90027⟩
Article dans une revue istex hal-00653324v1

An even faster systolic array for matrix multiplication

 Abdelhamid Benaini , Yves Robert
Parallel Computing, 1989, 12, pp.249-254
Article dans une revue hal-00857014v1

Efficient FORTRAN implementation of the Gaussian elimination and Householder reduction algorithms on the IBM 3090 vector multiprocessor

 Paolo Carnevali , Giuseppe Radicati , Yves Robert , Piero Sguazzero
RAIRO Modélisation mathématique et Analyse Numérique, 1989, 23 (1), pp.63-86
Article dans une revue hal-00857024v1

LU and QR factorization on the FPS T Series hypercube

 Yves Robert , Bernard Tourancheau
CONPAR 88, 1989, Unknown, pp.516-525
Communication dans un congrès hal-00857033v1

A modular systolic linear array for Gaussian elimination

 Abdelhamid Benaini , Yves Robert
International Journal of Computer Mathematics, 1990, 36, pp.105-118
Article dans une revue hal-00857039v1
Image document

Non-blocking atomic broadcast with omission failures

 Emmanuelle Anceaume , Pascale Minet
RR-1287, INRIA. 1990
Rapport inria-00075272v1
Image document

The CAML primer

 G. Cousineau , Gérard Huet
RT-0122, INRIA. 1990, pp.78
Rapport inria-00070045v1
Image document

DQDB, mean access delay analysis

 Philippe Jacquet , Paul Mühlethaler
RR-1263, INRIA. 1990
Rapport inria-00077185v1
Image document

Implementation and evaluation of distributed synchronization on a distributed memory parallel machine

 André Couvert , René Pedrono , Michel Raynal
[Research Report] RR-1280, INRIA. 1990
Rapport inria-00075279v1
Image document

Adaptation de la méthode de Davidson à la résolution de systèmes linéaires : implémentation d'une version par blocs sur un multiprocesseur

 Miloud Sadkane , Brigitte Vital
[Rapport de recherche] RR-1240, INRIA. 1990
Rapport inria-00075318v1
Image document

Conditional rewrite rules as an algebraic semantics of processes

 Eric Badouel
[Research Report] RR-1226, INRIA. 1990
Rapport inria-00075332v1
Image document

Average case analysis of unification algorithms

 Luc Albert , Rafaël Casas , Francois Fages , Paul Zimmermann
[Research Report] RR-1213, INRIA. 1990
Rapport inria-00075345v1
Image document

Computability of recurrence equations

 Yannick Saouter , Patrice Quinton
[Research Report] RR-1203, INRIA. 1990
Rapport inria-00075355v1
Image document

Etat de l'art de la recherche en informatique documentaire : la representation des documents et l'acces a l'information

 Roland Dachelet
RR-1201, INRIA. 1990
Rapport inria-00075357v1
Image document

On the regular structure of prefix rewritings

 Didier Caucal
[Research Report] RR-1196, INRIA. 1990
Rapport inria-00075362v1
Image document

Comment introduire la contiguite en analyse des correspondances? Application en segmentation d'image

 Brigitte Escofier , Habib Benali , Kaddour Bachar
[Rapport de recherche] RR-1191, INRIA. 1990
Rapport inria-00075368v1
Image document

Linear complexity of transformed sequences

 H. Fell
RR-1168, INRIA. 1990
Rapport inria-00075390v1
Image document

Distributed primality proving and the primality of (2 +1)/3

 F. Morain
RR-1152, INRIA. 1989
Rapport inria-00075407v1
Image document

Etude de la barriere pour un probleme de fuite optimale dans le plan

 Pierre Bernhard , Bernard Larrouturou
[Rapport de recherche] RR-1131, INRIA. 1989, pp.26
Rapport inria-00075428v1
Image document

Inferring surface trace and differential structure from 3-D images

 Peter T. Sander , Steven W. Zucker
[Research Report] RR-1117, INRIA. 1989
Rapport inria-00075442v1
Image document

Numerical methods in Markov chain modeling

 Bernard Philippe , Yousef Saad , William J. Stewart
[Research Report] RR-1115, INRIA. 1989
Rapport inria-00075444v1
Image document

A unified physical presentation of mixed, mixed-hybrid finite elements and usual finite differences for the determination of velocities in waterflow problems

 Guy Chavent , Jean Roberts
[Research Report] RR-1107, INRIA. 1989
Rapport inria-00075452v1
Image document

Graphical VERSUS logical specifications

 Gérard Boudol , Kim Guldstrand Larsen
[Research Report] RR-1104, INRIA. 1989
Rapport inria-00075455v1
Image document

Construction of Hilbert class fields of imaginary quadratic fields and dihedral equations modulo p

 F. Morain
RR-1087, INRIA. 1989
Rapport inria-00075472v1
Image document

Filtrage et lissage des systemes implicites discrets

 Xiao-Min Wang , Pierre Bernhard
[Rapport de recherche] RR-1083, INRIA. 1989
Rapport inria-00075476v1
Image document

How to preserve the mass fractions positivity when computing compressible multi-component flows

 Bernard Larrouturou
[Research Report] RR-1080, INRIA. 1989
Rapport inria-00075479v1
Image document

Une formulation de type Vlassov-Poisson pour les equations d'Euler des fluides parfaits incompressibles

 Yann Brenier
[Rapport de recherche] RR-1070, INRIA. 1989
Rapport inria-00075489v1
Image document

Error analysis of some Galerkin-least-squares methods for the elasticity equations

 L.P. Franca , R. Stenberg
RR-1054, INRIA. 1989
Rapport inria-00075505v1
Image document

Ergodic theory of stochastic Petri networks

 François Baccelli
[Research Report] RR-1037, INRIA. 1989, pp.44
Rapport inria-00075521v1
Page :