2756 search results - page 36 / 552 » Computation-Centric Memory Models |
142
click to vote
ICECCS
2010
IEEE
15 years 4 months ago
2010
IEEE
—We present a model that explains immunological memory as a consequence of the recursive proliferation of reactive and suppressive cells, where the relative proportion of these c...
143
click to vote
FM
2009
Springer
16 years 15 days ago
2009
Springer
Verification methods for memory-manipulating C programs need to address not only well-typed programs that respect invariants such as the split heap memory model, but also programs...
127
click to vote
DATE
2007
IEEE
16 years 8 days ago
2007
IEEE
Non-volatile Flash memories are becoming more and more popular in Systems-on-Chip (SoC). Embedded Flash (eFlash) memories are based on the well-known floatinggate transistor conce...
161
click to vote
ISNN
2007
Springer
16 years 2 days ago
2007
Springer
This paper investigates a mechanism for reliable generation of sparse code in a sparsely connected, hierarchical, learning memory. Activity reduction is accomplished with local com...
231
click to vote
ACL2
2006
ACM
15 years 12 months ago
2006
ACM
We have written a new records library for modelling fixedsize arrays and linear memories. Our implementation provides fixnum-optimized O(log2 n) reads and writes from ad