Sciweavers

2079 search results - page 22 / 416
» Quantifying Information Flow
Sort
View
113
Voted
OOPSLA
2005
Springer
15 years 7 months ago
Quantifying the performance of garbage collection vs. explicit memory management
Garbage collection yields numerous software engineering benefits, but its quantitative impact on performance remains elusive. One can compare the cost of conservative garbage col...
Matthew Hertz, Emery D. Berger
139
Voted
BMCBI
2010
131views more  BMCBI 2010»
14 years 8 months ago
Dynamics based alignment of proteins: an alternative approach to quantify dynamic similarity
Background: The dynamic motions of many proteins are central to their function. It therefore follows that the dynamic requirements of a protein are evolutionary constrained. In or...
Márton Münz, Rune B. Lyngsø, Jo...
124
Voted
BMCBI
2007
138views more  BMCBI 2007»
15 years 1 months ago
A novel Bayesian approach to quantify clinical variables and to determine their spectroscopic counterparts in 1H NMR metabonomic
Background: A key challenge in metabonomics is to uncover quantitative associations between multidimensional spectroscopic data and biochemical measures used for disease risk asse...
Aki Vehtari, Ville-Petteri Mäkinen, Pasi Soin...
132
Voted
ACMSE
2006
ACM
15 years 7 months ago
Type inference and informative error reporting for secure information flow
If we classify the variables of a program into various security levels, then a secure information flow analysis aims to verify statically that information in the program can flo...
Zhenyue Deng, Geoffrey Smith
103
Voted
SFM
2010
Springer
202views Formal Methods» more  SFM 2010»
15 years 5 months ago
Information Theory and Security: Quantitative Information Flow
Pasquale Malacaria, Jonathan Heusser