Formal methods for solving the algebraic path problem - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 1993

Formal methods for solving the algebraic path problem

Alain Darte
Laboratoire de l'Informatique du Parallélisme
Tanguy Risset
Laboratoire de l'Informatique du Parallélisme
Parallel VLSI Architectures
Yves Robert
Laboratoire de l'Informatique du Parallélisme

Résumé

no abstract

Domaines

Calcul parallèle, distribué et partagé [cs.DC]

Equipe Roma  : Connectez-vous pour contacter le contributeur

https://inria.hal.science/hal-00857078

Soumis le : lundi 2 septembre 2013-17:54:21

Dernière modification le : jeudi 11 mai 2023-11:56:10

Fichier non déposé

Dates et versions

hal-00857078 , version 1 (02-09-2013)

Identifiants

  • HAL Id : hal-00857078 , version 1

Citer

Alain Darte, Tanguy Risset, Yves Robert. Formal methods for solving the algebraic path problem. Application-driven architecture synthesis, 1993, Unknown, pp.47-69. ⟨hal-00857078⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

ENS-LYON EC-PARIS UNIV-RENNES1 CNRS INRIA UNIV-LYON1 INSA-RENNES IRISA INRIA2 UR1-MATH-STIC UR1-UFR-ISTIC UNIV-RENNES INSA-GROUPE UDL UR1-MATH-NUM
124 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More