113 search results - page 7 / 23 » Computationally efficient flux variability analysis |
ISSTA
2010
ACM
13 years 9 months ago
2010
ACM
SAT-based bounded verification of annotated code consists of translating the code together with the annotations to a propositional formula, and analyzing the formula for specifica...
BMCBI
2006
13 years 7 months ago
2006
Background: Computing exact multipoint LOD scores for extended pedigrees rapidly becomes infeasible as the number of markers and untyped individuals increase. When markers are exc...
ISCAS
2003
IEEE
14 years 1 months ago
2003
IEEE
We propose an algorithm based on singular value decomposition (SVD) to reduce the number of process variation variables. With few process variation variables, fault simulation and...
COLT
2008
Springer
13 years 9 months ago
2008
Springer
Coordinate gradient learning is motivated by the problem of variable selection and determining variable covariation. In this paper we propose a novel unifying framework for coordi...
OSS
2009
Springer
14 years 2 months ago
2009
Springer
The quantitative analysis of software projects can provide insights that let us better understand open source and other software development projects. An important variable used in...