967 search results - page 50 / 194 » Automated benchmarking and analysis tool |
KDD
1999
ACM
14 years 1 hour ago
1999
ACM
Code synthesis is routinely used in industry to generate GUIs, form lling applications, and database support code and is even used with COBOL. In this paper we consider the questi...
ASPLOS
2010
ACM
13 years 11 months ago
2010
ACM
Online program monitoring is an effective technique for detecting bugs and security attacks in running applications. Extending these tools to monitor parallel programs is challeng...
ICCAD
1999
IEEE
14 years 1 days ago
1999
IEEE
This paper presents an approach to reduce interconnect cost by insertion of identity operations in a CDFG. Other than previous approaches, it is based on systematic pattern analys...
ER
2009
Springer
13 years 11 months ago
2009
Springer
Abstract. The UML-based Specification Environment (USE) tool supports the syntactic analysis, type checking, consistency checking, and dynamic validation of invariants and pre-/pos...
DIMVA
2010
13 years 9 months ago
2010
Black-box web vulnerability scanners are a class of tools that can be used to identify security issues in web applications. These tools are often marketed as "point-and-click ...