5122 search results - page 937 / 1025 » Comparing Consequence Relations |
ISPD
1997
ACM
14 years 2 months ago
1997
ACM
Advances in fabrication technology have resulted in a continual shrinkage of device dimensions. This has resulted in smaller device delays, greater resistance along interconnect w...
PLDI
1997
ACM
14 years 2 months ago
1997
ACM
This paper presents dynamic feedback, a technique that enables computations to adapt dynamically to different execution environments. A compiler that uses dynamic feedback produce...
SIGGRAPH
1996
ACM
14 years 2 months ago
1996
ACM
Accurate registration between real and virtual objects is crucial for augmented reality applications. Existing tracking methods are individually inadequate: magnetic trackers are ...
DISCO
1993
14 years 2 months ago
1993
ObjectMath is a high-level programming environment and modeling language for scientific computing which supports variants and graphical browsing in the environment and integrates o...
SIGMOD
1993
ACM
14 years 2 months ago
1993
ACM
This paper introduces a new approach to database disk buffering, called the LRU–K method. The basic idea of LRU–K is to keep track of the times of the last K references to pop...