2805 search results - page 40 / 561 » Modeling Memory for Melodies |
PPOPP
2009
ACM
15 years 10 months ago
2009
ACM
On multiprocessors with explicitly managed memory hierarchies (EMM), software has the responsibility of moving data in and out of fast local memories. This task can be complex and...
EMS
2008
IEEE
15 years 4 months ago
2008
IEEE
Previous cognitive modelling work has suggested that the decline of short-term memory (STM) capacity is the dominant factor of age-related decline on recall ability. We report the...
ECOOP
2008
Springer
14 years 11 months ago
2008
Springer
Abstract. We analyse the validity of several common program transformations in multi-threaded Java, as defined by the Java Memory Model (JMM) section of Chapter 17 of the Java Lang...
NIPS
1997
14 years 11 months ago
1997
A rich body of data exists showing that recollection of specific information makes an important contribution to recognition memory, which is distinct from the contribution of fam...
SPIN
2010
Springer
14 years 8 months ago
2010
Springer
This paper addresses the problem of verifying programs for the relaxed memory models implemented in modern processors. Specifically, it considers the TSO (Total Store Order) relax...