2756 search results - page 245 / 552 » Computation-Centric Memory Models |
168
click to vote
SP
2009
IEEE
16 years 25 days ago
2009
IEEE
We present a logic for reasoning about properties of secure systems. The logic is built around a concurrent programming language with constructs for modeling machines with shared ...
134
click to vote
ICPR
2008
IEEE
16 years 16 days ago
2008
IEEE
The conventional octree construction method is implemented iteratively at consecutive subdivision levels. The resultant octree models at different subdivision levels contain quite...
163
click to vote
MEMOCODE
2008
IEEE
16 years 14 days ago
2008
IEEE
—Caches are commonly employed to hide the latency gap between memory and the CPU by exploiting locality in memory accesses. The cache performance strongly influences a system’...
159
click to vote
DATE
2007
IEEE
16 years 13 days ago
2007
IEEE
Recently there has been considerable interest in incorporating timing effects of microarchitectural features of processors (e.g. caches and pipelines) into the schedulability anal...
163
click to vote
TPHOL
2007
IEEE
16 years 10 days ago
2007
IEEE
We formalise the data race free (DRF) guarantee provided by Java, as captured by the semi-formal Java Memory Model (JMM) [1] and published in the Java Language Specification [2]. ...