769 search results - page 68 / 154 » Analysis of recursively parallel programs |
126
click to vote
IFIP
2004
Springer
15 years 8 months ago
2004
Springer
A term terminates if all its reduction sequences are of finite length. We show four type systems that ensure termination of well-typed π-calculus processes. The systems are obtai...
131
click to vote
ICASSP
2009
IEEE
15 years 6 months ago
2009
IEEE
We derive a recursive general-radix pruned Cooley-Tukey fast Fourier transform (FFT) algorithm in Kronecker product notation. The algorithm is compatible with vectorization and pa...
125
click to vote
ICS
1993
Tsinghua U.
15 years 7 months ago
1993
Tsinghua U.
: The EM-4 is a supercomputer that offers very fast inter processor communication and support for multi threading. In this paper we demonstrate that the EM-4, Together with an auto...
131
click to vote
VECPAR
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. This paper presents PerWiz, a performance prediction tool for improving the performance of message passing programs. PerWiz focuses on locating where a significant impro...
110
click to vote
IISWC
2009
IEEE
15 years 9 months ago
2009
IEEE
—Communication traces are integral to performance modeling and analysis of parallel programs. However, execution on a large number of nodes results in a large trace volume that i...