Sciweavers

4507 search results - page 294 / 902
» Generalized Binet dynamics
Sort
View
ICRA
2006
IEEE
127views Robotics» more  ICRA 2006»
16 years 19 days ago
Contact Consistent Control Framework for Humanoid Robots
Abstract— This paper presents a framework for the dynamical formulation and control of humanoid systems. In this framework unactuated virtual joints are used to describe the huma...
Jaeheung Park, Oussama Khatib
ISLPED
2006
ACM
70views Hardware» more  ISLPED 2006»
16 years 17 days ago
Sub-threshold design: the challenges of minimizing circuit energy
In this paper, we identify the key challenges that oppose subthreshold circuit design and describe fabricated chips that verify techniques for overcoming the challenges. Categorie...
Benton H. Calhoun, Alice Wang, Naveen Verma, Anant...
BERTINORO
2005
Springer
16 years 4 days ago
Making Self-Adaptation an Engineering Reality
In this paper, we envision a world where a software engineer could take an existing software system, specify, for a set of properties of interest, an objective, conditions for chan...
Shang-Wen Cheng, David Garlan, Bradley R. Schmerl
GECCO
2005
Springer
118views Optimization» more  GECCO 2005»
16 years 4 days ago
G2DGA: an adaptive framework for internet-based distributed genetic algorithms
The Internet is different from traditional parallel computing environments, and Distributed Genetic Algorithms (DGAs) for the Internet need to be designed to address these diffe...
Johan Berntsson
CASSIS
2004
Springer
16 years 12 hour ago
A Type System for Checking Applet Isolation in Java Card
A Java Card applet is, in general, not allowed to access fields and methods of other applets on the same smart card. This applet isolation property is enforced by dynamic checks i...
Werner Dietl, Peter Müller, Arnd Poetzsch-Hef...