Sciweavers

1585 search results - page 246 / 317
» Automatically optimizing secure computation
Sort
View
IPPS
2003
IEEE
15 years 5 months ago
The CoGenT Project: Co-Generating Compilers and Simulators for Dynamically Compiled Languages
To understand the performance of modern Java systems one must observe execution in the context of specific architectures. It is also important that we make these observations usi...
J. Eliot B. Moss, Charles C. Weems, Timothy Richar...
SC
2003
ACM
15 years 5 months ago
GridSAT: A Chaff-based Distributed SAT Solver for the Grid
We present GridSAT, a parallel and complete satisfiability solver designed to solve non-trivial SAT problem instances using a large number of widely distributed and heterogeneous...
Wahid Chrabakh, Richard Wolski
IEEEPACT
2002
IEEE
15 years 4 months ago
Application Transformations for Energy and Performance-Aware Device Management
Energy conservation without performance degradation is an important goal for battery-operated computers, such as laptops and hand-held assistants. In this paper we determine the p...
Taliver Heath, Eduardo Pinheiro, Jerry Hom, Ulrich...
SIGGRAPH
2010
ACM
15 years 4 months ago
Terrain-adaptive bipedal locomotion control
We describe a framework for the automatic synthesis of biped locomotion controllers that adapt to uneven terrain at run-time. The framework consists of two components: a per-foots...
Jia-chi Wu, Zoran Popovic
SIGGRAPH
2010
ACM
15 years 4 months ago
Feature-based locomotion controllers
This paper introduces an approach to control of physics-based characters based on high-level features of movement, such as centerof-mass, angular momentum, and end-effectors. Obje...
Martin de Lasa, Igor Mordatch, Aaron Hertzmann