4725 search results - page 360 / 945 » Dependence-Based Program Analysis |
234
click to vote
FPL
2010
Springer
15 years 5 months ago
2010
Springer
In this paper we present a rapid prototyping platform on a single Field Programmable Gate Array (FPGA) with support for software transactional memory. The system is composed only b...
200
click to vote
ICSE
2009
IEEE-ACM
15 years 5 months ago
2009
IEEE-ACM
Managing features that have fine-grained impact on base programs is a challenging task in software product line development. Despite well-known problems, preprocessing (e.g., cpp)...
183
click to vote
PLDI
2010
ACM
16 years 11 days ago
2010
ACM
Dynamic correctness checking tools (a.k.a. lifeguards) can detect a wide array of correctness issues, such as memory, security, and concurrency misbehavior, in unmodified executa...
221
click to vote
PLDI
2010
ACM
16 years 11 days ago
2010
ACM
Static analysis designers must carefully balance precision and efficiency. In our experience, many static analysis tools are built around an elegant, core algorithm, but that alg...
207
click to vote
GI
2007
Springer
16 years 1 months ago
2007
Springer
: In this article we advocate an integrated approach for the automation of module or software integration testing and static analysis. It is illustrated how funmethods of static an...