4491 search results - page 166 / 899 » Algorithm Engineering |
148
click to vote
AMAST
2004
Springer
15 years 5 months ago
2004
Springer
Distributed groupware systems consist of a group of users manipulating a shared object (like a text document, a filesystem, etc). Operational Transformation (OT) algorithms are app...
FATES
2006
Springer
15 years 5 months ago
2006
Springer
We present a new lockset-based algorithm, Goldilocks, for precisely computing the happens-before relation and thereby detecting data-races at runtime. Dynamic race detection algori...
100
click to vote
SIGSOFT
2009
ACM
16 years 2 months ago
2009
ACM
Initial system specifications, such as use-case scenarios and properties, only partially specify the future system. We posit that synthesizing partial component-level behavior mod...
104
click to vote
STOC
2004
ACM
16 years 2 months ago
2004
ACM
The complexity of testing properties of monotone and unimodal distributions, when given access only to samples of the distribution, is investigated. Two kinds of sublineartime alg...
134
Voted
KDD
2008
ACM
16 years 2 months ago
2008
ACM
Traditional association mining algorithms use a strict definition of support that requires every item in a frequent itemset to occur in each supporting transaction. In real-life d...