606 search results - page 82 / 122 » A Comparative Study of Industrial Static Analysis Tools |
91
Voted
POPL
1990
ACM
15 years 2 months ago
1990
ACM
Typed -calculus is an important tool in programming language research because it provides an extensible framework for studying language features both in isolation and in their rel...
75
Voted
DAC
2004
ACM
15 years 11 months ago
2004
ACM
timing analysis tools to replace standard deterministic static timing analyzers whereas [8,27] develop approaches for the statistical estimation of leakage power considering within...
106
click to vote
COMCOM
2011
14 years 5 months ago
2011
In the very active field of complex networks, research advances have largely been stimulated by the availability of empirical data and the increase in computational power needed ...
KBSE
2005
IEEE
15 years 3 months ago
2005
IEEE
Major software development standards mandate the establishment of trace links among software artifacts such as requirements, architectural elements, or source code without explici...
71
Voted
BMCBI
2008
14 years 10 months ago
2008
Background: Tiling arrays are an important tool for the study of transcriptional activity, proteinDNA interactions and chromatin structure on a genome-wide scale at high resolutio...