1141 search results - page 141 / 229 » Compiler-Directed Performance Model Construction for Paralle... |
145
click to vote
ISPASS
2009
IEEE
15 years 7 months ago
2009
IEEE
Modern Graphic Processing Units (GPUs) provide sufficiently flexible programming models that understanding their performance can provide insight in designing tomorrow’s manyco...
145
click to vote
PVLDB
2011
14 years 7 months ago
2011
Users of MapReduce often run into performance problems when they scale up their workloads. Many of the problems they encounter can be overcome by applying techniques learned from ...
120
click to vote
SPIN
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. In the classic approach to logic model checking, software verification requires a manually constructed artifact (the model) to be written in the language that is accepted...
109
Voted
CODES
2004
IEEE
15 years 4 months ago
2004
IEEE
High-level hardware modeling is an essential, yet time-consuming, part of system design. However, effective component-based reuse in hardware modeling languages can reduce model c...
107
Voted
PPOPP
2010
ACM
15 years 7 months ago
2010
ACM
To fully exploit multicore processors, applications are expected to provide a large degree of thread-level parallelism. While adequate for low core counts and their typical worklo...