3872 search results - page 223 / 775 » The Java memory model |
168
click to vote
LFCS
2009
Springer
15 years 9 months ago
2009
Springer
Memory logics are a family of modal logics in which standard relational structures are augmented with data structures and additional operations to modify and query these structure...
110
click to vote
ICPP
1997
IEEE
15 years 7 months ago
1997
IEEE
Most of recent research on distributed shared memory (DSM)systems have focused on either careful design of node controllersor cache coherenceprotocols. Whileevaluating these desig...
135
click to vote
CCS
2007
ACM
15 years 9 months ago
2007
ACM
As computing models change, so too do the demands on storage. Distributed and virtualized systems introduce new vulnerabilities, assumptions, and performance requirements on disks...
118
click to vote
CONCUR
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. Reactive systems are often modelled as two person antagonistic games where one player represents the system while his adversary represents the environment. Undoubtedly, t...
136
click to vote
BDA
2003
15 years 4 months ago
2003
Pervasive computing introduces data management requirements that must be tackled in a growingvariety of lightweight computing devices. Personal folders on chip, networks of sensor...