Sciweavers

2756 search results - page 18 / 552
» Computation-Centric Memory Models
Sort
View
PPOPP
2009
ACM
16 years 9 days ago
A comparison of programming models for multiprocessors with explicitly managed memory hierarchies
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...
Scott Schneider, Jae-Seung Yeom, Benjamin Rose, Jo...
PLDI
2012
ACM
13 years 2 months ago
Dynamic synthesis for relaxed memory models
Modern architectures implement relaxed memory models which may reorder memory operations or execute them non-atomically. Special instructions called memory fences are provided, al...
Feng Liu, Nayden Nedev, Nedyalko Prisadnikov, Mart...
EMS
2008
IEEE
15 years 6 months ago
Modelling the Relationship between Visual Short-Term Memory Capacity and Recall Ability
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...
Richard Ll. Smith, Peter C. R. Lane, Fernand Gobet
SPIN
2010
Springer
14 years 10 months ago
An Automata-Based Symbolic Approach for Verifying Programs on Relaxed Memory Models
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...
Alexander Linden, Pierre Wolper
ICMLA
2010
14 years 9 months ago
Nonlinear Dynamical Multi-Scale Model of Associative Memory
How can we get such reliable behavior from the mind when the brain is made up of such unreliable elements as neurons? We propose that the answer is related to the emergence of stab...
Alexander M. Duda, Stephen E. Levinson