Efficient chip signature checking for diagnosing boundary scan systems

L'injection de fautes : une technique de validation de la securite des systemes electroniques complexes

Vigneron, C.
Institut National de Recherche et de Securite (INRS), 75 - Paris (France)

January 1997

SIGLEAvailable from INIST (FR), Document Supply Service, under shelf-number : 18477, issue : a.1997 ...

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

Techniques symboliques pour l'analyse statique et la verification des systemes

January 1996

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

La signature radar des objets de revolution en calcul scientifique

Stupfel, B.
Scheurer, B.
Le Martret, R.
Bonnemason, P.
CEA Centre d'Etudes de Limeil-Valenton, 94 - Villeneuve-Saint-Georges (France). Service Mathematiques et Codes Numeriques

January 1990

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

Amelioration de la methode de detection DTVG appliquee aux aciers moules austenoferritiques

Francois, D.
Electricite de France (EDF), 91 - Clamart (France). Direction des Etudes et Recherches (DER)
Electricite de France (EDF), 93 - Saint-Denis (France). Dept. Retour d Experiences Mesures Essais (REME)

January 1996

SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : 26165 A, issue : a.1996 ...

Test sans contact des Circuits Integres CMOS: Observabilite et Controlbilite du Latchup par Microscopie Electronique a Balayage et Microscopie a Emissio

Dilmahomed Bocus, Sadeck

January 1992

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

Etude et conception d'un dispositif de detection de fines particules metalliques

Zaloylo, Guy

January 1992

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

Problematique de la detection des contours

Wrobel-Dautcourt, Brigitte
Ziou, Djemel
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 1991

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

Systeme de detection des decharges partielles en reseau pour transformateurs de mesure

Moreau, C.
Charpentier, X.
Electricite de France (EDF), 91 - Clamart (France). Direction des Etudes et Recherches (DER)
Electricite de France (EDF), 77 - Moret-sur-Loing (France). Dept. Lab. de Genie Electrique (LGE)

January 1996

SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : 26165 B, issue : a.1996 ...

Analyse et conception d'algorithmes de cryptographie et de codage des donnees

Girault, Marc

January 1991

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

Communication-based prevention of useless checkpoints in distributed computations

Helary, Jean-Michel
Mostefaoui, Archour
Raynal,= Michel
Netzer, Robert
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)
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)

January 1997

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

Analyse de signature et test en ligne integre sur silicium

Leveugle, Regis
Institut National Polytechnique de Grenoble (INPG), 38 (France)

January 1990

SIGLEINIST T 71049 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Detection de contours et restauration d'image par des algorithmes deterministes de relaxation. Mise en oeuvre sur la machine a connexions CM2

Zerubia, Josiane
Ployette, Florimond
Institut National de Recherche en Informatique et en Automatique (INRIA), 06 - Valbonne (France). Unite de Recherche de Sophia-Antipolis

January 1990

SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : 14802 E, issue : a.1990 ...

Test par faisceau d'electrons et analyse d'images: contribution au diagnostic automatique et assiste de pannes dans les circuits integres

Pierrel, Jean-Philippe

January 1992

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

Progress in edge detection

Salotti, Marc
Informatique et Mathematiques Appliquees de Grenoble (IMAG), 38 - Saint-Martin-d'Heres (France). Techniques de l'Imagerie, de la Modelisation et de la Cognition (TIMC)
Grenoble-1 Univ., 38 - Saint-Martin-d'Heres (France). Techniques de l'Imagerie, de la Modelisation et de la Cognition (TIMC)
Institut National Polytechnique de Grenoble (INPG), 38 - Saint-Martin-d'Heres (France). Techniques de l'Imagerie, de la Modelisation et de la Cognition (TIMC)

January 1993

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

L'injection de fautes : une technique de validation de la securite des systemes electroniques complexes

Vigneron, C.
Institut National de Recherche et de Securite (INRS), 75 - Paris (France)

January 1997

SIGLEAvailable from INIST (FR), Document Supply Service, under shelf-number : 18477, issue : a.1997 ...

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

