Advanced modelling and verification techniques applied to a cluster file system

Modelisation et validation des systemes de production par les reseaux de Petri colores

Guebla, Abdallah
Institut National des Sciences Appliquees (INSA), 69 - Villeurbanne (France)

January 1991

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

Sensibilite de l'esperance de la recompense cumulee des modeles markoviens raides

Abdallah, Haiscam
Hamza, Moulaye
Institut National de Recherche en Informatique et en Automatique (INRIA), 35 - Rennes (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)
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 2000

Theme 4 - Simulation et optimisation de systemes complexes - Projet Aladin et ArmorAvailable from IN...

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...

Using on-the-fly verification techniques for the generation of test suites

Fernandez, Jean-Claude
Jard, Claude
Jeron, Thierry
Nedelka, Laurence
Viho, Cesar
Institut National de Recherche en Informatique et en Automatique (INRIA), 38 - Grenoble (France). Unite de Recherche Rhone-Alpes

January 1996

Theme 1 - Reseaux et systemes - Projet Pampa et SpectreSIGLEAvailable at INIST (FR), Document Supply...

Methodes de verification de specifications comportementales: etude et mise en oeuvre

Mounier, Laurent

January 1992

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

Parallelisation d'une combinaison des methodes de Monte Carlo et quasi-Monte Carlo et application aux reseaux de files d'attente

Le Ny, Louis-Marie
Tuffin, Bruno
Institut National de Recherche en Informatique et en Automatique (INRIA), 35 - Rennes (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)
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 1997

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

Application de techniques formelles de verification a des programmes ESTEREL de taille reelle

De Simone, Robert
Association pour la Recherche et le Developpement des Processus Industriels de l'Ecole des Mines (ARMINES), 91 - Evry (France)

January 1993

Available from INIST (FR), Document Supply Service, under shelf-number : AR 15756 / INIST-CNRS - Ins...

Validation du modele de gestion d'interconnexion de commutateurs a l'aide de systemes de transitions etiquetees

Nataf, Emmanuel
Festor, Olivier
Schaff, Andre
Institut National de Recherche en Informatique et en Automatique (INRIA), 54 - Villers-les-Nancy (France). Unite de Recherche de Lorraine

January 1996

Programme 1 - Architectures paralleles, bases de donnees, reseaux et systemes distribues - Projet RE...

Methodes de verification de bases de connaissances

Lafon, Philippe
Ecole Nationale des Ponts et Chaussees (ENPC), 75 - Paris (France)

January 1991

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

Containers : an architecture for an efficient cluster operating system

