2479 search results - page 41 / 496 » A Computational Theory of Working Memory |
VLSID
2007
IEEE
14 years 8 months ago
2007
IEEE
Today's feature-rich multimedia products require embedded system solution with complex System-on-Chip (SoC) to meet market expectations of high performance at a low cost and l...
TLCA
2007
Springer
14 years 1 months ago
2007
Springer
Inspired by recent work on normalisation by evaluation for sums, we propose a normalising and confluent extensional rewriting theory for the simply-typed λ-calculus extended with...
CHI
2007
ACM
14 years 8 months ago
2007
ACM
This work draws on studies which explore resistance to the music industry's construal of copying music files as theft. Following a previous ethnography on participants' ...
HIPC
2009
Springer
13 years 5 months ago
2009
Springer
Software transactional memory (STM) is an emerging concurrency control mechanism for shared memory accesses. Early abort is one of the important techniques to improve the executio...
HPCC
2009
Springer
14 years 6 days ago
2009
Springer
Compared with lock-based synchronization techniques, Software Transactional Memory (STM) can significantly improve the programmability of multithreaded applications. Existing res...