Techniques symboliques pour l'analyse statique et la verification des systemes

January 1996

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

La signature radar des objets de revolution en calcul scientifique

Stupfel, B.
Scheurer, B.
Le Martret, R.
Bonnemason, P.
CEA Centre d'Etudes de Limeil-Valenton, 94 - Villeneuve-Saint-Georges (France). Service Mathematiques et Codes Numeriques

January 1990

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

Amelioration de la methode de detection DTVG appliquee aux aciers moules austenoferritiques

Francois, D.
Electricite de France (EDF), 91 - Clamart (France). Direction des Etudes et Recherches (DER)
Electricite de France (EDF), 93 - Saint-Denis (France). Dept. Retour d Experiences Mesures Essais (REME)

January 1996

SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : 26165 A, issue : a.1996 ...

Test sans contact des Circuits Integres CMOS: Observabilite et Controlbilite du Latchup par Microscopie Electronique a Balayage et Microscopie a Emissio

Dilmahomed Bocus, Sadeck

January 1992

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

Etude et conception d'un dispositif de detection de fines particules metalliques

Zaloylo, Guy

January 1992

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

Problematique de la detection des contours

Wrobel-Dautcourt, Brigitte
Ziou, Djemel
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 1991

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

Systeme de detection des decharges partielles en reseau pour transformateurs de mesure

Moreau, C.
Charpentier, X.
Electricite de France (EDF), 91 - Clamart (France). Direction des Etudes et Recherches (DER)
Electricite de France (EDF), 77 - Moret-sur-Loing (France). Dept. Lab. de Genie Electrique (LGE)

January 1996

SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : 26165 B, issue : a.1996 ...

Analyse et conception d'algorithmes de cryptographie et de codage des donnees

Girault, Marc

January 1991

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

Communication-based prevention of useless checkpoints in distributed computations

Helary, Jean-Michel
Mostefaoui, Archour
Raynal,= Michel
Netzer, Robert
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)
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)

January 1997

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

Analyse de signature et test en ligne integre sur silicium

Leveugle, Regis
Institut National Polytechnique de Grenoble (INPG), 38 (France)

January 1990

SIGLEINIST T 71049 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Detection de contours et restauration d'image par des algorithmes deterministes de relaxation. Mise en oeuvre sur la machine a connexions CM2

Zerubia, Josiane
Ployette, Florimond
Institut National de Recherche en Informatique et en Automatique (INRIA), 06 - Valbonne (France). Unite de Recherche de Sophia-Antipolis

January 1990

SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : 14802 E, issue : a.1990 ...

Test par faisceau d'electrons et analyse d'images: contribution au diagnostic automatique et assiste de pannes dans les circuits integres

Pierrel, Jean-Philippe

January 1992

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

Progress in edge detection

Salotti, Marc
Informatique et Mathematiques Appliquees de Grenoble (IMAG), 38 - Saint-Martin-d'Heres (France). Techniques de l'Imagerie, de la Modelisation et de la Cognition (TIMC)
Grenoble-1 Univ., 38 - Saint-Martin-d'Heres (France). Techniques de l'Imagerie, de la Modelisation et de la Cognition (TIMC)
Institut National Polytechnique de Grenoble (INPG), 38 - Saint-Martin-d'Heres (France). Techniques de l'Imagerie, de la Modelisation et de la Cognition (TIMC)

January 1993

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

L'injection de fautes : une technique de validation de la securite des systemes electroniques complexes

Vigneron, C.
Institut National de Recherche et de Securite (INRS), 75 - Paris (France)

January 1997

SIGLEAvailable from INIST (FR), Document Supply Service, under shelf-number : 18477, issue : a.1997 ...

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

Techniques symboliques pour l'analyse statique et la verification des systemes

January 1996

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

Efficient chip signature checking for diagnosing boundary scan systems

Abstract

Extracted data

Efficient chip signature checking for diagnosing boundary scan systems

Abstract

Extracted data

Related items

Related items