Sciweavers

1453 search results - page 128 / 291
» State and history in operating systems
Sort
View
IJRR
2006
115views more  IJRR 2006»
15 years 6 months ago
Knotting/Unknotting Manipulation of Deformable Linear Objects
Here, we propose a planning method for knotting/unknotting of deformable linear objects. First, we propose a topological description of the state of a linear object. Second, trans...
Hidefumi Wakamatsu, Eiji Arai, Shinichi Hirai
ESOP
2009
Springer
16 years 1 months ago
Practical Variable-Arity Polymorphism
Just as some functions have uniform behavior over distinct types, other functions have uniform behavior over distinct arities. These variable-arity functions are widely used in scr...
T. Stephen Strickland, Sam Tobin-Hochstadt, Matthi...
SOSP
2007
ACM
16 years 3 months ago
Attested append-only memory: making adversaries stick to their word
Researchers have made great strides in improving the fault tolerance of both centralized and replicated systems against arbitrary (Byzantine) faults. However, there are hard limit...
Byung-Gon Chun, Petros Maniatis, Scott Shenker, Jo...
SP
2006
IEEE
148views Security Privacy» more  SP 2006»
16 years 11 days ago
SubVirt: Implementing malware with virtual machines
Attackers and defenders of computer systems both strive to gain complete control over the system. To maximize their control, both attackers and defenders have migrated to low-leve...
Samuel T. King, Peter M. Chen, Yi-Min Wang, Chad V...
TSMC
2008
110views more  TSMC 2008»
15 years 6 months ago
Navigation Technologies for Autonomous Underwater Vehicles
With recent advances in battery capacity and the development of hydrogen fuel cells, autonomous underwater vehicles (AUVs) are being used to undertake longer missions that were pre...
L. Stutters, Honghai Liu, C. Tiltman, David J. Bro...