Sciweavers

2756 search results - page 121 / 552
» Computation-Centric Memory Models
Sort
View
FMCAD
2008
Springer
15 years 6 months ago
Word-Level Sequential Memory Abstraction for Model Checking
el Sequential Memory Abstraction for Model Checking Per Bjesse Advanced Technology Group Synopsys Inc. Many designs intermingle large memories with wide data paths and nontrivial c...
Per Bjesse
DAMON
2008
Springer
15 years 6 months ago
Modeling the performance of algorithms on flash memory devices
NAND flash memory is fast becoming popular as a component of large scale storage devices. For workloads requiring many random I/Os, flash devices can provide two orders of magnitu...
Kenneth A. Ross
NPL
2006
115views more  NPL 2006»
15 years 4 months ago
An RCE-based Associative Memory with Application to Human Face Recognition
In this paper we construct an associative memory model based on the restricted Coulomb energy (RCE) network. We propose a simple architecture and training algorithm for this RCE-b...
Xiaoyan Mu, Mehmet Artiklar, Paul Watta, Mohamad H...
CORR
2006
Springer
98views Education» more  CORR 2006»
15 years 4 months ago
Reversal Complexity Revisited
We study a generalized version of reversal bounded Turing machines where, apart from several tapes on which the number of head reversals is bounded by r(n), there are several furth...
André Hernich, Nicole Schweikardt
PLDI
2010
ACM
15 years 6 months ago
DRFX: a simple and efficient memory model for concurrent programming languages
The most intuitive memory model for shared-memory multithreaded programming is sequential consistency (SC), but it disallows the use of many compiler and hardware optimizations th...
Daniel Marino, Abhayendra Singh, Todd D. Millstein...