3872 search results - page 117 / 775 » The Java memory model |
171
click to vote
NN
2011
Springer
14 years 5 months ago
2011
Springer
Neurodynamical models of working memory (WM) should provide mechanisms for storing, maintaining, retrieving, and deleting information. Many models address only a subset of these a...
142
click to vote
APLAS
2011
ACM
14 years 2 months ago
2011
ACM
Modern multi-core microprocessors implement weak memory consistency models; programming for these architectures is a challenge. This paper solves a problem open for ten years, and ...
120
click to vote
CAV
2010
Springer
15 years 6 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...
112
click to vote
ENTCS
2007
15 years 2 months ago
2007
There have been several research works that analyze and optimize programs using temporal logic. However, no evaluation of optimization time or execution time of these implementati...
ECOOP
2005
Springer
15 years 8 months ago
2005
Springer
Traits support the factoring out of common behaviour, and its integration into classes in a manner that coexists smoothly with inheritance-based structuring mechanisms. We designed...