2138 search results - page 232 / 428 » Logical Step-Indexed Logical Relations |
169
click to vote
PPDP
2009
Springer
16 years 1 months ago
2009
Springer
This paper describes the encoding of a telecommunications feature subscription configuration problem to propositional logic and its solution using a state-of-the-art Boolean sati...
170
click to vote
SARA
2007
Springer
16 years 21 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 17 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...
155
click to vote
ICPP
2005
IEEE
16 years 5 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 1 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...