1424 search results - page 75 / 285 » Improving on Version Stamps |
182
click to vote
HASKELL
2006
ACM
16 years 9 days ago
2006
ACM
We introduce the new, improved version of the Haskell Equational Reasoning Assistant, which consists of an Ajax application for rewriting Haskell fragments in their context, and a...
164
click to vote
CIE
2005
Springer
15 years 12 months ago
2005
Springer
L APPROACH TO ABSTRACT ALGEBRA THIERRY COQUAND AND HENRI LOMBARDI Recent work in constructive mathematics show that Hilbert’s program works rge part of abstract algebra. Using in...
182
click to vote
HVC
2005
Springer
15 years 11 months ago
2005
Springer
This paper presents a dynamic program analysis algorithm that can detect deadlock potentials in a multi-threaded program by examining a single execution trace, obtained by running ...
154
click to vote
ANTS
2004
Springer
15 years 11 months ago
2004
Springer
The binary algorithm is a variant of the Euclidean algorithm that performs well in practice. We present a quasi-linear time recursive algorithm that computes the greatest common di...
139
click to vote
CPAIOR
2004
Springer
15 years 11 months ago
2004
Springer
So far, edge-finding is the only one major filtering algorithm for unary resource constraint with time complexity O(n log n). This paper proposes O(n log n) versions of another t...