Sciweavers

8555 search results - page 1503 / 1711
» Property Based Coordination
Sort
View
SIAMCO
2002
78views more  SIAMCO 2002»
15 years 5 months ago
Strong Optimality for a Bang-Bang Trajectory
In this paper we give sufficient conditions for a bang-bang regular extremal to be a strong local optimum for a control problem in the Mayer form; strong means that we consider the...
Andrei A. Agrachev, Gianna Stefani, PierLuigi Zezz...
SIAMJO
2002
89views more  SIAMJO 2002»
15 years 5 months ago
A Probability-One Homotopy Algorithm for Nonsmooth Equations and Mixed Complementarity Problems
A probability-one homotopy algorithm for solving nonsmooth equations is described. This algorithm is able to solve problems involving highly nonlinear equations, where the norm of ...
Stephen C. Billups, Layne T. Watson
TMI
1998
175views more  TMI 1998»
15 years 5 months ago
A Harmonic Decomposition Reconstruction Algorithm for Spatially-Varying Focal Length Collimators
—Spatially varying focal length fan-beam collimators can be used in single photon emission computed tomography to improve detection efficiency and to reduce reconstruction artif...
Jiangsheng You, Zhengrong Liang, Shanglian Bao
TON
1998
80views more  TON 1998»
15 years 5 months ago
Blocking and nonblocking multirate Clos switching networks
— This paper investigates in detail the blocking and nonblocking behavior of multirate Clos switching networks at the connection/virtual connection level. The results are applica...
Soung C. Liew, Ming-Hung Ng, Cathy W. Chan
TPDS
1998
71views more  TPDS 1998»
15 years 5 months ago
Theoretical Analysis for Communication-Induced Checkpointing Protocols with Rollback-Dependency Trackability
—Rollback-Dependency Trackability (RDT) is a property that states that all rollback dependencies between local checkpoints are on-line trackable by using a transitive dependency ...
Jichiang Tsai, Sy-Yen Kuo, Yi-Min Wang
« Prev « First page 1503 / 1711 Last » Next »