1292 search results - page 78 / 259 » An Experimental Evaluation of the New OpenMP Tasking Model |
105
click to vote
CODES
2001
IEEE
15 years 5 months ago
2001
IEEE
New embedded systems must be power-aware, not just low-power. That is, they must track their power sources and the changingpower and performance constraints imposed by the environ...
116
click to vote
EUROPAR
2006
Springer
15 years 5 months ago
2006
Springer
Multi-resolution validation of hierarchical performance models of scientific applications is critical primarily for two reasons. First, the step-by-step validation determines the c...
136
click to vote
ML
2000
ACM
15 years 1 months ago
2000
ACM
A new class of evolutionary computation processes is presented, called Learnable Evolution Model or LEM. In contrast to Darwinian-type evolution that relies on mutation, recombinat...
104
Voted
WWW
2011
ACM
14 years 8 months ago
2011
ACM
We propose a new paradigm for displaying comments: showing comments alongside parts of the article they correspond to. We evaluate the effectiveness of various approaches for thi...
107
click to vote
CHARME
2001
Springer
15 years 5 months ago
2001
Springer
Model checking is the process of verifying whether a model of a concurrent system satisfies a specified temporal property. Symbolic algorithms based on Binary Decision Diagrams (BD...