7456 search results - page 419 / 1492 » Parallelism in Logic Programming |
171
click to vote
ATVA
2010
Springer
15 years 4 months ago
2010
Springer
Exception handling is an important language feature for building more robust software programs. It is primarily concerned with capturing abnormal events, with the help of catch han...
184
click to vote
IPPS
2008
IEEE
16 years 1 months ago
2008
IEEE
This paper introduces an adaptive parallel pipeline pattern which follows the GRASP (Grid-Adaptive Structured Parallelism) methodology. GRASP is a generic methodology to incorpora...
163
click to vote
IPPS
2008
IEEE
16 years 1 months ago
2008
IEEE
The ubiquity of multicore processors in commodity computing systems has raised a significant programming challenge for their effective use. An attractive but challenging approach...
196
click to vote
BCB
2010
15 years 1 months ago
2010
Many biologically motivated problems are expressed as dynamic programming recurrences and are difficult to parallelize due to the intrinsic data dependencies in their algorithms. ...
308
click to vote
POPL
2007
ACM
16 years 7 months ago
2007
ACM
We present a model of recursive and impredicatively quantified types with mutable references. We interpret in this model all of the type constructors needed for typed intermediate...