Sciweavers

4810 search results - page 352 / 962
» Modeling Value Speculation
Sort
View
COMPUTER
1998
94views more  COMPUTER 1998»
15 years 6 months ago
Multiprocessors Should Support Simple Memory-Consistency Models
provide tools or abstractions that allow developers to program in parallel. But what hardware do we need to support shared memory threads? The hardware should provide a well-defin...
Mark D. Hill
ACSD
2010
IEEE
219views Hardware» more  ACSD 2010»
15 years 4 months ago
The Model Checking View to Clock Gating and Operand Isolation
Abstract--Clock gating and operand isolation are two techniques to reduce the power consumption in state-of-the-art hardware designs. Both approaches basically follow a two-step pr...
Jens Brandt, Klaus Schneider, Sumit Ahuja, Sandeep...
JSCIC
2011
113views more  JSCIC 2011»
15 years 1 months ago
An Asymptotic Preserving Scheme for the ES-BGK Model of the Boltzmann Equation
In this paper, we study a time discrete scheme for the initial value problem of the ES-BGK kinetic equation. Numerically solving these equations are challenging due to the nonlinea...
Francis Filbet, Shi Jin
TSP
2011
170views more  TSP 2011»
15 years 1 months ago
Model Selection for Sinusoids in Noise: Statistical Analysis and a New Penalty Term
—Detection of the number of sinusoids embedded in noise is a fundamental problem in statistical signal processing. Most parametric methods minimize the sum of a data fit (likeli...
Boaz Nadler, Leonid Kontorovich
SMA
2009
ACM
208views Solid Modeling» more  SMA 2009»
16 years 1 months ago
Accelerating geometric queries using the GPU
We present practical algorithms for accelerating geometric queries on models made of NURBS surfaces using programmable Graphics Processing Units (GPUs). We provide a generalized f...
Adarsh Krishnamurthy, Sara McMains, Kirk Haller