Sciweavers

1646 search results - page 224 / 330
» Inlining of Virtual Methods
Sort
View
CDC
2010
IEEE
145views Control Systems» more  CDC 2010»
13 years 4 months ago
Design and experimental implementation of a compliant hybrid zero dynamics controller for walking on MABEL
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...
JLP
2010
142views more  JLP 2010»
13 years 4 months ago
Relational bytecode correlations
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...
Lennart Beringer
SIGMETRICS
2010
ACM
103views Hardware» more  SIGMETRICS 2010»
13 years 4 months ago
VM power metering: feasibility and challenges
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...
HAPTICS
2011
IEEE
13 years 1 months ago
Experimental evaluation of a haptic interface for endoscopic simulation
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. ...
Evren Samur, Lionel Flaction, Hannes Bleuler
IPPS
2009
IEEE
14 years 4 months ago
Coupled placement in modern data centers
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...
Madhukar R. Korupolu, Aameek Singh, Bhuvan Bamba