Sciweavers

7092 search results - page 238 / 1419
» Parallelizing constraint programs
Sort
View
95
Voted
LPAR
2005
Springer
15 years 6 months ago
A New Constraint Solver for 3D Lattices and Its Application to the Protein Folding Problem
Abstract. The paper describes the formalization and implementation of an efficient constraint programming framework operating on 3D crystal lattices. The framework is motivated an...
Alessandro Dal Palù, Agostino Dovier, Enric...
90
Voted
SAC
2010
ACM
15 years 5 months ago
Haptic manipulation of rational parametric planar cubics using shape constraints
In this paper, we show how to deform a planar rational cubic based on a local interpolation constraint while retaining the qualitative shape of the curve. An impedance-type, paral...
Christoph Fünfzig, Philippe Thomin, Gudrun Al...
117
Voted
CORR
2006
Springer
112views Education» more  CORR 2006»
15 years 18 days ago
High-level synthesis under I/O Timing and Memory constraints
The design of complex Systems-on-Chips implies to take into account communication and memory access constraints for the integration of dedicated hardware accelerator. In this paper...
Philippe Coussy, Gwenolé Corre, Pierre Bome...
117
Voted
ICPPW
2009
IEEE
14 years 10 months ago
Global Multiprocessor Real-Time Scheduling as a Constraint Satisfaction Problem
In this paper we address the problem of global real-time periodic scheduling on heterogeneous multiprocessor platforms. We give a solution based on a constraint satisfaction proble...
Liliana Cucu-Grosjean, Olivier Buffet
116
Voted
ICSE
2010
IEEE-ACM
15 years 2 months ago
DETERMIN: inferring likely deterministic specifications of multithreaded programs
The trend towards multicore processors and graphic processing units is increasing the need for software that can take advantage of parallelism. Writing correct parallel programs u...
Jacob Burnim, Koushik Sen