967 search results - page 1 / 194 » Automated benchmarking and analysis tool |
VALUETOOLS
2006
ACM
13 years 10 months ago
2006
ACM
COMPSAC
2007
IEEE
13 years 8 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
13 years 10 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 4 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
13 years 6 months ago
2007