Sciweavers

5578 search results - page 400 / 1116
» Base Class Injection
Sort
View
ENTCS
2002
106views more  ENTCS 2002»
15 years 6 months ago
Refactoring by Transformation
In this paper we present how refactoring of object-oriented programs can be accomplished by using refinement. Our approach is based on algebraic laws of an object-oriented languag...
Márcio Cornélio, Ana Cavalcanti, Aug...
MOC
2000
132views more  MOC 2000»
15 years 6 months ago
Lattice computations for random numbers
We improve on a lattice algorithm of Tezuka for the computation of the k-distribution of a class of random number generators based on finite fields. We show how this is applied to ...
Raymond Couture, Pierre L'Ecuyer
MOC
2002
101views more  MOC 2002»
15 years 6 months ago
Global and uniform convergence of subspace correction methods for some convex optimization problems
This paper gives some global and uniform convergence estimates for a class of subspace correction (based on space decomposition) iterative methods applied to some unconstrained con...
Xue-Cheng Tai, Jinchao Xu
MOC
1998
72views more  MOC 1998»
15 years 6 months ago
Interpolation correction for collocation solutions of Fredholm integro-differential equations
In this paper we discuss the collocation method for a large class of Fredholm linear integro-differential equations. It will be shown that, when a certain higher order interpolati...
Qiya Hu
ORL
2008
115views more  ORL 2008»
15 years 6 months ago
On the convergence of stochastic dual dynamic programming and related methods
We discuss the almost-sure convergence of a broad class of sampling algorithms for multi-stage stochastic linear programs. We provide a convergence proof based on the finiteness o...
Andrew B. Philpott, Z. Guan