410 search results - page 50 / 82 » Analysis of stochastic dual dynamic programming method |
102
click to vote
SIGSOFT
2005
ACM
16 years 15 days ago
2005
ACM
We develop a method for matching dynamic histories of program executions of two program versions. The matches produced can be useful in many applications including software piracy...
CSFW
2010
IEEE
15 years 3 months ago
2010
IEEE
—Quantitative information-flow analysis (QIF) is an emerging technique for establishing information-theoretic confidentiality properties. Automation of QIF is an important step...
162
click to vote
JUCS
2010
14 years 6 months ago
2010
: All processes of life are controlled by networks of interacting biochemical components. The purpose of modelling these networks is manifold. From a theoretical point of view it a...
FCCM
2009
IEEE
15 years 6 months ago
2009
IEEE
Abstract—Precision analysis and optimization is very important when transforming a floating-point algorithm into fixedpoint hardware implementations. The core analysis techniqu...
115
click to vote
BMCBI
2005
14 years 11 months ago
2005
Background: Several problems exist with current methods used to align DNA sequences for comparative sequence analysis. Most dynamic programming algorithms assume that conserved se...