2555 search results - page 67 / 511 » Quantifiers and Working Memory |
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...
CGO
2007
IEEE
15 years 4 months ago
2007
IEEE
There has been a flurry of recent work on the design of high performance software and hybrid hardware/software transactional memories (STMs and HyTMs). This paper reexamines the ...
FMCAD
2007
Springer
15 years 4 months ago
2007
Springer
—We show how to verify the correctness of transactional memory implementations with a model checker. We show how to specify transactional memory in terms of the admissible interc...
PPOPP
2005
ACM
15 years 3 months ago
2005
ACM
Writing concurrent programs is notoriously difficult, and is of increasing practical importance. A particular source of concern is n correctly-implemented concurrency abstraction...
IEEEPACT
1998
IEEE
15 years 2 months ago
1998
IEEE
This work identifies practical compiling techniques for scalable shared memory machines. For this, we have focused on experimental studies using a real machine and representative ...