Verification of regular architectures using ALPHA: a case study - Université de Bretagne Occidentale Accéder directement au contenu
Communication Dans Un Congrès Année : 1994

Verification of regular architectures using ALPHA: a case study

C. Dezan
Université de Brest
CV
P. Quinton
  • Fonction : Auteur
ARCHITECTURE

Domaines

Architectures Matérielles [cs.AR] Calcul parallèle, distribué et partagé [cs.DC]

Catherine Dezan  : Connectez-vous pour contacter le contributeur

https://hal.univ-brest.fr/hal-01862756

Soumis le : lundi 27 août 2018-16:45:23

Dernière modification le : vendredi 24 mars 2023-14:53:08

Consulter le texte intégral

Dates et versions

hal-01862756 , version 1 (27-08-2018)

Identifiants

Citer

C. Dezan, P. Quinton. Verification of regular architectures using ALPHA: a case study. IEEE International Conference on Application Specific Array Processors (ASAP'94), Aug 1994, San Francisco, France. ⟨10.1109/ASAP.1994.331806⟩. ⟨hal-01862756⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-BREST INSTITUT-TELECOM EC-PARIS UNIV-RENNES1 CNRS INRIA INSA-RENNES IRISA UR1-MATH-STIC UR1-UFR-ISTIC UNIV-RENNES INSA-GROUPE UR1-MATH-NUM
52 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More