769 search results - page 74 / 154 » Analysis of recursively parallel programs |
123
click to vote
TJS
2002
15 years 2 months ago
2002
Although it is increasingly difficult for large scientific programs to attain a significant fraction of peak performance on systems based on microprocessors with substantial instr...
141
click to vote
WCRE
2002
IEEE
15 years 7 months ago
2002
IEEE
Scientific, symbolic, and multimedia applications present diverse computing workloads with different types of inherent parallelism. Tomorrow’s processors will employ varying com...
122
click to vote
HPCC
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. Automated online search is a powerful technique for performance diagnosis. Such a search can change the types of experiments it performs while the program is running, mak...
112
click to vote
IPPS
1995
IEEE
15 years 6 months ago
1995
IEEE
Abstract. To e ectively parallelize real programs, parallelizing compilers need powerful symbolic analysis techniques 13, 6 . In previous work we have introduced an algorithm calle...
120
click to vote
POPL
2010
ACM
16 years 8 days ago
2010
ACM
d by recent research in abstract model checking, we present a new approach to inferring dependent types. Unlike many of the existing approaches, our approach does not rely on prog...