3443 search results - page 467 / 689 » More Algebras for Determiners |
179
click to vote
WDAG
1994
Springer
15 years 10 months ago
1994
Springer
This paper investigates how vector time can be used to set breakpoints in distributed computations for the purpose of analyzing and debugging distributed programs. A breakpoint is ...
136
click to vote
AIMSA
1990
Springer
15 years 10 months ago
1990
Springer
: Automated deduction systems can considerably be improved by replacing axioms with special purpose inference mechanisms. For example replacing in resolution based systems certain ...
182
click to vote
STACS
1992
Springer
15 years 10 months ago
1992
Springer
We show that the graph isomorphism problem is low for PP and for C=P, i.e., it does not provide a PP or C=P computation with any additional power when used as an oracle. Furthermor...
154
click to vote
VLDB
1992
ACM
15 years 10 months ago
1992
ACM
In this paper, we explore the execution of pipelined hash joins in a multiprocessor-based database system. To improve the query execution, an innovative approach on query executio...
175
click to vote
VLDB
1989
ACM
15 years 10 months ago
1989
ACM
In this paper, we show detailed analysis and performance evaluation of the Dynamic Hybrid GRACE Hash Join Method (DHGH Method) when the tuple distribution in buckets is unbalanced...