1410 search results - page 141 / 282 » A Logic for Virtual Memory |
118
click to vote
SIGMETRICS
1995
ACM
15 years 8 months ago
1995
ACM
Talisman is a simulator that models the execution semantics and timing of a multicomputer. Talisman is unique in combining high semantic accuracy, high timing accuracy, portabilit...
151
Voted
IEEEIAS
2009
IEEE
15 years 2 months ago
2009
IEEE
In this paper, we propose a framework to develop highperformance system accelerator hardware and the corresponding software at system-level. This framework is designed by integrat...
143
click to vote
SIGMETRICS
2010
ACM
14 years 11 months ago
2010
ACM
This paper explores the feasibility of and challenges in developing methods for black-box monitoring of a VM's power usage at runtime, on shared virtualized compute platforms...
135
Voted
TLDI
2009
ACM
16 years 1 months ago
2009
ACM
We propose a dependent type theory that integrates programming, specifications, and reasoning about higher-order concurrent programs with shared transactional memory. The design ...
123
click to vote
ECIS
2000
15 years 6 months ago
2000
This paper considers how we are constructing and modelling digital realities, and considers the relationships between digital realities and our reality using concepts from traditio...