5547 search results - page 455 / 1110 » Software Variability Management |
157
Voted
CAV
2010
Springer
15 years 10 months ago
2010
Springer
We present the algorithms used in MCVETO (Machine-Code VErification TOol), a tool to check whether a stripped machinecode program satisfies a safety property. The verification p...
202
click to vote
CAV
2004
Springer
15 years 10 months ago
2004
Springer
Predicate abstraction has been proved effective for verifying several infinite-state systems. In predicate abstraction, an abstract system is automatinstructed given a set of predi...
174
Voted
IPCO
2007
15 years 8 months ago
2007
We introduce orbital branching, an effective branching method for integer programs containing a great deal of symmetry. The method is based on computing groups of variables that a...
173
click to vote
USENIX
2004
15 years 8 months ago
2004
This paper presents DTrace, a new facility for dynamic instrumentation of production systems. DTrace features the ability to dynamically instrument both user-level and kernel-leve...
197
click to vote
CMPB
2010
15 years 1 months ago
2010
Steady state flux balance analysis (FBA) for cellular metabolism is used, e.g., to seek information on the activity of the different pathways under equilibrium conditions, or as a...