3070 search results - page 406 / 614 » Evaluating digital libraries |
188
click to vote
GCC
2006
Springer
15 years 10 months ago
2006
Springer
Grid computing is becoming more and more attractive to provide a convenient uniform platform for coordinating highly distributed and heterogeneous resources and services. GridPPI ...
170
click to vote
SAIG
2000
Springer
15 years 10 months ago
2000
Springer
Achieving peak performance in important numerical kernels such as dense matrix multiply or sparse-matrix vector multiplication usually requires extensive, machine-dependent tuning ...
163
click to vote
VLDB
1991
ACM
15 years 10 months ago
1991
ACM
During the past few years, hypermedia systems have emerged as an essential component of many application domains ranging from software engineering to library information systems. ...
167
click to vote
ICS
2010
Tsinghua U.
15 years 9 months ago
2010
Tsinghua U.
Autotuning technology has emerged recently as a systematic process for evaluating alternative implementations of a computation, in order to select the best-performing solution for...
193
click to vote
ATVA
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. Non-freely generated data types are widely used in case studies carried out in the theorem prover KIV. The most common examples are stores, sets and arrays. We present an...