2805 search results - page 91 / 561 » Modeling Memory for Melodies |
141
click to vote
CORR
2010
Springer
15 years 3 months ago
2010
Springer
Abstract--Flash memory is well-known for its inherent asymmetry: the flash-cell charge levels are easy to increase but are hard to decrease. In a general rewriting model, the store...
154
click to vote
IPPS
2003
IEEE
15 years 11 months ago
2003
IEEE
Widespread adaptation of shared memory programming for High Performance Computing has been inhibited by a lack of standardization and the resulting portability problems between pl...
193
click to vote
CAV
2004
Springer
15 years 9 months ago
2004
Springer
We study the problem of formally verifying shared memory multiprocessor executions against memory consistency models--an important step during post-silicon verification of multipro...
144
click to vote
WADS
2007
Springer
16 years 1 days ago
2007
Springer
In the faulty-memory RAM model, the content of memory cells can get corrupted at any time during the execution of an algorithm, and a constant number of uncorruptible registers are...
161
click to vote
VMV
2004
15 years 7 months ago
2004
Efficiently rendering highly structured models distant from the viewer constitutes a difficult task since the geometric complexity has to be reduced extremely while simultaneously...