26 search results - page 1 / 6 » Cache-Friendly implementations of transitive closure |
JEA
2006
13 years 5 months ago
2006
In this paper we show cache-friendly implementations of the Floyd-Warshall algorithm for the All-Pairs ShortestPath problem. We first compare the best commercial compiler optimiza...
IPPS
2002
IEEE
13 years 10 months ago
2002
IEEE
Tiling has long been used to improve cache performance. Recursion has recently been used as a cache-oblivious method of improving cache performance. Both of these techniques are n...
VLDB
1993
ACM
13 years 9 months ago
1993
ACM
SARA
2009
Springer
13 years 12 months ago
2009
Springer
We present algorithms for testing the satisfiability and finding the tightened transitive closure of conjunctions of addition constraints of the form ±x ± y ≤ d and bound co...
TACAS
2009
Springer
14 years 2 days ago
2009
Springer
Abstract. In this paper we prove that the transitive closure of a nondeterministic octagonal relation using integer counters can be expressed in Presburger arithmetic. The direct c...