Marking optimization and parallelism of marked graphs

Abstract : The aim of the paper is to provide a formalization of the notion of parallelism of a marked graph exploitable by parallel simulation. We show that there exists an optimal starting point for equational simulations which gives a speed of simulation in the order of the intrinsic sequentiality of the system. Furthermore, under few assumptions, the modification of the marking will accelerate the simulation without altering its results for the stationary regime. We also derive algorithms to compute this optimal marking.
Type de document :
Rapport
RR-2049, INRIA. 1993
Liste complète des métadonnées

https://hal.inria.fr/inria-00074623
Contributeur : Rapport de Recherche Inria <>
Soumis le : mercredi 24 mai 2006 - 15:55:49
Dernière modification le : samedi 27 janvier 2018 - 01:31:02
Document(s) archivé(s) le : dimanche 4 avril 2010 - 22:21:03

Fichiers

Identifiants

  • HAL Id : inria-00074623, version 1

Collections

Citation

M. Canales, Bruno Gaujal. Marking optimization and parallelism of marked graphs. RR-2049, INRIA. 1993. 〈inria-00074623〉

Partager

Métriques

Consultations de la notice

92

Téléchargements de fichiers

107