4747 search results - page 295 / 950 » Shuffle Memory System |
126
click to vote
HPCA
2009
IEEE
16 years 5 months ago
2009
IEEE
The verification of an execution against memory consistency is known to be NP-hard. This paper proposes a novel fast memory consistency verification method by identifying a new na...
139
Voted
POPL
2010
ACM
16 years 2 months ago
2010
ACM
We address the verification problem of finite-state concurrent programs running under weak memory models. These models capture the reordering of program (read and write) operation...
149
Voted
ASPLOS
2006
ACM
15 years 6 months ago
2006
ACM
Different uses of memory protection schemes have different needs in terms of granularity. For example, heap security can benefit from chunk separation (by using protected "pa...
123
click to vote
COMPUTER
1998
15 years 4 months ago
1998
ion layer3,4 hides hardware particulars from the higher levels of software but can also compromise performance and compatibility; the higher levels of software often make unwitting...
149
click to vote
SASO
2008
IEEE
15 years 11 months ago
2008
IEEE
This work extends the Particle Swarm Optimization (PSO) algorithm for working on dynamic environments. We propose an evaporation mechanism to solve the outdated memory problem. We...