577 search results - page 12 / 116 » A neurodynamical model for working memory |
172
click to vote
ICS
1992
Tsinghua U.
15 years 9 months ago
1992
Tsinghua U.
Previous research has used program transformation to introduce parallelism and to exploit data locality. Unfortunately,these twoobjectives have usuallybeen considered independentl...
152
click to vote
ECTEL
2006
Springer
15 years 9 months ago
2006
Springer
To provide personalization and adaptivity in technology enhanced learning systems, the needs of learners have to be known by the system first. Detecting these needs is a challengin...
152
click to vote
EUROSYS
2008
ACM
16 years 2 months ago
2008
ACM
Programs written in type-unsafe languages such as C and C++ incur costly memory errors that result in corrupted data structures, program crashes, and incorrect results. We present...
140
click to vote
FMCAD
2007
Springer
15 years 11 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...
146
click to vote
DATE
2008
IEEE
16 years 3 days ago
2008
IEEE
The following study shows a direct comparison of memory write policies in Shared Memory Multicore Systems. Although there are much work and many studies about this issue, our work...