145
Voted
CBMS
2001
IEEE
15 years 7 months ago
2001
IEEE
Knowledge discovery and data correlation require a unified approach to basic data management. However, achieving such an approach is nearly impossible with hundreds of disparate d...
146
Voted
COCOON
2010
Springer
15 years 7 months ago
2010
Springer
Given a set of n strings of length L and a radius d, the closest string problem (CSP for short) asks for a string tsol that is within a Hamming distance of d to each of the given ...
87
Voted
BIRTHDAY
2003
Springer
15 years 7 months ago
2003
Springer
150
click to vote
CAV
2001
Springer
15 years 7 months ago
2001
Springer
We consider the randomized consensus protocol of Aspnes and Herlihy for achieving agreement among N asynchronous processes that communicate via read/write shared registers. The alg...
129
click to vote
CAV
2001
Springer
15 years 7 months ago
2001
Springer
In this paper we present the application of generalized retiming for temporal property checking. Retiming is a structural transformation that relocates registers in a circuit-based...