Sciweavers

2756 search results - page 126 / 552
» Computation-Centric Memory Models
Sort
View
HIPC
2009
Springer
15 years 2 months ago
A performance prediction model for the CUDA GPGPU platform
The significant growth in computational power of modern Graphics Processing Units(GPUs) coupled with the advent of general purpose programming environments like NVIDA's CUDA,...
Kishore Kothapalli, Rishabh Mukherjee, M. Suhail R...
IESS
2009
Springer
182views Hardware» more  IESS 2009»
15 years 2 months ago
Modeling Cache Effects at the Transaction Level
Abstract. Embedded system design complexities are growing exponentially. Demand has increased for modeling techniques that can provide both accurate measurements of delay and fast ...
Ardavan Pedram, David Craven, Andreas Gerstlauer
BCEC
1997
15 years 5 months ago
Attractor Network Models of Cortical Associative Memory
Attractor network models of cortical associative memory functions have developed considerably over the past few years. Here we show that we can improve them further, in terms of c...
Anders Lansner, Erik Fransén
CAV
2008
Springer
157views Hardware» more  CAV 2008»
15 years 6 months ago
Effective Program Verification for Relaxed Memory Models
Program verification for relaxed memory models is hard. The high degree of nondeterminism in such models challenges standard verification techniques. This paper proposes a new veri...
Sebastian Burckhardt, Madanlal Musuvathi
CORR
2006
Springer
117views Education» more  CORR 2006»
15 years 4 months ago
A Computational Model of Spatial Memory Anticipation during Visual Search
Some visual search tasks require to memorize the location of stimuli that have been previously scanned. Considerations about the eye movements raise the question of how we are able...
Jérémy Fix, Julien Vitay, Nicolas P....