1713 search results - page 71 / 343 » Analysis of Procedure Splitability |
SAS
2004
Springer
14 years 2 months ago
2004
Springer
This paper addresses the verification of properties of imperative programs with recursive procedure calls, heap-allocated storage, and destructive updating of pointer-valued fiel...
RIDE
2000
IEEE
14 years 1 months ago
2000
IEEE
We present the notion of a distributed database made up entirely of mobile components. Since disconnections will be frequent in such an environment, we develop a disconnection and...
DATE
2003
IEEE
14 years 2 months ago
2003
IEEE
A new numerical technique for periodic small signal analysis based on harmonic balance method is proposed. Special-purpose numerical procedures based on Krylov subspace methods ar...
ICPR
2002
IEEE
14 years 2 months ago
2002
IEEE
MRI examinations may be used to monitor the progress of neurological disease. Arising structural changes can then be quantified using non-rigid registration procedures. However, ...
GECCO
2006
Springer
14 years 29 days ago
2006
Springer
Nadir point plays an important role in multi-objective optimization because of its importance in estimating the range of objective values corresponding to desired Pareto-optimal s...