Sciweavers

2756 search results - page 222 / 552
» Computation-Centric Memory Models
Sort
View
ICCV
1998
IEEE
16 years 8 months ago
Consensus Surfaces for Modeling 3D Objects from Multiple Range Images
In this paper, we present a robust method for creating a triangulated surface mesh from multiple range images. Our method merges a set of range images into a volumetric implicit-s...
Mark D. Wheeler, Yoichi Sato, Katsushi Ikeuchi
ICIP
2006
IEEE
16 years 7 months ago
Light and Fast Statistical Motion Detection Method Based on Ergodic Model
In this paper, we propose a light and fast pixel-based statistical motion detection method based on a background subtraction procedure. The statistical representation of the backg...
Pierre-Marc Jodoin, Max Mignotte, Janusz Konrad
DAC
2009
ACM
16 years 7 months ago
Fault models for embedded-DRAM macros
In this paper, we compare embedded-DRAM (eDRAM) testing to both SRAM testing and commodity-DRAM testing, since an eDRAM macro uses DRAM cells with an SRAM interface. We first star...
Ching-Yu Chin, Hao-Yu Yang, Mango Chia-Tso Chao, R...
FCCM
2009
IEEE
171views VLSI» more  FCCM 2009»
16 years 28 days ago
Accelerating SPICE Model-Evaluation using FPGAs
—Single-FPGA spatial implementations can provide an order of magnitude speedup over sequential microprocessor implementations for data-parallel, floating-point computation in SP...
Nachiket Kapre, André DeHon
ATVA
2009
Springer
172views Hardware» more  ATVA 2009»
16 years 22 days ago
Symbolic CTL Model Checking of Asynchronous Systems Using Constrained Saturation
Abstract. The saturation state-space generation algorithm has demonstrated clear improvements over state-of-the-art symbolic methods for asynchronous systems. This work is motivate...
Yang Zhao, Gianfranco Ciardo