7092 search results - page 468 / 1419 » Parallelizing constraint programs |
146
click to vote
AFRICACRYPT
2010
Springer
15 years 10 months ago
2010
Springer
In this paper we present an algorithm for parallel exhaustive search for short vectors in lattices. This algorithm can be applied to a wide range of parallel computing systems. To ...
100
click to vote
COMPSAC
2005
IEEE
15 years 9 months ago
2005
IEEE
Parallel changes are a basic fact of modern software development. Where previously we looked at prima facie interference, here we investigate a less direct form that we call seman...
151
click to vote
DATE
2010
IEEE
15 years 9 months ago
2010
IEEE
—Subdivision Surfaces provide a compact way to describe a smooth surface using a mesh model. They are widely used in 3D animation and nearly all modern modeling programs support ...
108
click to vote
ICS
1995
Tsinghua U.
15 years 7 months ago
1995
Tsinghua U.
In this paper, we present a GSA-based technique that performs more e cient and more precise symbolic analysis of predicated assignments, recurrences and index arrays. The e ciency...
114
Voted
SIGSOFT
2009
ACM
16 years 4 months ago
2009
ACM
Programs of a software product line can be synthesized by composing features which implement a unit of program functionality. In most product lines, only some combination of featu...