3436 search results - page 368 / 688 » Software Tools for Performance Modeling of Parallel Programs |
188
click to vote
ICS
2010
Tsinghua U.
15 years 11 months ago
2010
Tsinghua U.
The emergence of multicore processors has increased the need for simple parallel programming models usable by nonexperts. The ability to specify subparts of a bigger data structur...
186
click to vote
BMCBI
2008
15 years 6 months ago
2008
Background: Molecular-docking-based virtual screening is an important tool in drug discovery that is used to significantly reduce the number of possible chemical compounds to be i...
187
click to vote
SIGSOFT
2003
ACM
15 years 12 months ago
2003
ACM
Model checking is an automated technique for verifying that a system satisfies a set of required properties. Such properties are typically expressed as temporal logic formulas, in...
171
click to vote
NCA
2005
IEEE
16 years 8 days ago
2005
IEEE
This paper deals with general nested loops and proposes a novel scheduling methodology for reducing the communication cost of parallel programs. General loops contain complex loop...
175
click to vote
ICPP
2008
IEEE
16 years 1 months ago
2008
IEEE
Solving large, irregular graph problems efficiently is challenging. Current software systems and commodity multiprocessors do not support fine-grained, irregular parallelism wel...