967 search results - page 1 / 194 » Automated benchmarking and analysis tool |
VALUETOOLS
2006
ACM
14 years 4 months ago
2006
ACM
COMPSAC
2007
IEEE
14 years 2 months ago
2007
IEEE
Despite the availability of a variety of program analysis tools, evaluation of these tools is difficult, as only few benchmark suites exist. Existing benchmark suites lack the uni...
ISVLSI
2007
IEEE
14 years 5 months ago
2007
IEEE
— We present a performance analysis of CoDeL, a highly efficient automated clock gating platform for rapidly developing power efficient hardware architectures. It automatically...
CADE
2011
Springer
12 years 11 months ago
2011
Springer
We describe asasp, a symbolic reachability procedure for the analysis of administrative access control policies. The tool represents access policies and their administrative action...
PARCO
2007
14 years 10 days ago
2007