2477 search results - page 118 / 496 » Parallelizing Functional Programs by Generalization |
103
click to vote
DAC
2006
ACM
15 years 8 months ago
2006
ACM
We present a new method for mathematically estimating the active unit power of functional units in modern microprocessors such as the Pentium 4 family. Our method leverages the ph...
107
click to vote
AMOST
2005
ACM
15 years 8 months ago
2005
ACM
We consider the problem of generating a set of test cases from a black box specification. We focus on stress testing, i.e. picking test cases that seem most likely to reveal prog...
113
click to vote
CORR
2008
Springer
15 years 2 months ago
2008
Springer
Prolog's ability to return multiple answers on backtracking provides an elegant mechanism to derive reversible encodings of combinatorial objects as Natural Numbers i.e. ranki...
122
click to vote
SIAMJO
2008
15 years 2 months ago
2008
A new active set algorithm for minimizing quadratic functions with separable convex constraints is proposed by combining the conjugate gradient method with the projected gradient. ...
124
click to vote
SPAA
2006
ACM
15 years 8 months ago
2006
ACM
Suppose we have a parallel or distributed system whose nodes have limited capacities, such as processing speed, bandwidth, memory, or disk space. How does the performance of the s...