7092 search results - page 626 / 1419 » Parallelizing constraint programs |
178
Voted
PADL
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. A lightweight approach to debugging functional logic programs by observations is presented, implemented for the language Curry. The Curry Object Observation System (COOSy...
209
click to vote
DSRT
2008
IEEE
15 years 8 months ago
2008
IEEE
Most common real-time embedded programming languages provide a means to specify functionality; however, they have few constructs to specify precise timing constraints. LabVIEW is ...
169
click to vote
GECCO
2009
Springer
16 years 27 days ago
2009
Springer
Solving complex, real-world problems with genetic programming (GP) can require extensive computing resources. However, the highly parallel nature of GP facilitates using a large n...
159
click to vote
PVM
2007
Springer
16 years 13 days ago
2007
Springer
Formal program verification often requires creating a model of the program and running it through a model-checking tool. However, this model-creation step is itself error prone, t...
136
click to vote
CISIS
2010
IEEE
15 years 11 months ago
2010
IEEE
Abstract—Program performance optimisations, feedbackdirected iterative compilation and auto-tuning systems [1] all assume a fixed estimation of execution time given a fixed inp...