7092 search results - page 69 / 1419 » Parallelizing constraint programs |
107
click to vote
ICFEM
2004
Springer
15 years 6 months ago
2004
Springer
Iterative abstraction refinement has emerged in the last few years as the leading approach to software model checking. In this context Boolean programs are commonly employed as si...
90
Voted
CP
2010
Springer
14 years 11 months ago
2010
Springer
Abstract. Fixed-width MDDs were introduced recently as a more refined alternative for the domain store to represent partial solutions to CSPs. In this work, we present a systemati...
LCPC
2005
Springer
15 years 6 months ago
2005
Springer
With the increase of transistors integrated onto a chip, multi core processor architectures have attracted much attention to achieve high effective performance, shorten developmen...
111
Voted
EMSOFT
2006
Springer
15 years 4 months ago
2006
Springer
We designed and implemented a new programming language called Hierarchical Timing Language (HTL) for hard realtime systems. Critical timing constraints are specified within the la...
81
Voted
FSTTCS
2007
Springer
15 years 6 months ago
2007
Springer
There are two somewhat contradictory ways of looking at modules in a given programming language. On the one hand, module systems are largely independent of the particulars of progr...