5664 search results - page 161 / 1133 » Creativity support tools |
118
Voted
PC
1998
15 years 3 months ago
1998
In this paper, we present several tools for analyzing parallel programs. The tools are built on top of a compiler infrastructure, which provides advanced capabilities for symbolic...
127
Voted
SCAM
2007
IEEE
15 years 9 months ago
2007
IEEE
SUDS is a powerful infrastructure for creating dynamic bug detection tools. It contains phases for both static analysis and dynamic instrumentation allowing users to create tools ...
118
Voted
VL
2007
IEEE
15 years 9 months ago
2007
IEEE
Web macros automate the interactions of end users with web sites and related information systems. Though web macro recorders and players have grown in sophistication over the past...
125
Voted
CHINZ
2006
ACM
15 years 9 months ago
2006
ACM
Ink annotation is a common method for recording feedback on a paper document. However, reviewing code on paper is difficult due to its non-linear nature. This project extends exis...
125
Voted
TACAS
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. We present a tool for the formal verification of ANSI-C programs using Bounded Model Checking (BMC). The emphasis is on usability: the tool supports almost all ANSI-C la...