Abstract-- This paper extends the method of virtual constraints and hybrid zero dynamics, developed for rigid robots with a single degree of underactuation, to MABEL, a planar bipe...
Koushil Sreenath, Hae-Won Park, Ioannis Poulakakis...
We present a calculus for tracking equality relationships between values through pairs of bytecode programs. The calculus may serve as a certification mechanism for noninterferenc...
This paper explores the feasibility of and challenges in developing methods for black-box monitoring of a VM's power usage at runtime, on shared virtualized compute platforms...
Bhavani Krishnan, Hrishikesh Amur, Ada Gavrilovska...
The main goal of virtual reality based surgery simulators with haptic feedback is to provide an alternative to traditional training methods on animals, cadavers or real patients. ...
We introduce the coupled placement problem for modern data centers spanning placement of application computation and data among available server and storage resources. While the t...