Cohérence de copies multiples avec latence de détection d'erreur et test fonctionnel de micro-processeurs

Carlos Postigo (1)

1 IMAG - Institut d'Informatique et de Mathématiques Appliquées de Grenoble

Modification d'algorithmes classiques utilises dans le maintien de la cohérence de copies multiples en vue de prendre en compte une latence de détection de faute. Bref parallèle des algorithmes modifies de Kaneko et Herran et Verjus. Réalisation d'une nouvelle classification de pannes.

Mots clés: cohérence; copie-multiples; systèmes répartis; latence-de-détection; test; test-fonctionnel; test-hors-ligne; machine de test

Domaines: Modélisation et simulation

Carlos Postigo. Cohérence de copies multiples avec latence de détection d'erreur et test fonctionnel de micro-processeurs. Modélisation et simulation. Institut National Polytechnique de Grenoble - INPG, 1983. Français. ⟨NNT : ⟩. ⟨tel-00308492⟩