1549 search results - page 280 / 310 » A Formal Approach for the Development of Automated Systems |
DAC
1998
ACM
14 years 8 months ago
1998
ACM
Digital system designs are the product of valuable effort and knowhow. Their embodiments, from software and HDL program down to device-level netlist and mask data, represent caref...
HICSS
2008
IEEE
14 years 1 months ago
2008
IEEE
This paper describes the design of a test suite for thorough evaluation of web application scanners. Web application scanners are automated, black-box testing tools that examine w...
IESS
2007
Springer
14 years 1 months ago
2007
Springer
: Much effort in RTL design has been devoted to developing “push-button” types of tools. However, given the highly complex nature, and lack of control on RTL design, push-butt...
ICMCS
2005
IEEE
14 years 1 months ago
2005
IEEE
Computer vision and pattern recognition systems play an important role in our lives by means of automated face detection, face and gesture recognition, and estimation of gender an...
ISPD
2005
ACM
14 years 29 days ago
2005
ACM
Modern advances in reconfigurable analog technologies are allowing field-programmable analog arrays (FPAAs) to dramatically grow in size, flexibility, and usefulness. With thes...