142 search results - page 5 / 29 » A Constant Propagation Algorithm for Explicitly Parallel Pro... |
114
click to vote
MPC
1995
Springer
15 years 3 months ago
1995
Springer
Abstract. We present a strategy to develop, in a functional setting, correct, e cient and portable Divide-and-Conquer (DC) programs for massively parallel architectures. Starting f...
180
click to vote
POPL
2007
ACM
15 years 12 months ago
2007
ACM
We present an overview of our ongoing work on parallelizing self-adjusting-computation techniques. In self-adjusting computation, programs can respond to changes to their data (e....
201
click to vote
POPL
2008
ACM
15 years 12 months ago
2008
ACM
We present a framework for generating procedure summaries that are precise -- applying the summary in a given context yields the same result as re-analyzing the procedure in that ...
107
click to vote
CORR
2008
Springer
14 years 11 months ago
2008
Springer
Support vector machines (SVMs) are an extremely successful type of classification and regression algorithms. Building an SVM entails solving a constrained convex quadratic program...
CP
2003
Springer
15 years 4 months ago
2003
Springer
In this paper, we present an algorithm to propagate an n-ary constraint (with n greater than 2) specifying the relative positions of points in a three-dimensional rigid group. The ...