Sciweavers

2838 search results - page 359 / 568
» Verifying Controlled Components
Sort
View
ICCD
2006
IEEE
312views Hardware» more  ICCD 2006»
15 years 9 months ago
A Design Approach for Fine-grained Run-Time Power Gating using Locally Extracted Sleep Signals
— Leakage power dissipation becomes a dominant component in operation power in nanometer devices. This paper describes a design methodology to implement runtime power gating in a...
Kimiyoshi Usami, Naoaki Ohkubo
87
Voted
SACMAT
2009
ACM
15 years 7 months ago
Automating role-based provisioning by learning from examples
Role-based provisioning has been adopted as a standard component in leading Identity Management products due to its low administration cost. However, the cost of adjusting existin...
Qun Ni, Jorge Lobo, Seraphin B. Calo, Pankaj Rohat...
77
Voted
CDC
2008
IEEE
143views Control Systems» more  CDC 2008»
15 years 7 months ago
A nonlinear, control-oriented model for ionic polymer-metal composite actuators
Ionic polymer-metal composites (IPMCs) form an important category of electroactive polymers and have many potential applications in biomedical, robotic and micro/nano manipulation ...
Zheng Chen, Dawn R. Hedgepeth, Xiaobo Tan
CDC
2008
IEEE
152views Control Systems» more  CDC 2008»
15 years 7 months ago
Non-uniform small-gain theorems for systems with unstable invariant sets
— We consider the problem of small-gain analysis of asymptotic behavior in interconnected nonlinear dynamic systems. Mathematical models of these systems are allowed to be uncert...
Ivan Tyukin, Erik Steur, Henk Nijmeijer, Cees van ...
84
Voted
ICRA
2008
IEEE
181views Robotics» more  ICRA 2008»
15 years 7 months ago
Kinematics of the wire-driven parallel robot MARIONET using linear actuators
— Wire-driven parallel robots are special types of Gough-Stewart platform in which the rigid extensible legs are substituted by extensible wires. Usually wire length change is ob...
Jean-Pierre Merlet