1410 search results - page 108 / 282 » A Logic for Virtual Memory |
115
click to vote
JVM
2001
15 years 5 months ago
2001
For the application of Java in realtime and safety critical domains, an analysis of the worst-case execution times of primitive Java operations is necessary. All primitive operati...
115
click to vote
ICCAD
2008
IEEE
16 years 1 months ago
2008
IEEE
— In an incompletely specified function f, don’t care values can be chosen to minimize the number of variables to represent f. It is shown that, in incompletely specified fun...
149
click to vote
ESOP
2007
Springer
15 years 10 months ago
2007
Springer
We study the relationship between Concurrent Separation Logic (CSL) and the assume-guarantee (A-G) method (a.k.a. rely-guarantee method). We show in three steps that CSL can be tre...
138
click to vote
PERCOM
2009
ACM
16 years 5 months ago
2009
ACM
Abstract--Presence, broadly defined as an event publishnotification infrastructure for converged applications, has emerged as a key mechanism for collecting and disseminating conte...
117
click to vote
FPL
1998
Springer
15 years 8 months ago
1998
Springer
The readily available performance advantages, gained in early virtual circuitry systems, are being recouped following advances in general purpose processor architectures and have ...