2035 search results - page 57 / 407 » Working memory |
126
click to vote
ICCAD
2003
IEEE
15 years 8 months ago
2003
IEEE
The design of a test response compactor called a Block Compactor is given. Block Compactors belong to a new class of compactors called Finite Memory Compactors. Different from spa...
253
click to vote
POPL
2009
ACM
16 years 3 months ago
2009
ACM
Memory models define an interface between programs written in some language and their implementation, determining which behaviour the memory (and thus a program) is allowed to hav...
123
click to vote
CAV
2010
Springer
15 years 7 months ago
2010
Springer
We present a class of relaxed memory models, defined in Coq, parameterised by the chosen permitted local reorderings of reads and writes, and the visibility of inter- and intra-pr...
211
click to vote
SIGMOD
2009
ACM
16 years 3 months ago
2009
ACM
Column-oriented database systems [19, 23] perform better than traditional row-oriented database systems on analytical workloads such as those found in decision support and busines...
123
click to vote
PPOPP
2010
ACM
16 years 8 days ago
2010
ACM
Transactional Memory (TM) is considered as one of the most promising paradigms for developing concurrent applications. TM has been shown to scale well on multiple cores when the d...