968 search results - page 115 / 194 » A faster implementation of APlace |
119
click to vote
CADE
2003
Springer
16 years 4 months ago
2003
Springer
The DPLL procedure is the basis of some of the most successful propositional satisfiability solvers to date. Although originally devised as a proofprocedure for first-order logic, ...
121
click to vote
OSDI
2008
ACM
16 years 4 months ago
2008
ACM
We present a new scheme for performing binary translation that produces code comparable to or better than existing binary translators with much less engineering effort. Instead of...
209
click to vote
SIGMOD
2005
ACM
16 years 4 months ago
2005
ACM
A number of organizations publish microdata for purposes such as public health and demographic research. Although attributes that clearly identify individuals, such as Name and So...
195
click to vote
SIGMOD
2005
ACM
16 years 4 months ago
2005
ACM
The goal is to monitor multiple numerical streams, and determine which pairs are correlated with lags, as well as the value of each such lag. Lag correlations (and anticorrelation...
139
click to vote
EDBT
2002
ACM
16 years 4 months ago
2002
ACM
An important issue in data integration is the integration of semantically equivalent but schematically heterogeneous data sources. Declarative mechanisms supporting powerful source...