4513 search results - page 372 / 903 » Logic programming with satisfiability |
123
click to vote
IJCAI
1989
15 years 6 months ago
1989
Fold-unfold is a well known program transformation technique. Its major drawback is that folding requires an Eureka step to invent new procedures. In the context of logic programm...
110
click to vote
ESOP
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. Multithreaded programs are prone to errors caused by unintended interference between concurrent threads. This paper focuses on verifying that deterministically-parallel c...
153
click to vote
CISS
2008
IEEE
15 years 11 months ago
2008
IEEE
Recent advancement in peer-to-peer (P2P) technologies has enabled a wide range of new applications. In this paper, we present mixed integer programming (MIP) formulations to analy...
135
click to vote
SEFM
2007
IEEE
15 years 11 months ago
2007
IEEE
of abstract interpretations in formal methods It is always very satisfying to hear about a theory, in the case at hand it is the theory of abstract interpretations, that explains i...
129
click to vote
COMPSAC
2002
IEEE
15 years 9 months ago
2002
IEEE
Program and system comprehension are vital parts of the software maintenance process. We discuss the need for both perspectives and describe two methods that may be integrated to ...