2477 search results - page 147 / 496 » Parallelizing Functional Programs by Generalization |
139
Voted
HPDC
2010
IEEE
15 years 3 months ago
2010
IEEE
This paper proposes a comprehensive modeling architecture for workloads on parallel computers using Markov chains in combination with state dependent empirical distribution functi...
126
Voted
SIGSOFT
2010
ACM
15 years 13 days ago
2010
ACM
Interest in Graphical Processing Units (GPUs) is skyrocketing due to their potential to yield spectacular performance on many important computing applications. Unfortunately, writ...
113
Voted
ICFP
1999
ACM
15 years 6 months ago
1999
ACM
Many properties of parametric, polymorphic functions can be determined simply by inspection of their types. Such results are usually proven using Reynolds's parametricity the...
155
Voted
AIPS
2006
15 years 4 months ago
2006
Markov decision processes (MDPs) with discrete and continuous state and action components can be solved efficiently by hybrid approximate linear programming (HALP). The main idea ...
132
click to vote
ICCAD
2009
IEEE
15 years 9 days ago
2009
IEEE
A parallel computing approach for large-scale SPICE-accurate circuit simulation is described that is based on a new preconditioned iterative solver. The preconditioner involves the...