1410 search results - page 191 / 282 » A Logic for Virtual Memory |
163
click to vote
TPHOL
2007
IEEE
16 years 12 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]. ...
133
click to vote
PADS
2004
ACM
15 years 11 months ago
2004
ACM
In optimistic simulations, checkpointing techniques are often used to reduce the overhead caused by state saving. In this paper, we propose event reconstruction as a technique wit...
173
click to vote
ICBA
2004
Springer
15 years 11 months ago
2004
Springer
The 9/11 tragedy triggered an increased interest in biometric passports. According to several sources [2], the electronic ID market is expected to increase by more than 50% per ann...
184
click to vote
CASES
2003
ACM
15 years 11 months ago
2003
ACM
Dynamic software optimization methods are becoming increasingly popular for improving software performance and power. The first step in dynamic optimization consists of detecting ...
152
click to vote
FM
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. Program certification techniques formally show that programs satisfy certain safety policies. They rely on the correctness of the safety policy which has to be establish...