Sciweavers

1290 search results - page 26 / 258
» Data Dependence Testing in Practice
Sort
View
FATES
2003
Springer
14 years 2 months ago
JMLAutoTest: A Novel Automated Testing Framework Based on JML and JUnit
Abstract. Writing specifications using Java Modeling Language has been accepted for a long time as a practical approach to increasing the correctness and quality of Java programs. ...
Guoqing Xu, Zongyuang Yang
TCAD
2008
114views more  TCAD 2008»
13 years 8 months ago
Test-Quality/Cost Optimization Using Output-Deviation-Based Reordering of Test Patterns
At-speed functional testing, delay testing, and n-detection test sets are being used today to detect deep submicrometer defects. However, the resulting test data volumes are too hi...
Zhanglei Wang, Krishnendu Chakrabarty
HRI
2007
ACM
14 years 19 days ago
To kill a mockingbird robot
Robots are being introduced in our society but their social status is still unclear. A critical issue is if the robot's exhibition of intelligent life-like behavior leads to ...
Christoph Bartneck, Marcel Verbunt, Omar Mubin, Ab...
ICPR
2008
IEEE
14 years 10 months ago
Practical pure pan and pure tilt camera calibration
Often the deployed pan-tilt-zoom (PTZ) cameras undergo a pure pan or pure tilt rotation. This is a degenerate case for most of the PTZ camera calibration methods. That is, under t...
Hassan Foroosh, Imran N. Junejo
DAC
1998
ACM
14 years 9 months ago
Practical Experiences with Standard-Cell Based Datapath Design Tools: Do We Really Need Regular Layouts?
Commercial tools for standard-cell based datapath design are here classed according to design flows, and the advantages of each class are discussed with the results of two test ci...
Alexander Grießing, Paolo Ienne