66 search results - page 12 / 14 » Timing characterization of OpenMP4 tasking model |
VMCAI
2005
Springer
14 years 3 months ago
2005
Springer
When a system fails to satisfy its specification, the model checker produces an error trace (or counter-example) that demonstrates an undesirable behavior, which is then used in d...
DAC
1998
ACM
14 years 2 months ago
1998
ACM
Networked embedded systems are expected to support adaptive streaming audio/video applications with soft real-time constraints. These systems can be designed in a cost efficient ...
ICML
2003
IEEE
14 years 10 months ago
2003
IEEE
This paper addresses the problem of classification in situations where the data distribution is not homogeneous: Data instances might come from different locations or times, and t...
HPDC
2010
IEEE
13 years 11 months ago
2010
IEEE
Cloud computing is increasingly considered as an additional computational resource platform for scientific workflows. The cloud offers opportunity to scale-out applications from d...
EDM
2010
13 years 11 months ago
2010
Curriculum planning is perhaps one of the most important tasks teachers must perform before instruction. While this task is facilitated by a wealth of existing online tools and res...