506 search results - page 78 / 102 » Where Is the Value in a Program Verifier |
EOR
2008
15 years 17 days ago
2008
In this work, we address investment decisions in production systems by using real options. As is standard in literature, the stochastic variable is assumed to be normally distribu...
101
click to vote
DSN
2009
IEEE
15 years 7 months ago
2009
IEEE
Dynamic symbolic execution is a structural testing technique that systematically explores feasible paths of the program under test by running the program with different test input...
80
Voted
GLOBECOM
2008
IEEE
15 years 7 months ago
2008
IEEE
—The problem of maximizing the sum of the transmit rates while limiting the outage probability below an appropriate threshold is investigated for networks where the nodes have li...
97
Voted
CPAIOR
2007
Springer
15 years 6 months ago
2007
Springer
A linear pseudo-Boolean constraint (LPB) is an expression of the form a1 · 1 + . . . + am · m ≥ d, where each i is a literal (it assumes the value 1 or 0 depending on whether a...
110
click to vote
EUROSPI
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. Extreme programming (XP), similar to other agile software development methods, values close collaboration with customers. One of the XP's practices suggests that cus...