1403 search results - page 15 / 281 » Quantitative Interprocedural Analysis |
IEEEARES
2009
IEEE
13 years 6 months ago
2009
IEEE
We present an automatic analyzer for measuring information flow within software systems. In this paper, we quantify leakage in terms of information theory and incorporate this comp...
PAKDD
1999
ACM
14 years 1 months ago
1999
ACM
In this paper, we analyze quantitative measures associated with if-then type rules. Basic quantities are identified and many existing measures are examined using the basic quantit...
ATVA
2010
Springer
13 years 10 months ago
2010
Springer
Probabilistic B (pB) [2, 8] extends classical B [7] to incorporate probabilistic updates together with the specification of quantitative safety properties. As for classical B, prob...
BMCBI
2010
13 years 9 months ago
2010
Background: Quantitative proteomics technologies have been developed to comprehensively identify and quantify proteins in two or more complex samples. Quantitative proteomics base...
ISBI
2006
IEEE
14 years 9 months ago
2006
IEEE
We present a novel method to quantitatively analyze confocal microscope images of retinas. We automatically detect nuclei within the outer nuclear layer (ONL) in a retinal image. ...