1133 search results - page 29 / 227 » Local Logics for Traces |
104
Voted
SODA
2004
ACM
15 years 2 months ago
2004
ACM
We are given a collection of m random subsequences (traces) of a string t of length n where each trace is obtained by deleting each bit in the string with probability q. Our goal ...
107
Voted
CADE
1998
Springer
15 years 4 months ago
1998
Springer
The CRIL multi-strategy platform for SAT includes a whole family of local search techniques and some of the best Davis and Putnam strategies for checking propositional satis abilit...
112
Voted
LOPSTR
2005
Springer
15 years 6 months ago
2005
Springer
A variable is local if it occurs in a clause body but not in its head. Local variables appear naturally in practical logic programming, but they complicate several aspects such as ...
110
click to vote
IWMM
2009
Springer
15 years 7 months ago
2009
Springer
Tracing algorithms visit reachable nodes in a graph and are central to activities such as garbage collection, marshalling etc. Traditional sequential algorithms use a worklist, re...
81
Voted
ACSAC
2004
IEEE
15 years 4 months ago
2004
IEEE
In most existing systems, the authorization check for system resource access is based on the user ID of the running processes. Such systems are vulnerable to password stealing/cra...