3667 search results - page 241 / 734 » Software Rejuvenation - Modeling and Analysis |
140
click to vote
CC
2006
Springer
15 years 8 months ago
2006
Springer
This paper presents a new worklist algorithm that significantly speeds up a large class of flow-sensitive data-flow analyses, including typestate error checking and pointer analysi...
156
click to vote
ECOOPW
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. Software security has become more important than ever. Unfortunately, still now, the security of a software system is almost always retrofitted to an afterthought. When s...
130
click to vote
CSMR
2006
IEEE
15 years 10 months ago
2006
IEEE
This paper describes our experiences of applying dynamic analysis solutions on an industrial legacy application written in C, with the help of Aspect Orientation (AO). We use a nu...
127
click to vote
PPOPP
2005
ACM
15 years 10 months ago
2005
ACM
In concurrent programming, non-blocking synchronization is very efficient but difficult to design correctly. This paper presents a static analysis to show that code blocks are ato...
140
click to vote
INFOVIS
1999
IEEE
15 years 8 months ago
1999
IEEE
Domain Analysis for Data Visualization (DADV) is a technique to use when investigating a domain where data visualizations are going to be designed and added to existing software s...