43264 search results - page 8222 / 8653 » Comparing models of computation |
121
Voted
VLDB
1998
ACM
15 years 7 months ago
1998
ACM
An information retrieval IR engine can rank documents based on textual proximityof keywords within each document. In this paper we apply this notion to search across an entire dat...
128
Voted
ISCA
1997
IEEE
15 years 7 months ago
1997
IEEE
As processor architectures have increased their reliance on speculative execution to improve performance, the importance of accurate prediction of what to execute speculatively ha...
108
Voted
AGENTS
1997
Springer
15 years 7 months ago
1997
Springer
During the last few years, and in an attempt to provide an ecient alternative to classical methods to designing robot control structures, the behavior-based approach has emerged....
120
Voted
ARTS
1997
Springer
15 years 7 months ago
1997
Springer
In 10 , an algebra for timed automata has been introduced. In this article, we introduce a syntactic characterisation of nite timed automata in terms of that process algebra. We s...
130
Voted
MICRO
1996
IEEE
15 years 7 months ago
1996
IEEE
For decades, the serialization constraints imposed by true data dependences have been regarded as an absolute limit--the dataflow limit--on the parallel execution of serial progra...