6274 search results - page 224 / 1255 » Proofs, Programs, Processes |
200
click to vote
SIAMJO
2008
15 years 6 months ago
2008
We study the quantitative stability of linear multistage stochastic programs under perturbations of the underlying stochastic processes. It is shown that the optimal values behave...
173
click to vote
ICIP
2001
IEEE
16 years 8 months ago
2001
IEEE
We have designed a series of computer sessions build around ImageJ (a public-domain software for image analysis), as a practical complement to a two-semester course in image proce...
173
click to vote
EUROMICRO
1996
IEEE
15 years 10 months ago
1996
IEEE
A message passing program composition methodology, called Ensemble, applied for Parix is presented. Ensemble overcomes the implementation problems and complexities in developing a...
191
click to vote
ACSD
2009
IEEE
16 years 1 months ago
2009
IEEE
We propose a general method to characterize and synthesize correctness-preserving, asynchronous wrappers for synchronous processes on a globally asynchronous locally synchronous (...
168
click to vote
IWPC
2005
IEEE
16 years 2 days ago
2005
IEEE
Incremental software change adds new functionality to software. It is the foundation of software evolution, maintenance, iterative development, agile development, and other softwa...