606 search results - page 40 / 122 » A Comparative Study of Industrial Static Analysis Tools |
157
Voted
IWMM
2000
Springer
15 years 9 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...
173
Voted
IMSCCS
2006
IEEE
16 years 4 days 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, ...
158
Voted
FASE
2004
Springer
15 years 9 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...
192
Voted
ASWEC
2009
IEEE
16 years 28 days 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...
146
Voted
SEFM
2005
IEEE
15 years 11 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...