2673 search results - page 377 / 535 » Guided Static Analysis |
141
click to vote
DATE
2008
IEEE
15 years 11 months ago
2008
IEEE
— The worst-case delay/power of function units has been used in traditional high level synthesis to facilitate design space exploration. As technology scales to nanometer regime,...
140
click to vote
DATE
2008
IEEE
15 years 11 months ago
2008
IEEE
Despite the growing research effort in formal verification, constraint-based random simulation remains an integral part of design validation, especially for large design componen...
132
click to vote
HICSS
2008
IEEE
15 years 11 months ago
2008
IEEE
Anti-money laundering is a pressing issue in today’s economy. With the newly launched Chinese anti-money laundering regulation, this issue has drawn more and more attention from...
139
click to vote
ICPR
2008
IEEE
15 years 11 months ago
2008
IEEE
Behavior understanding and semantic interpretation of dynamic visual scenes have attracted a lot of attention in computer vision research community. Although the use of surveillan...
131
click to vote
WCRE
2008
IEEE
15 years 11 months ago
2008
IEEE
During software maintenance tasks, developers often spend an important amount of effort investigating source code. This effort can be reduced if tools are available to help develo...