Sciweavers

883 search results - page 72 / 177
» Design and Implementation of a Virtual Salesclerk
Sort
View
ICRA
2000
IEEE
141views Robotics» more  ICRA 2000»
15 years 4 months ago
Haptic Rendering of Planar Rigid-Body Motion using a Redundant Parallel Mechanism
We present a system for rendering planar rigid-body motion by means of a redundant parallel mechanism. The device design, the control architecture and the passive virtual environm...
Daniela Constantinescu, Icarus Chau, Simon P. DiMa...
SIGCOMM
2010
ACM
15 years 1 days ago
The OKL4 microvisor: convergence point of microkernels and hypervisors
We argue that recent hypervisor-vs-microkernel discussions completely miss the point. Fundamentally, the two classes of systems h in common, and provide similar abstractions. We a...
Gernot Heiser, Ben Leslie
VEE
2009
ACM
130views Virtualization» more  VEE 2009»
15 years 4 months ago
Post-copy based live virtual machine migration using adaptive pre-paging and dynamic self-ballooning
We present the design, implementation, and evaluation of post-copy based live migration for virtual machines (VMs) across a Gigabit LAN. Live migration is an indispensable feature...
Michael R. Hines, Kartik Gopalan
CCS
2008
ACM
15 years 1 months ago
CMV: automatic verification of complete mediation for java virtual machines
Runtime monitoring systems play an important role in system security, and verification efforts that ensure that these systems satisfy certain desirable security properties are gro...
A. Prasad Sistla, V. N. Venkatakrishnan, Michelle ...
SIGMETRICS
2008
ACM
159views Hardware» more  SIGMETRICS 2008»
14 years 11 months ago
Weighted fair sharing for dynamic virtual clusters
In a shared server infrastructure, a scheduler controls how quantities of resources are shared over time in a fair manner across multiple, competing consumers. It should support w...
Laura E. Grit, Jeffrey S. Chase