Sciweavers

2756 search results - page 135 / 552
» Computation-Centric Memory Models
Sort
View
CONCUR
2008
Springer
15 years 6 months ago
Completeness and Nondeterminism in Model Checking Transactional Memories
Software transactional memory (STM) offers a disciplined concurrent programming model for exploiting the parallelism of modern processor architectures. This paper presents the firs...
Rachid Guerraoui, Thomas A. Henzinger, Vasu Singh
DC
2010
15 years 4 months ago
Model checking transactional memories
Model checking software transactional memories (STMs) is difficult because of the unbounded number, length, and delay of concurrent transactions and the unbounded size of the memo...
Rachid Guerraoui, Thomas A. Henzinger, Vasu Singh
BC
2008
92views more  BC 2008»
15 years 4 months ago
Attractor models of working memory and their modulation by reward
This work reports an empirical examination of two key issues in theoretical neuroscience: distractibility in the context of working memory (WM) and its reward dependence. While the...
Justin R. Chumbley, Raymond J. Dolan, Karl J. Fris...
MCS
2007
Springer
15 years 4 months ago
Finite element approach to modelling evolution of 3D shape memory materials
A general finite element framework for the application to different types of phase transforming alloys and under general thermomechanical loadings is presented. The developed tec...
D. Roy Mahapatra, Roderick V. N. Melnik
VLDB
1990
ACM
77views Database» more  VLDB 1990»
15 years 8 months ago
Efficient Main Memory Data Management Using the DBGraph Storage Model
Therequirementsfor amain memorydatastoragemodel are both compactnessand efficient processing for all database operations. The DBGraph storage model, proposed in this paper, achiev...
Philippe Pucheral, Jean-Marc Thévenin, Patr...