1410 search results - page 61 / 282 » A Logic for Virtual Memory |
263
click to vote
POPL
2007
ACM
16 years 4 months ago
2007
ACM
Constraint Handling Rules (CHR) is a concurrent committedchoice constraint logic programming language to describe transformations (rewritings) among multi-sets of constraints (ato...
147
click to vote
CORR
2011
Springer
14 years 10 months ago
2011
Springer
—We present a new model for distributed shared memory systems, based on remote data accesses. Such features are offered by network interface cards that allow one-sided operations...
125
click to vote
BMVC
2001
15 years 6 months ago
2001
We demonstrate a novel method for producing a synthetic talking head. The method is based on earlier work in which the behaviour of a synthetic individual is generated by referenc...
109
click to vote
ACSAC
2007
IEEE
15 years 10 months ago
2007
IEEE
The monitoring of virtual machines has many applications in areas such as security and systems management. A monitoring technique known as introspection has received significant ...
127
click to vote
MIDDLEWARE
2007
Springer
15 years 10 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...