2974 search results - page 264 / 595 » Model-Driven Constraint Programming |
176
click to vote
CORR
2011
Springer
14 years 10 months ago
2011
Springer
We present a unifying approach to the efļ¬cient evaluation of propositional answer-set programs. Our approach is based on backdoors which are small sets of atoms that represent ā...
200
click to vote
PC
2012
14 years 2 months ago
2012
This paper describes a safe and eļ¬cient combination of the object-based message-driven execution and shared array parallel programming models. In particular, we demonstrate how ...
212
click to vote
TACAS
2012
Springer
14 years 2 months ago
2012
Springer
Abstract. Automated veriļ¬cation of multi-threaded programs is diļ¬cult. Direct treatment of all possible thread interleavings by reasoning about the program globally is a prohib...
195
click to vote
DAC
2007
ACM
16 years 7 months ago
2007
ACM
Mapping packet processing applications onto embedded network processors (NP) is a challenging task due to the unique constraints of NP systems and the characteristics of network a...
308
click to vote
ICLP
2009
Springer
16 years 7 months ago
2009
Springer
Over the years, the stable-model semantics has gained a position of the correct (two-valued) interpretation of default negation in programs. However, for programs with aggregates (...