7092 search results - page 453 / 1419 » Parallelizing constraint programs |
120
Voted
ESOP
2003
Springer
15 years 9 months ago
2003
Springer
This paper proposes the use of constraint logic programming (CLP) to perform model checking of traditional, imperative programs. We present a semantics-preserving translation from ...
140
Voted
ECBS
1999
IEEE
15 years 8 months ago
1999
IEEE
Model-Integrated Computing, specifically Model-Integrated Program Synthesis (MIPS) environments that include visual model building, constraint management, and automatic program sy...
122
Voted
AMAI
2008
Springer
15 years 3 months ago
2008
Springer
The paper studies the relationship between logic programs with the stable model semantics and difference logic recently considered in the Satisfiability Modulo Theories framework....
135
Voted
ICES
2003
Springer
15 years 9 months ago
2003
Springer
This paper presents a methodology to design optimized electronic systems from high abstraction level descriptions. The methodology uses Genetic Programming in addition to high-leve...
182
Voted
ECOWS
2006
Springer
15 years 7 months ago
2006
Springer
In this paper, we present an approach to hybrid semantic web service matching based on both logic programming, and syntactic similarity measurement. The implemented matchmaker, ca...