A step towards a formal framework for interoperability testing

Presentation des tests du rapport de vraisemblances, de Wald et des multiplicateurs de Lagrange

Baccini, Alain
Toulouse-3 Univ., 31 (France). Lab. de Statistiques et Probabilites
Centre National de la Recherche Scientifique (CNRS), 31 - Toulouse (France). Lab. de Statistiques et Probabilites

January 1989

SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : 22522, issue : a.1989 n....

Proposition d'une architecture pour l'experimentation de systemes distribues extensibles

Banatre, Michel
Muller, Gilles
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 1994

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

Test d'interconnexion optique

De Beaucoudrey, N.
Bellemain, A.
Tusera, A.
Fortin, D.
Clavel, P.
Phalippou, D.
Centre National de la Recherche Scientifique (CNRS), 91 - Orsay (France). Inst. d'Optique Theorique et appliquee
Institut National de Recherche en Informatique et en Automatique (INRIA), 78 - Rocquencourt (France). Unite de Recherche de Rocquencourt

January 1993

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

Interoperability testing vs verification

Benkhellat, Y.
Siebert, M.
Thomesse, J.P.
Centre National de la Recherche Scientifique (CNRS), 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Nancy-1 Univ., 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Nancy-2 Univ., 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Institut National Polytechnique de Lorraine (INPL), 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)

January 1993

SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : RP 12392 / INIST-CNRS - ...

Le test ET : test d'adequation d'un modele central a une queue de distribution

Diebolt, Jean
Garrido, Myriam
Girard, Stephane
Institut National de Recherche en Informatique et en Automatique (INRIA), 38 - Montbonnot-Saint-Martin (France). Unite de Recherche Rhone-Alpes

January 2001

Theme 4 - Simulation et optimisation de systemes complexes - Projet IS2Available from INIST (FR), Do...

Contribution au test integre deterministe: Structures de generation de vecteurs de test

Lew Yan Voon, Lew Fock Cho

January 1992

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

A versatile and modular consensus protocol

Mostefaoui, Achour
Rajsbaum, Sergio
Raynal, Michel
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 2001

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

A general framework to solve agreement problems

Tronel, Frederi
Hurfin, Michel
Macedo, Raimundo
Raynal, Michel
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 1999

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

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

Sensors and distributed systems interoperability criteria

Benkhellat, Yazid
Thomesse, Jean-Pierre
Siebert, Marc
Nancy-2 Univ., 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Institut National Polytechnique de Lorraine (INPL), 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Nancy-1 Univ., 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Centre National de la Recherche Scientifique (CNRS), 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)

January 1993

SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : RP 12409 / INIST-CNRS - ...

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

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

Distributing synchronous programs on a loosely synchronous, distributed architecture

Benveniste, Albert
Caspi, Paul
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 1999

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

Using conditions to expedite consensus in synchronous distributed systems

Mostefaoui, Achour
Rajsbaum, Sergio
Raynal, Michel
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 2003

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

Fault tolerant software architectures

Saridakis, Titos
Issarny, Valerie
Institut National de Recherche en Informatique et en Automatique (INRIA), 35 - Rennes (France). Unite de Recherche de Rennes

January 1998

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

Presentation des tests du rapport de vraisemblances, de Wald et des multiplicateurs de Lagrange

Baccini, Alain
Toulouse-3 Univ., 31 (France). Lab. de Statistiques et Probabilites
Centre National de la Recherche Scientifique (CNRS), 31 - Toulouse (France). Lab. de Statistiques et Probabilites

January 1989

SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : 22522, issue : a.1989 n....

Proposition d'une architecture pour l'experimentation de systemes distribues extensibles

Banatre, Michel
Muller, Gilles
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 1994

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

Test d'interconnexion optique

De Beaucoudrey, N.
Bellemain, A.
Tusera, A.
Fortin, D.
Clavel, P.
Phalippou, D.
Centre National de la Recherche Scientifique (CNRS), 91 - Orsay (France). Inst. d'Optique Theorique et appliquee
Institut National de Recherche en Informatique et en Automatique (INRIA), 78 - Rocquencourt (France). Unite de Recherche de Rocquencourt

January 1993

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

Interoperability testing vs verification

Benkhellat, Y.
Siebert, M.
Thomesse, J.P.
Centre National de la Recherche Scientifique (CNRS), 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Nancy-1 Univ., 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Nancy-2 Univ., 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Institut National Polytechnique de Lorraine (INPL), 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)

January 1993

SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : RP 12392 / INIST-CNRS - ...

Le test ET : test d'adequation d'un modele central a une queue de distribution

Diebolt, Jean
Garrido, Myriam
Girard, Stephane
Institut National de Recherche en Informatique et en Automatique (INRIA), 38 - Montbonnot-Saint-Martin (France). Unite de Recherche Rhone-Alpes

January 2001

Theme 4 - Simulation et optimisation de systemes complexes - Projet IS2Available from INIST (FR), Do...

Contribution au test integre deterministe: Structures de generation de vecteurs de test

Lew Yan Voon, Lew Fock Cho

January 1992

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

A versatile and modular consensus protocol

Mostefaoui, Achour
Rajsbaum, Sergio
Raynal, Michel
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 2001

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

A general framework to solve agreement problems

Tronel, Frederi
Hurfin, Michel
Macedo, Raimundo
Raynal, Michel
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 1999

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

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

Sensors and distributed systems interoperability criteria

Benkhellat, Yazid
Thomesse, Jean-Pierre
Siebert, Marc
Nancy-2 Univ., 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Institut National Polytechnique de Lorraine (INPL), 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Nancy-1 Univ., 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Centre National de la Recherche Scientifique (CNRS), 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)

January 1993

SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : RP 12409 / INIST-CNRS - ...

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

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

Distributing synchronous programs on a loosely synchronous, distributed architecture

Benveniste, Albert
Caspi, Paul
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 1999

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

Using conditions to expedite consensus in synchronous distributed systems

Mostefaoui, Achour
Rajsbaum, Sergio
Raynal, Michel
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 2003

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

Fault tolerant software architectures

Saridakis, Titos
Issarny, Valerie
Institut National de Recherche en Informatique et en Automatique (INRIA), 35 - Rennes (France). Unite de Recherche de Rennes

January 1998

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

Presentation des tests du rapport de vraisemblances, de Wald et des multiplicateurs de Lagrange

Baccini, Alain
Toulouse-3 Univ., 31 (France). Lab. de Statistiques et Probabilites
Centre National de la Recherche Scientifique (CNRS), 31 - Toulouse (France). Lab. de Statistiques et Probabilites

January 1989

SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : 22522, issue : a.1989 n....

Proposition d'une architecture pour l'experimentation de systemes distribues extensibles

Banatre, Michel
Muller, Gilles
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 1994

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

Test d'interconnexion optique

De Beaucoudrey, N.
Bellemain, A.
Tusera, A.
Fortin, D.
Clavel, P.
Phalippou, D.
Centre National de la Recherche Scientifique (CNRS), 91 - Orsay (France). Inst. d'Optique Theorique et appliquee
Institut National de Recherche en Informatique et en Automatique (INRIA), 78 - Rocquencourt (France). Unite de Recherche de Rocquencourt

January 1993

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

A step towards a formal framework for interoperability testing

Abstract

Extracted data

A step towards a formal framework for interoperability testing

Abstract

Extracted data

Related items

Related items