3161 search results - page 543 / 633 » Hybrid results merging |
154
click to vote
IDEAS
1997
IEEE
15 years 10 months ago
1997
IEEE
This paper presents a simple and effective method to reduce the size of log data for recovery in main memory databases. Fuzzy checkpointing is known to be very efficient in main ...
188
click to vote
IPPS
1997
IEEE
15 years 10 months ago
1997
IEEE
Current parallelizing compilers for message-passing machines only support a limited class of data-parallel applications. One method for eliminating this restriction is to combine ...
128
click to vote
VTS
1997
IEEE
15 years 10 months ago
1997
IEEE
We address the problem of rectifying an incorrect combinational circuit against a given specification. Based on the symbolic BDD techniques, we consider the rectification process,...
153
click to vote
CHI
1997
ACM
15 years 10 months ago
1997
ACM
Hypertext interfaces are considered appropriate for information exploration tasks. The prohibitively expensive link creation effort, however, prevents traditional hypertext interf...
107
click to vote
IDA
1997
Springer
15 years 10 months ago
1997
Springer
The empirical curve bounding problem is de ned as follows. Suppose data vectors X Y are presented such that E(Y i]) = f(X i]) where f(x) is an unknown function. The problem is to a...