4081 search results - page 117 / 817 » The Impact of Constraint Programming |
125
click to vote
HOPL
2007
15 years 8 months ago
2007
This paper describes the history of Haskell, including its genesis and principles, technical contributions, implementations and tools, and applications and impact.
116
click to vote
ISVLSI
2003
IEEE
15 years 9 months ago
2003
IEEE
Previous work has shown that cache line sizes impact performance differently for different desktop programs – some programs work better with small line sizes, others with larger...
127
click to vote
CPP
2011
14 years 4 months ago
2011
Abstract. In this paper we present a new technique for automatically verifying typing constraints in the setting of Dminor, a first-order data processing language with refinement...
153
click to vote
CAV
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. Constrained random simulation is supported by constraint solvers integrated within simulators. These constraint solvers need to be fast and memory efficient to maintain s...
142
click to vote
ICPADS
2006
IEEE
15 years 10 months ago
2006
IEEE
In this paper, we utilize a bandwidth-centric job communication model that captures the interaction and impact of simultaneously co-allocating jobs across multiple clusters. We ma...