SPIKEpar : une interface parallèle du démonstrateur automatique SPIKE - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 1998

SPIKEpar : une interface parallèle du démonstrateur automatique SPIKE

Abstract

Nous décrivons une interface parallèle pour le démonstrateur automatique SPIKE telle qu'elle est mise en oeuvre sur un réseau de stations de travail monoprocesseur. l'approche maître-esclave abordée pour paralléliser le calcul symbolique lié aux preuves mécaniques par récurrence permet de partager la quantité de travail entre les processeurs selon le modèle de parallélisation de type ET, conforme à la stratégie. Un processus SPIKE effectue des calculs à gros grain au niveau des clauses.
Fichier principal
Vignette du fichier
98-R-138.pdf (152.78 Ko) Télécharger le fichier

Dates and versions

inria-00098701 , version 1 (26-09-2006)

Identifiers

  • HAL Id : inria-00098701 , version 1

Cite

Sorin Stratulat. SPIKEpar : une interface parallèle du démonstrateur automatique SPIKE. RENPAR'10 : Rencontres Francophones du Parallélisme des Architectures et des Systèmes, 1998, Strasbourg, France, pp.210-213. ⟨inria-00098701⟩
76 View
26 Download

Share

Gmail Facebook Twitter LinkedIn More