207 search results - page 36 / 42 » Synthesizing Switching Logic Using Constraint Solving |
MFCS
2001
Springer
15 years 4 months ago
2001
Springer
Combinatorial games lead to several interesting, clean problems in algorithms and complexity theory, many of which remain open. The purpose of this paper is to provide an overview...
81
Voted
ICST
2008
IEEE
15 years 6 months ago
2008
IEEE
Testing remains a major challenge for model transformation development. Test models that are used as test data for model transformations, are constrained by various sources of kno...
123
click to vote
EON
2008
15 years 1 months ago
2008
We reuse here the framework, the setting, and the semantic modelling for the automated synthesis of the SWS Challenge Mediator presented in the companion paper [5], and show how to...
176
click to vote
CP
2009
Springer
16 years 8 days ago
2009
Springer
Millions of containers are stowed every week with goods worth billions of dollars, but container vessel stowage is an all but neglected combinatorial optimization problem. In this ...
106
Voted
ISSTA
2009
ACM
15 years 6 months ago
2009
ACM
Dynamic test generation consists of executing a program while gathering symbolic constraints on inputs from predicates encountered in branch statements, and of using a constraint ...