40 search results - page 6 / 8 » Implementing a Direct Method for Certificate Translation |
CAV
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. STP is a decision procedure for the satisfiability of quantifier-free formulas in the theory of bit-vectors and arrays that has been optimized for large problems encoun...
103
click to vote
CP
2001
Springer
15 years 4 months ago
2001
Springer
Non-binary constraint satisfaction problems (CSPs) can be solved in two different ways. We can either translate the problem into an equivalent binary one and solve it using well-e...
116
click to vote
APCSAC
2001
IEEE
15 years 3 months ago
2001
IEEE
Java bytecodes can be executed with the following three methods: a Java interpretor running on a particular machine interprets bytecodes; a Just-In-Time (JIT) compiler translates ...
TIP
2008
14 years 11 months ago
2008
Abstract--A new grid conversion method is proposed to resample between two 2-D periodic lattices with the same sampling density. The main feature of our approach is the symmetric r...
OOPSLA
2010
Springer
14 years 10 months ago
2010
Springer
Given a high-level specification and a low-level programming language, our goal is to automatically synthesize an efficient program that meets the specification. In this paper,...