1002 search results - page 169 / 201 » Towards Graph Programs for Graph Algorithms |
109
click to vote
LATIN
2010
Springer
15 years 7 months ago
2010
Springer
In this paper, we consider Steiner forest and its generalizations, prize-collecting Steiner forest and k-Steiner forest, when the vertices of the input graph are points in the Euc...
128
click to vote
PDP
2002
IEEE
15 years 6 months ago
2002
IEEE
Despite the explosive new interest in Distributed Computing, bringing software — particularly legacy software — to parallel platforms remains a daunting task. The Self Distrib...
123
click to vote
IEEEPACT
1999
IEEE
15 years 6 months ago
1999
IEEE
This paper presents the Cameron Project 1 , which aims to provide a high level, algorithmic language and optimizing compiler for the development of image processing applications o...
CAV
2010
Springer
15 years 5 months ago
2010
Springer
We present the algorithms used in MCVETO (Machine-Code VErification TOol), a tool to check whether a stripped machinecode program satisfies a safety property. The verification p...
100
click to vote
ASPDAC
2008
ACM
15 years 4 months ago
2008
ACM
In this paper we present a mathematical programming formulation of the integer time budgeting problem for directed acyclic graphs. In particular, we formally prove that our constr...