5762 search results - page 1138 / 1153 » R-tree: A Hardware Implementation |
179
click to vote
LCR
2000
Springer
15 years 9 months ago
2000
Springer
Abstract. As an alternative to message passing, Rochester's InterWeave system allows the programmer to map shared segments into programs spread across heterogeneous, distribut...
152
Voted
LCTRTS
2000
Springer
15 years 9 months ago
2000
Springer
Multimedia communication systems require not only high-performance computer hardware and highspeed networks, but also a buffer management mechanism to process voluminous data effi...
162
click to vote
TACAS
2000
Springer
15 years 9 months ago
2000
Springer
This note describes Proof General, a tool for developing machine proofs with an interactive proof assistant. Interaction is based around a proof script, which is the target of a pr...
186
click to vote
VRML
1995
ACM
15 years 9 months ago
1995
ACM
Virtual environments (VEs) are a broad multidisciplinary research area that includes all aspects of computer science, virtual reality, virtual worlds, teleoperation and telepresenc...
177
click to vote
SIGOPSE
1994
ACM
15 years 9 months ago
1994
ACM
Integrated circuit cards or smart cards are now well-known. Applications such as electronic purses (cash units stored in cards), subscriber identification cards used in cellular te...