Sciweavers

1229 search results - page 53 / 246
» Live updating operating systems using virtualization
Sort
View
OSDI
2002
ACM
16 years 1 months ago
The Design and Implementation of Zap: A System for Migrating Computing Environments
We have created Zap, a novel system for transparent migration of legacy and networked applications. Zap provides a thin virtualization layer on top of the operating system that in...
Steven Osman, Dinesh Subhraveti, Gong Su, Jason Ni...
HRI
2009
ACM
15 years 8 months ago
Probo: a testbed for human robot interaction
The concept of the huggable robot Probo is a result of the desire to improve the living conditions of children in hospital environment. These children need distraction and lots of...
Kristof Goris, Jelle Saldien, Dirk Lefeber
IFM
2010
Springer
147views Formal Methods» more  IFM 2010»
14 years 11 months ago
Symbolic Model-Checking of Optimistic Replication Algorithms
Abstract. The Operational Transformation (OT) approach, used in many collaborative editors, allows a group of users to concurrently update replicas of a shared object and exchange ...
Hanifa Boucheneb, Abdessamad Imine, Manal Najem
ICRA
2003
IEEE
97views Robotics» more  ICRA 2003»
15 years 6 months ago
Wearable-based evaluation of human-robot interactions in robot path-planning
In Robotics, many path-planning algorithms have been proposed but almost all are evaluated only by their path lengths in PC. However, the evaluation is completely independent of a...
Ritsu Shikata, Takayuki Goto, Hiroshi Noborio, Hir...
LISA
2008
15 years 3 months ago
Sysman: A Virtual File System for Managing Clusters
Sysman is a system management infrastructure for clusters and data centers similar to the /proc file system. It provides a familiar yet powerful interface for the management of se...
Mohammad Banikazemi, David Daly, Bülent Abali