606 search results - page 86 / 122 » Dynamic Power Management of Heterogeneous Systems |
SIGMETRICS
2008
ACM
13 years 7 months ago
2008
ACM
Probabilistic model checking is a formal verification framework for systems which exhibit stochastic behaviour. It has been successfully applied to a wide range of domains, includ...
WSC
1998
13 years 9 months ago
1998
We have taken a NIST molecular dynamics simulation program (md3), which was configured as a single sequential process running on a CRAY C90 vector supercomputer, and parallelized ...
DEEC
2007
IEEE
14 years 2 months ago
2007
IEEE
The crawler engines of today cannot reach most of the information contained in the Web. A great amount of valuable information is "hidden" behind the query forms of onli...
IPPS
2007
IEEE
14 years 2 months ago
2007
IEEE
To use heterogeneous and geographically distributed resources as a platform for parallel visualization is an intriguing topic of research. This is because of the immense potential...
EKAW
2008
Springer
13 years 9 months ago
2008
Springer
Semantic Web applications tests show that their usability is seriously compromised. This motivates the exploration of alternative interaction paradigms, different from the "tr...