Sciweavers

865 search results - page 132 / 173
» Uncertainty Reduction Using Dynamics
Sort
View
130
Voted
EGC
2005
Springer
15 years 8 months ago
Grid Access Middleware for Handheld Devices
Abstract. Grid technology attempts to support flexible, secure, coordinated information sharing among dynamic collections of individuals, institutions, and resources. The use of G...
Saad Liaquat Kiani, Maria Riaz, Sungyoung Lee, Tae...
SPIN
2005
Springer
15 years 7 months ago
Symbolic Model Checking for Asynchronous Boolean Programs
Abstract. Software model checking problems generally contain two different types of non-determinism: 1) non-deterministically chosen values; 2) the choice of interleaving among th...
Byron Cook, Daniel Kroening, Natasha Sharygina
125
Voted
GLVLSI
2003
IEEE
185views VLSI» more  GLVLSI 2003»
15 years 7 months ago
Shielding effect of on-chip interconnect inductance
—Interconnect inductance introduces a shielding effect which decreases the effective capacitance seen by the driver of a circuit, reducing the gate delay. A model of the effectiv...
Magdy A. El-Moursy, Eby G. Friedman
96
Voted
ICRA
2002
IEEE
115views Robotics» more  ICRA 2002»
15 years 7 months ago
Parametric Primitives for Motor Representation and Control
The use of motor primitives for the generation of complex movements is a relatively new and interesting idea for dimensionality reduction in robot control. We propose a framework ...
R. Amit, Maja J. Mataric
ISSS
1999
IEEE
125views Hardware» more  ISSS 1999»
15 years 6 months ago
Real-Time Task Scheduling for a Variable Voltage Processor
This paper presents a real-time task scheduling technique with a variable voltage processor which can vary its supply voltage dynamically. Using such a processor, running tasks wi...
Takanori Okuma, Tohru Ishihara, Hiroto Yasuura