434 search results - page 24 / 87 » Detection and correction of design defects in object-oriente... |
LREC
2008
13 years 9 months ago
2008
The aim of this paper is to present the design of a multimodal database suitable for research on new possibilities for automatic diagnosis of patients with severe obstructive slee...
ISCA
2005
IEEE
14 years 1 months ago
2005
IEEE
As chip densities and clock rates increase, processors are becoming more susceptible to transient faults that can affect program correctness. Up to now, system designers have prim...
SAT
2010
Springer
13 years 11 months ago
2010
Springer
Robustness and correctness are essential criteria for SAT and QBF solvers. We develop automated testing and debugging techniques designed and optimized for SAT and QBF solver devel...
JSS
2007
13 years 7 months ago
2007
Designing large software systems out of reusable components has become increasingly popular. Although liberal composition of reusable components saves time and expense, many exper...
MICCAI
2004
Springer
14 years 8 months ago
2004
Springer
The MicroTactus is a family of instruments that we have designed to detect signals arising from the interaction of a tip with soft or hard objects and to magnify them for haptic an...