Sciweavers

133 search results - page 1 / 27
» DIJKSTRA
Sort
View
PROCOMET
1998
13 years 6 months ago
An extension of the program derivation format
A convention is proposed for embedding program statements into Dijkstra's calculus, with the aim of simplifying the stepwise construction of programs.
A. J. M. van Gasteren, A. Bijlsma
FLOPS
2006
Springer
13 years 8 months ago
Ruler: Programming Type Rules
Atze Dijkstra, S. Doaitse Swierstra

Publication
2630views
15 years 3 months ago
DIJKSTRA’S and Fast Marching Method for Optimal Path Planning
This technical report illustrates the differences in solving the optimal path problem (shortest path) using different methods, where the underlying PDE can be described by the eik...
RYO TAKEI
IPPS
2009
IEEE
13 years 11 months ago
Early experiences on accelerating Dijkstra's algorithm using transactional memory
In this paper we use Dijkstra’s algorithm as a challenging, hard to parallelize paradigm to test the efficacy of several parallelization techniques in a multicore architecture....
Nikos Anastopoulos, Konstantinos Nikas, Georgios I...
ICPP
2009
IEEE
13 years 2 months ago
Employing Transactional Memory and Helper Threads to Speedup Dijkstra's Algorithm
In this paper we work on the parallelization of the inherently serial Dijkstra's algorithm on modern multicore platforms. Dijkstra's algorithm is a greedy algorithm that ...
Konstantinos Nikas, Nikos Anastopoulos, Georgios I...