2432 search results - page 283 / 487 » Cryptographic logical relations |
170
click to vote
SARA
2007
Springer
16 years 22 days ago
2007
Springer
Relational databases have had great industrial success in computer science. The power of the paradigm is made clear both by its widespread adoption and by theoretical analysis. Tod...
202
click to vote
ACL2
2006
ACM
16 years 18 days ago
2006
ACM
Several users have had problems using equivalence-based rewriting in ACL2 because the ACL2 rewriter caches its results. We describe this problem in some detail, together with a pa...
156
click to vote
ICPP
2005
IEEE
16 years 6 days ago
2005
IEEE
Automatic pattern search in event traces is a powerful method to identify performance problems in parallel applications. We demonstrate that knowledge about the virtual topology, ...
184
click to vote
TACAS
2005
Springer
16 years 2 days ago
2005
Springer
Abstract. Symmetry reduction is a technique to combat the state explosion problem in temporal logic model checking. Its use with symbolic representation has suffered from the proh...
161
click to vote
CP
2004
Springer
16 years 9 hour ago
2004
Springer
Abstract. We present a cooperation technique using an accurate management of nogoods to solve a hard real-time problem which consists in assigning periodic tasks to processors in t...