53 search results - page 4 / 11 » Automatically Exploiting Subproblem Equivalence in Constrain... |
79
Voted
JFP
2002
14 years 9 months ago
2002
We systematically develop a functional program that solves the countdown problem, a numbers game in which the aim is to construct arithmetic expressions satisfying certain constra...
ISSTA
2004
ACM
15 years 2 months ago
2004
ACM
Constraints in predicate or relational logic can be translated into boolean logic and solved with a SAT solver. For faster solving, it is common to exploit the typing of predicate...
CCS
2011
ACM
13 years 9 months ago
2011
ACM
Parameter tampering attacks are dangerous to a web application whose server fails to replicate the validation of user-supplied data that is performed by the client. Malicious user...
CODES
2004
IEEE
15 years 1 months ago
2004
IEEE
In this paper, we present an approach for automatic synthesis of System on Chip (SoC) multiprocessor architectures for applications expressed as process networks. Our approach is ...
TACAS
2009
Springer
15 years 4 months ago
2009
Springer
Software testing is an essential process to improve software quality in practice. Researchers have proposed several techniques to automate parts of this process. In particular, sym...