434 search results - page 54 / 87 » Detection and correction of design defects in object-oriente... |
ASPDAC
2004
ACM
13 years 11 months ago
2004
ACM
The design of complex systems is largely ruled by the time needed for verification. Even though formal methods can provide higher reliability, in practice often simulation based ve...
DSN
2007
IEEE
14 years 1 months ago
2007
IEEE
Transient faults are emerging as a critical concern in the reliability of general-purpose microprocessors. As architectural trends point towards multi-threaded multi-core designs,...
BILDMED
2007
13 years 9 months ago
2007
To assure a correct position and orientation of the patient’s eye in radiation treatment, a new approach in image-guided radiotherapy is used to determine the misalignment of the...
BMCBI
2008
13 years 7 months ago
2008
Background: DNA microarrays contain thousands of different probe sequences represented on their surface. These are designed in such a way that potential cross-hybridization reacti...
IROS
2008
IEEE
14 years 2 months ago
2008
IEEE
— We present a new behavior selection system for human-robot interaction that maps virtual buttons overlaid on the physical environment to the robot’s behaviors, thereby creati...