506 search results - page 28 / 102 » Where Is the Value in a Program Verifier |
120
Voted
CCE
2010
14 years 10 months ago
2010
In this work we address the problem of solving multiscenario optimization models that are deterministic equivalents of two-stage stochastic programs. We present a heuristic approx...
114
click to vote
ICSE
1997
IEEE-ACM
15 years 4 months ago
1997
IEEE-ACM
By determining, statically, where the structure of a program requires sets of variables to share a common tation, we can identify abstract data types, detect ion violations, find ...
115
Voted
AGILEDC
2004
IEEE
15 years 4 months ago
2004
IEEE
Through his law, "adding manpower to a late software project makes it later," Brooks asserts that the assimilation, training, and intercommunication costs of adding new ...
110
Voted
SIAMJO
2010
14 years 11 months ago
2010
The imposition of general disjunctions of the form “πx ≤ π0 ∨ πx ≥ π0 + 1”, where π, π0 are integer valued, is a fundamental operation in both the branch-and-bound...
95
Voted
SIGOPSE
2004
ACM
15 years 5 months ago
2004
ACM
This paper presents market-based macroprogramming (MBM), a new paradigm for achieving globally efficient behavior in sensor networks. Rather than programming the individual, low-...