Sciweavers

4674 search results - page 128 / 935
» cases 2008
Sort
View
EWRL
2008
15 years 7 months ago
New Error Bounds for Approximations from Projected Linear Equations
We consider linear fixed point equations and their approximations by projection on a low dimensional subspace. We derive new bounds on the approximation error of the solution, whi...
Huizhen Yu, Dimitri P. Bertsekas
JSC
2008
85views more  JSC 2008»
15 years 6 months ago
Descent via isogeny on elliptic curves with large rational torsion subgroups
We outline PARI programs which assist with various algorithms related to descent via isogeny on elliptic curves. We describe, in this context, variations of standard inequalities w...
E. Victor Flynn, C. Grattoni
FMCO
2008
Springer
117views Formal Methods» more  FMCO 2008»
15 years 7 months ago
Conformance Testing of Distributed Concurrent Systems with Executable Designs
Abstract. This paper presents a unified approach to test case generation and conformance test execution in a distributed setting. A model in the object-oriented, concurrent modelin...
Bernhard K. Aichernig, Andreas Griesmayer, Einar B...
JCT
2008
59views more  JCT 2008»
15 years 6 months ago
Partition identities and the coin exchange problem
The number of partitions of n into parts divisible by a or b equals the number of partitions of n in which each part and each difference of two parts is expressible as a non-negati...
Alexander E. Holroyd
NA
2008
71views more  NA 2008»
15 years 6 months ago
Numerical evaluation of a fixed-amplitude variable-phase integral
We treat the evaluation of a fixed-amplitude variable-phase integral of the form b a exp[ikG(x)]dx, where G (x) 0 and has moderate differentiability in the integration interval. ...
J. N. Lyness