8903 search results - page 1578 / 1781 » Alternative |
203
click to vote
IPCCC
1999
IEEE
15 years 10 months ago
1999
IEEE
Performance evaluation of modern, highly speculative, out-of-order microprocessors and the corresponding production of detailed, valid, accurate results have become serious challe...
153
click to vote
CAV
1999
Springer
15 years 10 months ago
1999
Springer
BDDs and their algorithms implement a decision procedure for Quanti ed Propositional Logic. BDDs are a kind of acyclic automata. Unrestricted automata (recognizing unbounded string...
178
click to vote
IPPS
1999
IEEE
15 years 10 months ago
1999
IEEE
Massively parallel computers are increasingly being used to solve large, I/O intensive applications in many different fields. For such applications, the I/O requirements quite oft...
158
click to vote
CIKM
1999
Springer
15 years 10 months ago
1999
Springer
A research prototype is presented for semantic indexing and retrieval in Information Retrieval. The prototype is motivated by a desire to provide a more efficient and effective in...
164
click to vote
CIKM
1999
Springer
15 years 10 months ago
1999
Springer
On-line analytical processing (OLAP) requires e cient processing of complex decision support queries over very large databases. It is well accepted that pre-computed data cubes ca...