606 search results - page 85 / 122 » A Comparative Study of Industrial Static Analysis Tools |
WWW
2004
ACM
15 years 11 months ago
2004
ACM
The goal of this research is the improvement of browsing voluminous InkML data in two areas: ease of rendering continuous inkflow for replay-browsing, and ease of random access na...
56
Voted
ACSAC
2004
IEEE
15 years 2 months ago
2004
IEEE
This paper discusses the Trustworthy Computing Security Development Lifecycle (or simply the SDL), a process that Microsoft has adopted for the development of software that needs ...
CORR
2006
Springer
14 years 10 months ago
2006
Springer
In a previous paper [16], the sup-interpretation method was proposed as a new tool to control memory resources of first order functional programs with pattern matching by static an...
88
Voted
BMCBI
2007
14 years 10 months ago
2007
Background: Microarrays are widely used for the study of gene expression; however deciding on whether observed differences in expression are significant remains a challenge. Resul...
ICCCN
2008
IEEE
15 years 4 months ago
2008
IEEE
— Centrality is a concept often used in social network analysis to study different properties of networks that are modeled as graphs. We present a new centrality metric called Lo...