Marking optimization and parallelism of marked graphs - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Rapport Année : 1993

Marking optimization and parallelism of marked graphs

Résumé

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.

Domaines

Autre [cs.OH]
Fichier principal
Vignette du fichier
RR-2049.pdf (320.05 Ko) Télécharger le fichier

Dates et versions

inria-00074623 , version 1 (24-05-2006)

Identifiants

  • HAL Id : inria-00074623 , version 1

Citer

M. Canales, Bruno Gaujal. Marking optimization and parallelism of marked graphs. RR-2049, INRIA. 1993. ⟨inria-00074623⟩
43 Consultations
86 Téléchargements

Partager

Gmail Facebook X LinkedIn More