Sciweavers

5855 search results - page 182 / 1171
» Test generation and minimization with
Sort
View
MAM
2006
124views more  MAM 2006»
15 years 6 months ago
Design optimization and space minimization considering timing and code size via retiming and unfolding
The increasingly complicated DSP processors and applications with strict timing and code size constraints require design automation tools to consider multiple optimizations such a...
Qingfeng Zhuge, Chun Xue, Zili Shao, Meilin Liu, M...
GI
2007
Springer
16 years 21 days ago
Automated Test Case Selection Based on a Similarity Function
: A strategy for automatic test case selection based on the use of a similarity function is presented. Test case selection is a crucial activity to model-based testing since the nu...
Emanuela G. Cartaxo, Francisco G. Oliveira Neto, P...
SEW
2006
IEEE
16 years 16 days ago
Pseudo-Exhaustive Testing for Software
Pseudo-exhaustive testing uses the empirical observation that, for broad classes of software, a fault is likely triggered by only a few variables interacting. The method takes adv...
D. Richard Kuhn, Vadim Okun
MICCAI
2007
Springer
16 years 7 months ago
Endoscopic Navigation for Minimally Invasive Suturing
Manipulating small objects such as needles, screws or plates inside the human body during minimally invasive surgery can be very difficult for less experienced surgeons, due to the...
Armin Häberling, Charles Baur, Christian Weng...
MICCAI
2003
Springer
16 years 7 months ago
Cardiac Endoscopy Enhanced by Dynamic Organ Modeling for Minimally-Invasive Surgery Guidance
Abstract. The development of a 3D image guidance environment will significantly enhance the performance of minimally invasive robotically assisted cardiac surgery. We have previous...
Stanislaw Szpala, Gerard Guiraudon, Terry M. Peter...