Sciweavers

7092 search results - page 262 / 1419
» Parallelizing constraint programs
Sort
View
CP
2008
Springer
15 years 4 months ago
Universal Booleanization of Constraint Models
Abstract. While the efficiency and scalability of modern SAT technology offers an intriguing alternative approach to constraint solving via translation to SAT, previous work has mo...
Jinbo Huang
118
Voted
GLOBECOM
2008
IEEE
15 years 3 months ago
On Sum-Rate Capacity of Parallel Gaussian Symmetric Interference Channels
— In this paper, we study the optimal transceiver structure for achieving sum-rate capacity of a parallel Gaussian symmetric interference channel. Specifically, we derive a set ...
Xiaohu Shang, Biao Chen, Gerhard Kramer
102
Voted
CCGRID
2009
IEEE
15 years 9 months ago
Programming Abstractions for Data Intensive Computing on Clouds and Grids
Chris Miceli, Michael Miceli, Shantenu Jha, Hartmu...
IEEEPACT
2006
IEEE
15 years 8 months ago
Performance prediction based on inherent program similarity
Kenneth Hoste, Aashish Phansalkar, Lieven Eeckhout...