3436 search results - page 156 / 688 » Software Tools for Performance Modeling of Parallel Programs |
109
click to vote
IPPS
2000
IEEE
15 years 6 months ago
2000
IEEE
As the speed gap between CPU and memory widens, memory hierarchy has become the primary factor limiting program performance. Until now, the principal focus of hardware and softwar...
95
Voted
KBSE
2003
IEEE
15 years 7 months ago
2003
IEEE
We propose a practical parallel on-the-fly algorithm for enumerative LTL model-checking. The algorithm is designed for a cluster of workstations communicating via MPI. The detect...
121
Voted
BMCBI
2010
15 years 2 months ago
2010
Background: The decrease in cost for sequencing and improvement in technologies has made it easier and more common for the re-sequencing of large genomes as well as parallel seque...
129
Voted
PPOPP
2009
ACM
16 years 3 months ago
2009
ACM
The advent of new parallel architectures has increased the need for parallel optimizing compilers to assist developers in creating efficient code. OpenUH is a state-of-the-art opt...
130
click to vote
CW
2008
IEEE
15 years 9 months ago
2008
IEEE
The availability of intuitive, user-friendly and specialized software to work with 3D models of cultural heritage artifacts is as important as the availability of low-cost and rob...