7103 search results - page 425 / 1421 » Program Generation and Components |
105
click to vote
ICCS
2004
Springer
15 years 9 months ago
2004
Springer
In this paper we develop a dynamic stochastic programming model for bond portfolio management. A new risk measurement-shortfall cost is put forward. It allows more tangible express...
142
click to vote
PPDP
2004
Springer
15 years 9 months ago
2004
Springer
We introduce the theoretical basis for tracing lazy functional logic computations in a declarative multi-paradigm language like Curry. Tracing computations is a difficult task due...
149
click to vote
IEEEPACT
2003
IEEE
15 years 9 months ago
2003
IEEE
Improving cache performance requires understanding cache behavior. However, measuring cache performance for one or two data input sets provides little insight into how cache behav...
151
click to vote
ENTCS
2008
15 years 4 months ago
2008
We report in this paper on the formal verification of a simple compiler for the C-like programming language C0. The compiler correctness proof meets the special requirements of pe...
128
click to vote
MP
2006
15 years 4 months ago
2006
We consider two-stage pure integer programs with discretely distributed stochastic right-hand sides. We present an equivalent superadditive dual formulation that uses the value fun...