7092 search results - page 209 / 1419 » Parallelizing constraint programs |
ICCS
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. Bulk Synchronous Parallel ML or BSML is a functional dataparallel language for programming bulk synchronous parallel (BSP) algorithms. The execution time can be estimated...
112
click to vote
PPOPP
2009
ACM
16 years 1 months ago
2009
ACM
The advent of new parallel architectures has increased the need for parallel optimizing compilers to assist developers in creating efficient code. OpenUH is a state-of-the-art opt...
100
click to vote
ACL
1998
15 years 1 months ago
1998
We introduce a first-order language for semantic underspecification that we call Constraint Language for Lambda-Structures (CLLS). A Astructure can be considered as a A-term up to...
ECOOPW
1999
Springer
15 years 4 months ago
1999
Springer
We present a snapshot of work in progress to define a formal model of the composition technology which underpins Subject-oriented and Aspectoriented programming.
JSSPP
1995
Springer
15 years 4 months ago
1995
Springer
Abstract. Most studies on adaptive partitioning policies for scheduling parallel jobs on distributed memory parallel computers ignore the constraints imposed by the memory requirem...