1080 search results - page 16 / 216 » Modeling Constraint Programs with Software Technology Standa... |
99
Voted
COOPIS
2004
IEEE
15 years 6 months ago
2004
IEEE
In this paper we present an implementation of a constraint solving module, CLP(Flex), for dealing with unification in an equality theory for terms with flexible arity function symb...
81
Voted
CAISE
2005
Springer
15 years 8 months ago
2005
Springer
Abstract Software Product Line (SPL) Engineering has proved to be an effective method for software production. However, in the SPL community it is well recognized that variability ...
118
Voted
LPNMR
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. We describe a new software, pbmodels, that uses pseudo-boolean constraint solvers (PB solvers) to compute stable models of logic programs with weight atoms. To this end, ...
127
click to vote
OOPSLA
2004
Springer
15 years 7 months ago
2004
Springer
This paper presents the design of G, a new language specifically created for generic programming. We review and identify important language features of C++ and Haskell in light o...
128
click to vote
CP
2008
Springer
15 years 4 months ago
2008
Springer
The Cell BE processor provides both scalable computation power and flexibility, and it is already being adopted for many computational intensive applications like aerospace, defens...