7092 search results - page 246 / 1419 » Parallelizing constraint programs |
155
click to vote
IPPS
2003
IEEE
15 years 5 months ago
2003
IEEE
Abstract— The execution environments For scientific applications have evolved significantly over the years. Vector and parallel architectures have provided significantly faste...
182
Voted
CP
2009
Springer
16 years 1 months ago
2009
Springer
This paper introduces propagator groups as an abstraction for controlling the execution of propagators as implementations of constraints. Propagator groups enable users of a constr...
113
Voted
ICC
2009
IEEE
15 years 7 months ago
2009
IEEE
Abstract—This paper studies the coexistence of several independent and dynamic wireless networks using the frequency hopping technique in the unlicensed radio band. We propose a ...
166
click to vote
ECOOP
1999
Springer
15 years 4 months ago
1999
Springer
There is considerable interest in programs that can migrate from one host to another and execute. Mobile programs are appealing because they support efficient utilization of networ...
116
Voted
TSE
2011
14 years 7 months ago
2011
— We present an integrated method for program proving, testing, and debugging. Using the concept of metamorphic relations, we select necessary properties for target programs. For...