Parallel algorithms for the single source shortest path problem

DOI10.1007/BF02254849MaRDI QIDQ1162156zbMATH OpenOpenAlexFDO

Authors Prabhaker Mateti, Narsingh Deo

Publication date 1982

Published in Computing (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/bf02254849

zbMATH Keywords

graph algorithmsparallelizationcorrectness proofsdesign principlesarray processorsMIMD machinesnetwork of processorsmultiple-instruction multiple-data stream machines

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Graph theory (including graph drawing) in computer science (68R10) Paths and cycles (05C38) Specification and verification (program logics, model checking, etc.) (68Q60) Algorithms in computer science (68W99) Theory of operating systems (68N25)

Cites work

• scientific article; zbMATH DE number 3643026 (Why is no real title available?)
• scientific article; zbMATH DE number 3690676 (Why is no real title available?)
• scientific article; zbMATH DE number 3696469 (Why is no real title available?)
• scientific article; zbMATH DE number 3635515 (Why is no real title available?)
• scientific article; zbMATH DE number 3446921 (Why is no real title available?)
• A New Approach to Proving the Correctness of Multiprocess Programs
• A Note on Dijkstra's Shortest Path Algorithm
• A note on two problems in connexion with graphs
• A parallel algorithm for constructing minimum spanning trees
• Algorithm 562: Shortest Path Lengths [H]
• Computing connected components on parallel computers
• Formal verification of parallel programs
• Parallel Computations in Graph Theory
• Shortest-path algorithms: Taxonomy and annotation
• The temporal semantics of concurrent programs
• Verifying properties of parallel programs

Cited in

(3)

• Parallel algorithm for analysing activity networks on a tree-structured computer
• Prallel algorithms for analyzing activity networks
• Algorithms for some graph problems on a distributed computational model

This page was built for publication: Parallel algorithms for the single source shortest path problem

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1162156)