962 search results - page 81 / 193 » Input validation analysis and testing |
DATE
2009
IEEE
14 years 5 months ago
2009
IEEE
—Verification is a major issue in circuit and system design. Formal methods like bounded model checking (BMC) can guarantee a high quality of the verification. There are severa...
IROS
2009
IEEE
14 years 4 months ago
2009
IEEE
Abstract— Salamanders propel themselves by proper coordination of limb movements and body undulations. This type of locomotion is interesting for robotics to design robots capabl...
DATE
2006
IEEE
14 years 4 months ago
2006
IEEE
Power distribution and signal transmission are becoming key limiters for chip performance in nanometer era. These issues can be simultaneously addressed by designing transmission ...
ECOOP
2008
Springer
13 years 12 months ago
2008
Springer
Inconsistency between metadata and code customizations is a major concern in modern, configurable enterprise systems. The increasing reliance on metadata, in the form of XML files,...
ISMB
1994
13 years 11 months ago
1994
Adaptive resonance theory (ART)describes a class of artificial neural networkarchitectures that act as classification tools whichself-organize, workin realtime, and require no ret...