913 search results - page 146 / 183 » Full Abstraction for Linda |
133
click to vote
SOSP
2003
ACM
15 years 11 months ago
2003
ACM
Numerous systems have been designed which use virtualization to subdivide the ample resources of a modern computer. Some require specialized hardware, or cannot support commodity ...
120
click to vote
SOSP
2005
ACM
15 years 11 months ago
2005
ACM
This paper presents the design and an evaluation of Mondrix, a version of the Linux kernel with Mondriaan Memory Protection (MMP). MMP is a combination of hardware and software th...
120
click to vote
WISEC
2010
ACM
15 years 9 months ago
2010
ACM
Abstract A Martian who arrived on Earth today would surely conclude that computing and communications security are in a crisis situation. The popular media as well as technical pub...
131
click to vote
PPOPP
2010
ACM
15 years 8 months ago
2010
ACM
This paper presents an analytical model to predict the performance of general-purpose applications on a GPU architecture. The model is designed to provide performance information ...
133
click to vote
PLDI
2009
ACM
15 years 8 months ago
2009
ACM
We present the first machine-checked correctness proof for information flow control (IFC) based on program dependence graphs (PDGs). IFC based on slicing and PDGs is flow-sensi...