27119 search results - page 5290 / 5424 » Languages |
149
Voted
ICDCS
1995
IEEE
15 years 8 months ago
1995
IEEE
nt formal speci cations of a new abstraction, weak sets, which can be used to alleviate high latencies when retrieving data from a wide-area information system like the World Wide...
138
Voted
ISSAC
1995
Springer
15 years 8 months ago
1995
Springer
Dynamic evaluation is a technique for producing multiple results according to a decision tree which evolves with program execution. Sometimes it is desired to produce results for ...
132
click to vote
SPAA
1997
ACM
15 years 8 months ago
1997
ACM
A parallel multithreaded program that is ostensibly deterministic may nevertheless behave nondeterministically due to bugs in the code. These bugs are called determinacy races, an...
138
click to vote
RTA
1995
Springer
15 years 8 months ago
1995
Springer
We use computational systems to express a completion with constraints procedure that gives priority to simpliļ¬cations. Computational systems are rewrite theories enriched by stra...
153
click to vote
SIGIR
1995
ACM
15 years 8 months ago
1995
ACM
The full integration of information retrieval (IR) features into a database management system (DBMS) has long been recognized as both a significant goal and a challenging undertak...