10870 search results - page 1981 / 2174 » Model Checking Programs |
CP
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. The SEQUENCE constraint is useful in modelling car sequencing, rostering, scheduling and related problems. We introduce half a dozen new encodings of the SEQUENCE constra...
133
click to vote
DAMON
2007
Springer
15 years 8 months ago
2007
Springer
In this work, we research the suitability of the Cell Broadband Engine for database processing. We start by outlining the main architectural features of Cell and use microbenchmar...
101
click to vote
EGH
2007
Springer
15 years 8 months ago
2007
Springer
In this paper, we present a method for rendering deformations as part of the programmable shader pipeline of contemporary Graphical Processing Units. In our method, we allow gener...
116
click to vote
FROCOS
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. Innermost context-sensitive rewriting has been proved useful for modeling computations of programs of algebraic languages like Maude, OBJ, etc. Furthermore, innermost ter...
107
click to vote
GECCO
2007
Springer
15 years 8 months ago
2007
Springer
Developmental systems typically produce a phenotype through a generative process whose outcome depends on feedback from the environment. In most artificial developmental systems, ...