464 search results - page 29 / 93 » On Support of Ordering in Multidimensional Data Structures |
126
click to vote
MICRO
2009
IEEE
15 years 8 months ago
2009
IEEE
Hardware support for dynamic analysis can minimize the performance overhead of useful applications such as security checks, debugging, and profiling. To eliminate implementation ...
121
click to vote
PODS
2004
ACM
16 years 1 months ago
2004
ACM
A schema mapping is a specification that describes how data structured under one schema (the source schema) is to be transformed into data structured under a different schema (the...
140
click to vote
CSL
2006
Springer
15 years 5 months ago
2006
Springer
Separation Logic is a sub-structural logic that supports local reasoning for imperative programs. It is designed to elegantly describe sharing and aliasing properties of heap struc...
SPAA
2005
ACM
15 years 7 months ago
2005
ACM
This paper presents concurrent cache-oblivious (CO) B-trees. We extend the cache-oblivious model to a parallel or distributed setting and present three concurrent CO B-trees. Our ...
127
click to vote
IJPRAI
2010
14 years 12 months ago
2010
: AUC-SVM directly maximizes the area under the ROC curve (AUC) through minimizing its hinge loss relaxation, and the decision function is determined by those support vector sample...