A simplified account of region inference

Sensibilite de mesures transitoires instantanees des systemes informatiques hautement fiables

Hamza, Moulaye
Abdallah, Haiscam
Institut National des Sciences Appliquees de Rennes (INSA), 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Institut National de Recherche en Informatique et en Automatique (INRIA), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Rennes-1 Univ., 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Centre National de la Recherche Scientifique (CNRS), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)

January 1999

Theme 1 - Reseaux et systemes. Projet ModelSIGLEAvailable from INIST (FR), Document Supply Service, ...

Une generalisation logique de l'analyse de concepts formels

Ridoux, Olivier
Ferre, Sebastien
Institut National des Sciences Appliquees de Rennes (INSA), 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Rennes-1 Univ., 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Institut National de Recherche en Informatique et en Automatique (INRIA), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Centre National de la Recherche Scientifique (CNRS), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)

January 1999

Theme 2 - Genie logiciel et calcul symbolique - Projet LandeAvailable from INIST (FR), Document Supp...

Minimal size of piggybacked information for tracking causality A gragh-based characterization

Helary, Jean-Michel
Melideo, Giovanna
Centre National de la Recherche Scientifique (CNRS), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Rennes-1 Univ., 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Institut National des Sciences Appliquees de Rennes (INSA), 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Institut National de Recherche en Informatique et en Automatique (INRIA), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)

January 2000

Theme 1 - Reseaux et systemes - Projet ADPSIGLEAvailable from INIST (FR), Document Supply Service, u...

Inference grammaticale reguliere : fondements theoriques et principaux algorithmes

Dupont, Pierre
Miclet, Laurent
Centre National de la Recherche Scientifique (CNRS), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Rennes-1 Univ., 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Institut National des Sciences Appliquees de Rennes (INSA), 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Institut National de Recherche en Informatique et en Automatique (INRIA), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)

January 1998

Theme 3 - Interaction homme-machine, images, donnees, connaissances. Projet REPCOAvailable from INIS...

Partage de bande passante dans un reseau : approches probabiliste

Fayolle, Guy
Lasgouttes, Jean-Marc
Institut National de Recherche en Informatique et en Automatique (INRIA), 78 - Rocquencourt (France). Unite de Recherche de Rocquencourt

January 2001

Theme 1 - Reseaux et systemes - Projet MevalAvailable from INIST (FR), Document Supply Service, unde...

Analyse des langages et modeles de la mobilite

Boudol, Gerard
Germain, Florence
Lacoste, Marc
Institut National de Recherche en Informatique et en Automatique (INRIA), 06 - Valbonne (France). Unite de Recherche de Sophia-Antipolis

January 2000

Theme 1 - Reseaux et systemes - Projet MIMOSAAvailable from INIST (FR), Document Supply Service, und...

Mesure et analyse des caracteristiques d'une memoire d'objets

Richer, Nicolas
Institut National de Recherche en Informatique et en Automatique (INRIA), 78 - Rocquencourt (France). Unite de Recherche de Rocquencourt

January 1997

Theme 1 - Reseaux et systemes. Projet SORAvailable from INIST (FR), Document Supply Service, under s...

Skewed branch predictors

Michaud, Pierre
Seznec, Andre
Uhlig, Richard
Institut National de Recherche en Informatique et en Automatique (INRIA), 35 (France). Unite de Recherche de Rennes
Centre National de la Recherche Scientifique (CNRS), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Rennes-1 Univ., 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Institut National des Sciences Appliquees de Rennes (INSA), 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)

January 1996

Theme 1 - Reseaux et systemes - Projet CAPSSIGLEAvailable at INIST (FR), Document Supply Service, un...

Caracterisation d'une region a partir de l'analyse des grandes sources : une entree forestiere du developpement - amenagement en montagne

Favier, G.
Mistrulli, F.
Institut de Recherche pour l'Ingenierie de l'Agriculture et de l'Environnement (CEMAGREF), 92 - Antony (France)

January 1992

Available from INIST (FR), Document Supply Service, under shelf-number : GR 1208 / INIST-CNRS - Inst...

Systemes deductifs et traitement des langues : un panorama des grammaires categorielles

Retore, Christian
Institut National de Recherche en Informatique et en Automatique (INRIA), 35 - Rennes (France). Unite de Recherche de Rennes
Centre National de la Recherche Scientifique (CNRS), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Rennes-1 Univ., 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Institut National des Sciences Appliquees de Rennes (INSA), 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)

January 2000

Themes 1 - Reseaux et systemes - Projet ParagrapheAvailable from INIST (FR), Document Supply Service...

Contribution a l'estimation de l'etat et des parametres des systemes singuliers. Application au diagnostic

Boutayeb, Mohamed

January 1992

SIGLEAvailable from INIST (FR), Document Supply Service, under shelf-number : T 81239 / INIST-CNRS -...

