Systematic building of a distributed recursive algorithm : example : the shortest path algorithm - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Reports (Research Report) Year : 1993

Systematic building of a distributed recursive algorithm : example : the shortest path algorithm

G. Florin
  • Function : Author
R. Gomez
  • Function : Author
Ivan Lavallee
  • Function : Author

Abstract

Designers of distributed algorithms must deal with a variety of issues including sequential algorithms design, communication protocols, fault tolerance. The distributed design must also include a proof step of the whole algorithm features. This paper gives a new scheme for the design of distributed algorithms. In this approach the design step is performed simultaneously with the proof step. Our distributed design method is mainly based upon parallel recursive schemes, but recursivity is used in a distributed environment so we use two existing and widely available tools : remote procedure call and the PAR instruction parallel execution of threads.

Domains

Other [cs.OH]
Fichier principal
Vignette du fichier
RR-1902.pdf (1.06 Mo) Télécharger le fichier

Dates and versions

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

Identifiers

  • HAL Id : inria-00074770 , version 1

Cite

G. Florin, R. Gomez, Ivan Lavallee. Systematic building of a distributed recursive algorithm : example : the shortest path algorithm. [Research Report] RR-1902, INRIA. 1993. ⟨inria-00074770⟩
53 View
19 Download

Share

Gmail Facebook Twitter LinkedIn More