Vallee, Geoffroy
Morin, Christine
Lottiaux, Renaud
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)
Institut National de Recherche en Informatique et en Automatique (INRIA), 35 - Rennes (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 2002

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

Utilisation de processus legers pour l'execution de programmes a parallelisme de donnees : etude experimentale

Perez, Christian
Institut National de Recherche en Informatique et en Automatique (INRIA), 38 - Grenoble (France). Unite de Recherche Rhone-Alpes

January 1996

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

A file system based on concept analysis

Ferre, Sebastien
Ridoux, Olivier
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 2 - Genie logiciel et calcul symbolique - Projet LandeSIGLEAvailable from INIST (FR), Document...

Towards an efficient single system image cluster operating system

Morin, Christine
Gallard, Pascal
Vallee, Geoffroy
Lottiaux, Renaud
Institut National de Recherche en Informatique et en Automatique (INRIA), 35 - Rennes (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)
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 2003

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

Modelisation et validation d'applications temps reel distribuees

Nassor, Eric

January 1992

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

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, ...

Modelisation et validation des systemes de production par les reseaux de Petri colores

Guebla, Abdallah
Institut National des Sciences Appliquees (INSA), 69 - Villeurbanne (France)

January 1991

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

Sensibilite de l'esperance de la recompense cumulee des modeles markoviens raides

Abdallah, Haiscam
Hamza, Moulaye
Institut National de Recherche en Informatique et en Automatique (INRIA), 35 - Rennes (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)
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 2000

Theme 4 - Simulation et optimisation de systemes complexes - Projet Aladin et ArmorAvailable from IN...

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...

Using on-the-fly verification techniques for the generation of test suites

Fernandez, Jean-Claude
Jard, Claude
Jeron, Thierry
Nedelka, Laurence
Viho, Cesar
Institut National de Recherche en Informatique et en Automatique (INRIA), 38 - Grenoble (France). Unite de Recherche Rhone-Alpes

January 1996

Theme 1 - Reseaux et systemes - Projet Pampa et SpectreSIGLEAvailable at INIST (FR), Document Supply...

Methodes de verification de specifications comportementales: etude et mise en oeuvre

Mounier, Laurent

January 1992

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

Parallelisation d'une combinaison des methodes de Monte Carlo et quasi-Monte Carlo et application aux reseaux de files d'attente

Le Ny, Louis-Marie
Tuffin, Bruno
Institut National de Recherche en Informatique et en Automatique (INRIA), 35 - Rennes (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)
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 1997

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

Application de techniques formelles de verification a des programmes ESTEREL de taille reelle

De Simone, Robert
Association pour la Recherche et le Developpement des Processus Industriels de l'Ecole des Mines (ARMINES), 91 - Evry (France)

January 1993

Available from INIST (FR), Document Supply Service, under shelf-number : AR 15756 / INIST-CNRS - Ins...

Validation du modele de gestion d'interconnexion de commutateurs a l'aide de systemes de transitions etiquetees

Nataf, Emmanuel
Festor, Olivier
Schaff, Andre
Institut National de Recherche en Informatique et en Automatique (INRIA), 54 - Villers-les-Nancy (France). Unite de Recherche de Lorraine

January 1996

Programme 1 - Architectures paralleles, bases de donnees, reseaux et systemes distribues - Projet RE...

Methodes de verification de bases de connaissances

Lafon, Philippe
Ecole Nationale des Ponts et Chaussees (ENPC), 75 - Paris (France)

January 1991

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

Containers : an architecture for an efficient cluster operating system

Vallee, Geoffroy
Morin, Christine
Lottiaux, Renaud
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)
Institut National de Recherche en Informatique et en Automatique (INRIA), 35 - Rennes (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 2002

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

Utilisation de processus legers pour l'execution de programmes a parallelisme de donnees : etude experimentale

Perez, Christian
Institut National de Recherche en Informatique et en Automatique (INRIA), 38 - Grenoble (France). Unite de Recherche Rhone-Alpes

January 1996

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

A file system based on concept analysis

Ferre, Sebastien
Ridoux, Olivier
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 2 - Genie logiciel et calcul symbolique - Projet LandeSIGLEAvailable from INIST (FR), Document...

Towards an efficient single system image cluster operating system

Morin, Christine
Gallard, Pascal
Vallee, Geoffroy
Lottiaux, Renaud
Institut National de Recherche en Informatique et en Automatique (INRIA), 35 - Rennes (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)
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 2003

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

Modelisation et validation d'applications temps reel distribuees

Nassor, Eric

January 1992

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

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, ...

Modelisation et validation des systemes de production par les reseaux de Petri colores

Guebla, Abdallah
Institut National des Sciences Appliquees (INSA), 69 - Villeurbanne (France)

January 1991

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

Sensibilite de l'esperance de la recompense cumulee des modeles markoviens raides

Abdallah, Haiscam
Hamza, Moulaye
Institut National de Recherche en Informatique et en Automatique (INRIA), 35 - Rennes (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)
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 2000

Theme 4 - Simulation et optimisation de systemes complexes - Projet Aladin et ArmorAvailable from IN...

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...

Advanced modelling and verification techniques applied to a cluster file system

Abstract

Extracted data

Advanced modelling and verification techniques applied to a cluster file system

Abstract

Extracted data

Related items

Related items