Marking optimization and parallelism of marked graphs - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Reports Year : 1993

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.

Domains

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

Dates and versions

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

Identifiers

  • HAL Id : inria-00074623 , version 1

Cite

M. Canales, Bruno Gaujal. Marking optimization and parallelism of marked graphs. RR-2049, INRIA. 1993. ⟨inria-00074623⟩
40 View
84 Download

Share

Gmail Facebook X LinkedIn More