Sciweavers

1755 search results - page 123 / 351
» Design and Implementation of Virtual Organizations
Sort
View
ICRA
2000
IEEE
141views Robotics» more  ICRA 2000»
15 years 8 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...
161
Voted
VEE
2009
ACM
130views Virtualization» more  VEE 2009»
15 years 8 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 6 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 ...
TASLP
2010
99views more  TASLP 2010»
15 years 2 months ago
A Virtual Model of Spring Reverberation
—The digital emulation of analog audio effects and synthesis components, through the simulation of lumped circuit components has seen a large amount of activity in recent years; ...
Stefan Bilbao, Julian Parker
116
Voted
MICRO
2000
IEEE
68views Hardware» more  MICRO 2000»
15 years 8 months ago
Efficient checker processor design
The design and implementation of a modern microprocessor creates many reliability challenges. Designers must verify the correctness of large complex systems and construct implemen...
Saugata Chatterjee, Christopher T. Weaver, Todd M....