Un algorithme d'identification de frontieres soumises a des conditions aux limites de Signorini

Chaabane, Slim
Jaoua, Mohamed
Institut National de Recherche en Informatique et en Automatique (INRIA), 06 - Valbonne (France). Unite de Recherche de Sophia-Antipolis

January 1998

Theme 4 - Simulation et optimisation de systemes complexes - Projet MIAOUSIGLEAvailable from INIST (...

Etude et simulation d'un schema de reservation de bande passante dans les reseaux ad-hoc

Boudjit, Saadi
Institut National de Recherche en Informatique et en Automatique (INRIA), 78 - Rocquencourt (France). Unite de Recherche de Rocquencourt

January 2001

Theme 1 - Reseaux et systemes - Projet HipercomSIGLEAvailable from INIST (FR), Document Supply Servi...

Variables d'induction generalisees pour l'analyse par instances de programmes recursifs

Amiranoff, Pierre
Cohen, Albert
Feautrier, Paul
Institut National de Recherche en Informatique et en Automatique (INRIA), 78 - Rocquencourt (France). Unite de Recherche de Rocquencourt

January 2001

Theme 1 - Reseaux et systemes - Projet A3Available from INIST (FR), Document Supply Service, under s...

Accessibilite interregionale : theorie et exemple d'application a l'echelle europeenne

Chatelus, Gautier
Institut National de Recherche sur les Transports et leur Securite (INRETS), 94 - Arcueil (France)

January 1997

Available from INIST (FR), Document Supply Service, under shelf-number : 21083, issue : a.1997 n.217...

Sensibilite de mesures transitoires instantanees des systemes informatiques hautement fiables

Hamza, Moulaye
Abdallah, Haiscam
Institut National des Sciences Appliquees de Rennes (INSA), 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Institut National de Recherche en Informatique et en Automatique (INRIA), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Rennes-1 Univ., 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Centre National de la Recherche Scientifique (CNRS), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)

January 1999

Theme 1 - Reseaux et systemes. Projet ModelSIGLEAvailable from INIST (FR), Document Supply Service, ...

Une generalisation logique de l'analyse de concepts formels

Ridoux, Olivier
Ferre, Sebastien
Institut National des Sciences Appliquees de Rennes (INSA), 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Rennes-1 Univ., 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Institut National de Recherche en Informatique et en Automatique (INRIA), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Centre National de la Recherche Scientifique (CNRS), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)

January 1999

Theme 2 - Genie logiciel et calcul symbolique - Projet LandeAvailable from INIST (FR), Document Supp...

Minimal size of piggybacked information for tracking causality A gragh-based characterization

Helary, Jean-Michel
Melideo, Giovanna
Centre National de la Recherche Scientifique (CNRS), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Rennes-1 Univ., 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Institut National des Sciences Appliquees de Rennes (INSA), 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Institut National de Recherche en Informatique et en Automatique (INRIA), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)

January 2000

Theme 1 - Reseaux et systemes - Projet ADPSIGLEAvailable from INIST (FR), Document Supply Service, u...

Inference grammaticale reguliere : fondements theoriques et principaux algorithmes

Dupont, Pierre
Miclet, Laurent
Centre National de la Recherche Scientifique (CNRS), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Rennes-1 Univ., 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Institut National des Sciences Appliquees de Rennes (INSA), 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Institut National de Recherche en Informatique et en Automatique (INRIA), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)

January 1998

Theme 3 - Interaction homme-machine, images, donnees, connaissances. Projet REPCOAvailable from INIS...

Partage de bande passante dans un reseau : approches probabiliste

Fayolle, Guy
Lasgouttes, Jean-Marc
Institut National de Recherche en Informatique et en Automatique (INRIA), 78 - Rocquencourt (France). Unite de Recherche de Rocquencourt

January 2001

Theme 1 - Reseaux et systemes - Projet MevalAvailable from INIST (FR), Document Supply Service, unde...

Analyse des langages et modeles de la mobilite

Boudol, Gerard
Germain, Florence
Lacoste, Marc
Institut National de Recherche en Informatique et en Automatique (INRIA), 06 - Valbonne (France). Unite de Recherche de Sophia-Antipolis

January 2000

Theme 1 - Reseaux et systemes - Projet MIMOSAAvailable from INIST (FR), Document Supply Service, und...

Mesure et analyse des caracteristiques d'une memoire d'objets

Richer, Nicolas
Institut National de Recherche en Informatique et en Automatique (INRIA), 78 - Rocquencourt (France). Unite de Recherche de Rocquencourt

January 1997

Theme 1 - Reseaux et systemes. Projet SORAvailable from INIST (FR), Document Supply Service, under s...

Skewed branch predictors

