Sciweavers

789 search results - page 9 / 158
» simulation 1998
Sort
View
DFT
1998
IEEE
129views VLSI» more  DFT 1998»
14 years 2 months ago
Accurate Fault Modeling and Fault Simulation of Resistive Bridges
Vijay R. Sar-Dessai, D. M. H. Walker
ICRA
1998
IEEE
59views Robotics» more  ICRA 1998»
14 years 2 months ago
Dynamic Transition Simulation of a Walking Anthropomorphic Robot
Olivier Bruneau, Fathi Ben Ouezdou, Pierre-Brice W...
DAC
1998
ACM
14 years 2 months ago
Hybrid Verification Using Saturated Simulation
Adnan Aziz, James H. Kukula, Thomas R. Shiple
FMCAD
1998
Springer
14 years 2 months ago
An Assume-Guarantee Rule for Checking Simulation
Thomas A. Henzinger, Shaz Qadeer, Sriram K. Rajama...