2555 search results - page 67 / 511 » Quantifiers and Working Memory |
130
click to vote
EMS
2008
IEEE
16 years 19 days 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...
132
click to vote
CGO
2007
IEEE
16 years 15 days 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 ...
146
click to vote
FMCAD
2007
Springer
16 years 10 days 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...
139
click to vote
PPOPP
2005
ACM
15 years 11 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...
174
click to vote
IEEEPACT
1998
IEEE
15 years 10 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 ...