Search - INRIA - Institut National de Recherche en Informatique et en Automatique Access content directly

Filter your results

222 Results
Deposit type : Fulltext
Image document

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

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

Pontryagin's principle in the control of semilinear elliptic variational inequalities

J. Frederic Bonnans , D. Tiba
[Research Report] RR-1134, INRIA. 1989
Reports inria-00075425v1
Image document

The causal ordering abstraction and a simple way to implement it

Michel Raynal , André Schiper
[Research Report] RR-1132, INRIA. 1989
Reports inria-00075427v1
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
Reports 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
Reports inria-00075442v1
Image document

Numerical methods in Markov chain modeling

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

Construction of TVD-like artificial viscosities on 2-dimensional arbitrary FEM grids

Paul Arminjon , Alain Dervieux
[Research Report] RR-1111, INRIA. 1989
Reports inria-00075448v1
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
Reports inria-00075452v1
Image document

Graphical VERSUS logical specifications

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

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

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

Filtrage et lissage des systemes implicites discrets

Xiao-Min Wang , Pierre Bernhard
[Rapport de recherche] RR-1083, INRIA. 1989
Reports 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
Reports 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
Reports inria-00075489v1
Image document

Efficiency of the extended Kalman filter for non linear systems with small noise

Jean Picard
[Research Report] RR-1068, INRIA. 1989
Reports inria-00075491v1
Image document

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

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

Ergodic theory of stochastic Petri networks

François Baccelli
[Research Report] RR-1037, INRIA. 1989, pp.44
Reports inria-00075521v1
Image document

Junctions between three-dimensional and two-dimensional non linearly elastic structures

M. Aufranc
RR-1036, INRIA. 1989
Reports inria-00075522v1
Image document

Une remarque sur le prolongement par symetrie des formulations variationnelles et son application a la vectorisation

Guy Chavent
[Rapport de recherche] RR-1015, INRIA. 1989
Reports inria-00075543v1
Image document

Average case complexity analysis of RETE pattern-match algorithm and average size of join in databases

Luc Albert
[Research Report] RR-1010, INRIA. 1989
Reports inria-00075548v1
Image document

Finite element solutions of axisymmetric Euler equations for an incompressible and inviscid fluid

J.H. Saiac
RR-0999, INRIA. 1989
Reports inria-00075560v1
Image document

Lancer de rayon : approches parallèles

Didier Badouel , François Bodin , Thierry Priol
[Rapport de recherche] RR-0992, INRIA. 1989
Reports inria-00075567v1
Image document

Homogenization of a model of compressible miscible flow in porous media

Yacine Y. Amirat , K. Hamdache , A. Ziani
RR-0991, INRIA. 1989
Reports inria-00075568v1
Image document

A graph based data structure for efficient implementation of main memory DBMS's

Philippe Pucheral , J.M. Thevenin
RR-0978, INRIA. 1989
Reports inria-00075581v1
Image document

Modèles statistiques temps-échelle en traitement du signal

Michèle Basseville , Albert Benveniste
[Rapport de recherche] RR-0971, INRIA. 1989
Reports inria-00075588v1
Image document

Partage d'objets dans les systèmes distribués. Principes des ramasse-miettes

André Couvert , Aomar Maddi , René Pedrono
[Rapport de recherche] RR-0963, INRIA. 1989
Reports inria-00075596v1
Image document

A multi-processor Estelle to C compiler to experiment distributed algorithms on parallel machines

Claude Jard , Jean-Marc Jézéquel
9th IFIP International Workshop on Protocol Specification, Testing and Verification, University of Twente, 1989, The Netherlands, Netherlands
Conference papers hal-00765072v1
Image document

Traitements nématicides et peuplement de nématodes parasites de la canne à sucre au Burkina Faso. 1. Repousses

Patrice Cadet , Jean Thioulouse
Revue de Nématologie, 1989, 12 (1), pp.35-44
Journal articles hal-03602913v1
Image document

French Order Without Order

Gabriel G. Bès , Claire Gardent
EACL 1989 - Fourth Conference of the European Chapter of the Association for Computational Linguistics, 1989, Manchester, United Kingdom. pp.249-255
Conference papers hal-01021826v1
Image document

SOS: An Object-Oriented Operating System ―- Assessment and Perspectives

Marc Shapiro , Yvon Gourhant , Sabine Habert , Laurence Mosseri , Michel Ruffin , et al.
Computing systems, 1989, 2 (4), pp.287--337
Journal articles hal-01248230v1
Image document

Extraction de programmes dans le Calcul des Constructions

Christine Paulin-Mohring
Génie logiciel [cs.SE]. Université Paris-Diderot - Paris VII, 1989. Français. ⟨NNT : ⟩
Theses tel-00431825v1