Sciweavers

570 search results - page 63 / 114
» The behavior of resistive circuits
Sort
View
ICRA
2003
IEEE
98views Robotics» more  ICRA 2003»
14 years 28 days ago
Stair descent in the simple hexapod 'RHex'
We present the first controller that allows our small hexapod robot, RHex, to descend a wide variety of regular sized, “real-world” stairs. After selecting one of two sets of ...
D. Campbell, Martin Buehler
PPSN
2000
Springer
13 years 11 months ago
Spatial Games with Adaptive Tit-For-Tats
This paper presents an adaptive tit-for-tat strategy and a study of its behavior in spatial IPD games. The adaptive tit-for-tat strategy is shown elsewhere to demonstrate high perf...
Elpida Tzafestas
ISVLSI
2007
IEEE
131views VLSI» more  ISVLSI 2007»
14 years 1 months ago
Improving the Quality of Bounded Model Checking by Means of Coverage Estimation
Formal verification has become an important step in circuit and system design. A prominent technique is Bounded Model Checking (BMC) which is widely used in industry. In BMC it i...
Ulrich Kühne, Daniel Große, Rolf Drechs...
VLSID
1999
IEEE
111views VLSI» more  VLSID 1999»
13 years 12 months ago
A New Approach for CMOS Op-Amp Synthesis
A new approach for CMOS op-amp circuit synthesis has proposed here. The approach is based on the observation that the rst order behavior of a MOS transistor in the saturation regi...
Pradip Mandal, V. Visvanathan
ICCD
1996
IEEE
104views Hardware» more  ICCD 1996»
13 years 11 months ago
Latch Redundancy Removal Without Global Reset
For circuits where there may be latches with no reset line, we show how to replace some of them with combinational logic. All previous work in sequential optimization by latch rem...
Shaz Qadeer, Robert K. Brayton, Vigyan Singhal