2555 search results - page 262 / 511 » Quantifiers and Working Memory |
141
click to vote
TPHOL
2007
IEEE
15 years 11 months 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]. ...
128
click to vote
ESA
2007
Springer
15 years 11 months ago
2007
Springer
It is well known that n integers in the range [1, nc ] can be sorted in O(n) time in the RAM model using radix sorting. More generally, integers in any range [1, U] can be sorted i...
146
click to vote
LCTRTS
2007
Springer
15 years 11 months ago
2007
Springer
Memory management is a critical issue for correctness and performance in real-time embedded systems. Recent work on real-time garbage collectors has shown that it is possible to p...
133
click to vote
MIDDLEWARE
2007
Springer
15 years 11 months ago
2007
Springer
This paper presents the design and implementation of XenSocket, a UNIX-domain-socket-like construct for high-throughput interdomain (VM-to-VM) communication on the same system. The...
132
click to vote
TACAS
2007
Springer
15 years 10 months ago
2007
Springer
This paper presents a mechanised Hoare-style programming logic framework for assembly level programs. The framework has been designed to fit on top of operational semantics of rea...