606 search results - page 40 / 122 » A Comparative Study of Industrial Static Analysis Tools |
IWMM
2000
Springer
15 years 4 months ago
2000
Springer
We study the effectiveness of garbage collection (GC) algorithms by measuring the time difference between the actual collection time of an object and the potential earliest collec...
115
click to vote
IMSCCS
2006
IEEE
15 years 6 months ago
2006
IEEE
Comparative genomics has become an essential approach for identifying homologous gene candidates and their functions, and for studying genome evolution. We developed GenomeBlast, ...
96
Voted
FASE
2004
Springer
15 years 4 months ago
2004
Springer
We present a formal operational semantics for Stateflow, the graphical Statecharts-like language of the Matlab/Simulink tool suite that is widely used in model-based development of...
127
click to vote
ASWEC
2009
IEEE
15 years 7 months ago
2009
IEEE
Changes to source code have become a critical factor in fault predictions. Text or syntactic approaches have been widely used. Textual analysis focuses on changed text fragments w...
79
Voted
SEFM
2005
IEEE
15 years 6 months ago
2005
IEEE
Memory consumption policies provide a means to control resource usage on constrained devices, and play an important role in ensuring the overall quality of software systems, and i...