12742 search results - page 2448 / 2549 » On canonical number systems |
203
click to vote
MICRO
1998
IEEE
15 years 10 months ago
1998
IEEE
Three dimensional (3D) graphics applications have become very important workloads running on today's computer systems. A cost-effective graphics solution is to perform geomet...
222
click to vote
CAV
1998
Springer
15 years 10 months ago
1998
Springer
As a pedagogical exercise in ACL2, we formalize and prove the correctness of a write invalidate cache scheme. In our formalization, an arbitrary number of processors, each with its...
182
click to vote
SIGGRAPH
1998
ACM
15 years 10 months ago
1998
ACM
The creation of believable and endearing characters in computer graphics presents a number of technical challenges, including the modeling, animation and rendering of complex shap...
204
click to vote
ICALP
1998
Springer
15 years 10 months ago
1998
Springer
Interval Routing Schemes (IRS for short) have been extensively investigated in the past years with special emphasis on shortest paths. Besides their theoretical interest, IRS have...
176
click to vote
VLDB
1998
ACM
15 years 10 months ago
1998
ACM
Oracle Parallel Server (OPS) is a shared disk RDBMS. We present a high level overview of the main architectural issues of OPS and their evolution throughout the releases of the Or...