506 search results - page 28 / 102 » Where Is the Value in a Program Verifier |
153
click to vote
CCE
2010
15 years 1 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...
141
Voted
ICSE
1997
IEEE-ACM
15 years 8 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 ...
151
click to vote
AGILEDC
2004
IEEE
15 years 8 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 ...
142
click to vote
SIAMJO
2010
15 years 2 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...
121
click to vote
SIGOPSE
2004
ACM
15 years 9 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-...