1403 search results - page 14 / 281 » Quantitative Interprocedural Analysis |
CSE
2009
IEEE
14 years 22 days ago
2009
IEEE
We present a study of user voting on three websites: Imdb, Amazon and BookCrossings. Here we report on an expert evaluation of the voting mechanisms of each website and a quantitat...
BMCBI
2008
13 years 9 months ago
2008
Background: Compared to other omics techniques, quantitative metabolomics is still at its infancy. Complex sample preparation and analytical procedures render exact quantification...
CORR
2010
Springer
13 years 9 months ago
2010
Springer
Context-free approaches to static analysis gain precision over classical approaches by perfectly matching returns to call sites-a property that eliminates spurious interprocedural...
BMCBI
2008
13 years 9 months ago
2008
Background: Although fold change is a commonly used criterion in quantitative proteomics for differentiating regulated proteins, it does not provide an estimation of false positiv...
QEST
2006
IEEE
14 years 2 months ago
2006
IEEE
LiQuor is a tool for verifying probabilistic reactive systems modelled Probmela programs, which are terms of a probabilistic guarded command language with an operational semantics...