Sciweavers

1646 search results - page 230 / 330
» Inlining of Virtual Methods
Sort
View
HAPTICS
2002
IEEE
14 years 1 months ago
An Analysis of Perceptual Instability during Haptic Texture Rendering
This paper investigates the problem of perceived instability during haptic texture rendering. We focus on the perceptual analysis of the stability of textured surfaces rendered wi...
Seungmoon Choi, Hong Z. Tan
ESOP
2001
Springer
14 years 1 months ago
Proof-Directed De-compilation of Low-Level Code
Abstract. We present a proof theoretical method for de-compiling lowlevel code to the typed lambda calculus. We first define a proof system for a low-level code language based on...
Shin-ya Katsumata, Atsushi Ohori
HPCA
2000
IEEE
14 years 1 months ago
Memory Dependence Speculation Tradeoffs in Centralized, Continuous-Window Superscalar Processors
We consider a variety of dynamic, hardware-based methods for exploiting load/store parallelism, including mechanisms that use memory dependence speculation. While previous work ha...
Andreas Moshovos, Gurindar S. Sohi
ICMCS
2000
IEEE
126views Multimedia» more  ICMCS 2000»
14 years 1 months ago
Automatic 3D City Construction System using Omni Camera
Video analysis and mixed reality (MR) systems, which integrate the virtual world and the real world, are important topics of multimedia research. In this paper, we propose an ef...
Hiroshi Kawasaki, Katsushi Ikeuchi, Masao Sakauchi
HPCA
1996
IEEE
14 years 1 months ago
Fault-Tolerance with Multimodule Routers
The current multiprocessors such asCray T3D support interprocessor communication using partitioned dimension-order routers (PDRs). In a PDR implementation, the routing logic and sw...
Suresh Chalasani, Rajendra V. Boppana