4743 search results - page 110 / 949 » The PlusCal Algorithm Language |
105
click to vote
ICALP
1995
Springer
15 years 6 months ago
1995
Springer
We consider the problem of preprocessing an n-vertex digraph with real edge weights so that subsequent queries for the shortest path or distance between any two vertices can be ef...
118
click to vote
PLDI
1995
ACM
15 years 5 months ago
1995
ACM
We present a flow-sensitive interprocedural constant propagation algorithm, which sttpports recursion while only performing one flow-sensitive analysis of each procedure. We prese...
99
Voted
ESOP
2008
Springer
15 years 4 months ago
2008
Springer
We present a polynomial-time algorithm which at the extra cost of a factor O(k) (k the number of variables) generalizes inter-procedural copy constant propagation. Our algorithm in...
141
click to vote
COMPGEOM
2011
ACM
14 years 6 months ago
2011
ACM
In this paper, we present the first output-sensitive algorithm to compute the persistence diagram of a filtered simplicial complex. For any Γ > 0, it returns only those homo...
109
click to vote
CORR
2008
Springer
15 years 2 months ago
2008
Springer
Although a deterministic polytime algorithm for primality testing is now known ([4]), the Rabin-Miller randomized test of primality continues being the most efficient and widely u...