Sciweavers

854 search results - page 71 / 171
» Stability of boundary measures
Sort
View
JCP
2008
141views more  JCP 2008»
14 years 11 months ago
Leakage Controlled Read Stable Static Random Access Memories
Semiconductor manufacturing process scaling increases leakage and transistor variations, both of which are problematic for static random access memory (SRAM). Since SRAM is a criti...
Sayeed A. Badrudduza, Ziyan Wang, Giby Samson, Law...
ICIP
2001
IEEE
16 years 19 days ago
Image motion estimation-convergence and error analysis
The paper computes the reliability of estimates of image motion parameters. The use of such measures of reliability to weight motion estimates improves significantly the performan...
José M. F. Moura, Pedro M. Q. Aguiar
ICCD
2004
IEEE
98views Hardware» more  ICCD 2004»
15 years 8 months ago
Coping with The Variability of Combinational Logic Delays
Abstract— This paper proposes a technique for creating a combinational logic network with an output that signals when all other outputs have stabilized. The method is based on du...
Jordi Cortadella, Alex Kondratyev, Luciano Lavagno...
IFL
2007
Springer
221views Formal Methods» more  IFL 2007»
15 years 5 months ago
From Contracts Towards Dependent Types: Proofs by Partial Evaluation
Abstract. The specification and resolution of non-trivial domain constraints has become a well-recognised measure for improving the stability of large software systems. In this pa...
Stephan Herhut, Sven-Bodo Scholz, Robert Bernecky,...
IROS
2006
IEEE
99views Robotics» more  IROS 2006»
15 years 5 months ago
A Cartesian Compliance Controller for a Manipulator Mounted on a Flexible Structure
— In this paper the Cartesian compliance control of a manipulator mounted on a flexible base is considered. The proposed control law aims at achieving a desired stiffness and da...
Christian Ott, Alin Albu-Schäffer, Gerd Hirzi...