Michaud, Pierre
Seznec, Andre
Uhlig, Richard
Institut National de Recherche en Informatique et en Automatique (INRIA), 35 (France). Unite de Recherche de Rennes
Centre National de la Recherche Scientifique (CNRS), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Rennes-1 Univ., 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Institut National des Sciences Appliquees de Rennes (INSA), 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)

January 1996

Theme 1 - Reseaux et systemes - Projet CAPSSIGLEAvailable at INIST (FR), Document Supply Service, un...

Caracterisation d'une region a partir de l'analyse des grandes sources : une entree forestiere du developpement - amenagement en montagne

Favier, G.
Mistrulli, F.
Institut de Recherche pour l'Ingenierie de l'Agriculture et de l'Environnement (CEMAGREF), 92 - Antony (France)

January 1992

Available from INIST (FR), Document Supply Service, under shelf-number : GR 1208 / INIST-CNRS - Inst...

Systemes deductifs et traitement des langues : un panorama des grammaires categorielles

Retore, Christian
Institut National de Recherche en Informatique et en Automatique (INRIA), 35 - Rennes (France). Unite de Recherche de Rennes
Centre National de la Recherche Scientifique (CNRS), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Rennes-1 Univ., 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Institut National des Sciences Appliquees de Rennes (INSA), 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)

January 2000

Themes 1 - Reseaux et systemes - Projet ParagrapheAvailable from INIST (FR), Document Supply Service...

Contribution a l'estimation de l'etat et des parametres des systemes singuliers. Application au diagnostic

Boutayeb, Mohamed

January 1992

SIGLEAvailable from INIST (FR), Document Supply Service, under shelf-number : T 81239 / INIST-CNRS -...

Un algorithme d'identification de frontieres soumises a des conditions aux limites de Signorini

Chaabane, Slim
Jaoua, Mohamed
Institut National de Recherche en Informatique et en Automatique (INRIA), 06 - Valbonne (France). Unite de Recherche de Sophia-Antipolis

January 1998

Theme 4 - Simulation et optimisation de systemes complexes - Projet MIAOUSIGLEAvailable from INIST (...

Etude et simulation d'un schema de reservation de bande passante dans les reseaux ad-hoc

Boudjit, Saadi
Institut National de Recherche en Informatique et en Automatique (INRIA), 78 - Rocquencourt (France). Unite de Recherche de Rocquencourt

January 2001

Theme 1 - Reseaux et systemes - Projet HipercomSIGLEAvailable from INIST (FR), Document Supply Servi...

Variables d'induction generalisees pour l'analyse par instances de programmes recursifs

Amiranoff, Pierre
Cohen, Albert
Feautrier, Paul
Institut National de Recherche en Informatique et en Automatique (INRIA), 78 - Rocquencourt (France). Unite de Recherche de Rocquencourt

January 2001

Theme 1 - Reseaux et systemes - Projet A3Available from INIST (FR), Document Supply Service, under s...

Accessibilite interregionale : theorie et exemple d'application a l'echelle europeenne

Chatelus, Gautier
Institut National de Recherche sur les Transports et leur Securite (INRETS), 94 - Arcueil (France)

January 1997

Available from INIST (FR), Document Supply Service, under shelf-number : 21083, issue : a.1997 n.217...

Sensibilite de mesures transitoires instantanees des systemes informatiques hautement fiables

Hamza, Moulaye
Abdallah, Haiscam
Institut National des Sciences Appliquees de Rennes (INSA), 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Institut National de Recherche en Informatique et en Automatique (INRIA), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Rennes-1 Univ., 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Centre National de la Recherche Scientifique (CNRS), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)

January 1999

Theme 1 - Reseaux et systemes. Projet ModelSIGLEAvailable from INIST (FR), Document Supply Service, ...

Une generalisation logique de l'analyse de concepts formels

Ridoux, Olivier
Ferre, Sebastien
Institut National des Sciences Appliquees de Rennes (INSA), 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Rennes-1 Univ., 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Institut National de Recherche en Informatique et en Automatique (INRIA), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Centre National de la Recherche Scientifique (CNRS), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)

January 1999

Theme 2 - Genie logiciel et calcul symbolique - Projet LandeAvailable from INIST (FR), Document Supp...

Minimal size of piggybacked information for tracking causality A gragh-based characterization

Helary, Jean-Michel
Melideo, Giovanna
Centre National de la Recherche Scientifique (CNRS), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Rennes-1 Univ., 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Institut National des Sciences Appliquees de Rennes (INSA), 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Institut National de Recherche en Informatique et en Automatique (INRIA), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)

January 2000

Theme 1 - Reseaux et systemes - Projet ADPSIGLEAvailable from INIST (FR), Document Supply Service, u...

A simplified account of region inference

Abstract

Extracted data

Topics

A simplified account of region inference

Abstract

Extracted data

Topics

Related items

Related items