2477 search results - page 153 / 496 » Parallelizing Functional Programs by Generalization |
119
Voted
LISP
2002
15 years 2 months ago
2002
Program termination verification is a challenging research subject of significant practical importance. While there is already a rich body of literature on this subject, it is sti...
105
Voted
ICASSP
2009
IEEE
15 years 9 months ago
2009
IEEE
Dataflow descriptions have been used in a wide range of Digital Signal Processing (DSP) applications, such as multi-media processing, and wireless communications. Among various f...
123
click to vote
PVM
1998
Springer
15 years 6 months ago
1998
Springer
Abstract. SKaMPI is a benchmark for MPI implementations. Its purpose is the detailed analysis of the runtime of individual MPI operations and comparison of these for di erent imple...
140
Voted
LCPC
2007
Springer
15 years 8 months ago
2007
Springer
The Standard Template Adaptive Parallel Library (stapl) is a parallel programming framework that extends C++ and stl with support for parallelism. stapl provides a collection of pa...
117
Voted
JCSS
2008
15 years 2 months ago
2008
Dynamically allocating computing nodes to parallel applications is a promising technique for improving the utilization of cluster resources. Detailed simulations can help identify...