1410 search results - page 61 / 282 » A Logic for Virtual Memory |
204
click to vote
POPL
2007
ACM
16 years 5 days 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...
110
click to vote
CORR
2011
Springer
14 years 6 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...
BMVC
2001
15 years 2 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...
ACSAC
2007
IEEE
15 years 6 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 ...
MIDDLEWARE
2007
Springer
15 years 6 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...