3742 search results - page 690 / 749 » On the Use of Formal Techniques for Validation |
165
click to vote
TVCG
1998
15 years 5 months ago
1998
—Numerical simulation of physical phenomena is now an accepted way of scientific inquiry. However, the field is still evolving, with a profusion of new solution and grid-generati...
187
click to vote
VLDB
2002
ACM
15 years 5 months ago
2002
ACM
Accurate prediction of operator execution time is a prerequisite for database query optimization. Although extensively studied for conventional disk-based DBMSs, cost modeling in ...
199
click to vote
SAC
2010
ACM
15 years 4 months ago
2010
ACM
This paper introduces and documents a novel image database specifically built for the purpose of development and benchmarking of camera-based digital forensic techniques. More th...
146
click to vote
EDM
2009
15 years 4 months ago
2009
Researchers who make tutoring systems would like to know which sequences of educational content lead to the most effective learning by their students. The majority of data collecte...
171
click to vote
ISCA
2011
IEEE
14 years 10 months ago
2011
IEEE
Much of the success of the Internet services model can be attributed to the popularity of a class of workloads that we call Online Data-Intensive (OLDI) services. These workloads ...