2132 search results - page 180 / 427 » Automated software winnowing |
113
Voted
TCAD
2010
14 years 10 months ago
2010
Abstract--Functional verification is one of the major bottlenecks in system-on-chip design due to the combined effects of increasing complexity and lack of automated techniques for...
126
Voted
TCIAIG
2010
14 years 10 months ago
2010
Abstract--Fingerprinting operators generate functional signatures of game players and are useful for their automated analysis independent of representation or encoding. The theory ...
155
Voted
ICST
2011
IEEE
14 years 7 months ago
2011
IEEE
User input validation is a technique to counter attacks on web applications. In typical client-server architectures, this validation is performed on the client side. This is ineff...
140
Voted
FOSSACS
2012
Springer
13 years 11 months ago
2012
Springer
Synthesis from components is the automated construction of a composite system from a library of reusable components such that the system satisfies the given specification. This i...
163
Voted
PAMI
2012
13 years 6 months ago
2012
—The problem of automatic and optimal design of embedded object detector cascades is considered. Two main challenges are identified: optimization of the cascade configuration and...