1154 search results - page 65 / 231 » Mathematizing C concurrency |
AMC
2007
15 years 22 days ago
2007
We develop several iterative methods for computing generalized inverses using both first and second order optimization methods in C∗ -algebras. Known steepest descent iterative...
FOCM
2007
15 years 16 days ago
2007
A general scheme for trust-region methods on Riemannian manifolds is proposed and analyzed. Among the various approaches available to (approximately) solve the trust-region subpro...
80
Voted
MP
2007
15 years 3 days ago
2007
We present a practical approach to Anstreicher and Lee’s masked spectral bound for maximum-entropy sampling, and we describe favorable results that we have obtained with a Branch...
102
click to vote
ISCAS
2005
IEEE
15 years 6 months ago
2005
IEEE
A mathematical framework for the convergence analysis of a pipelined ADC with background gain calibration is presented. The constraints on adaptation step size for mean convergenc...
102
Voted
CALCO
2005
Springer
15 years 6 months ago
2005
Springer
We present ACPc , a process algebra with conditional expressions in which the conditions are taken from a Boolean algebra, and extensions of this process algebra with mechanisms fo...