3690 search results - page 611 / 738 » Computation with classical sequents |
IJNSEC
2010
14 years 4 months ago
2010
The efficiency of the core Galois field arithmetic improves the performance of elliptic curve based public key cryptosystem implementation. This paper describes the design and imp...
SIAMADS
2010
14 years 4 months ago
2010
Abstract. We derive a simple criterion for transverse instabilities along a general invariant manifold of a multidimensional dynamical system. The criterion requires an appropriate...
SIAMREV
2010
14 years 4 months ago
2010
We examine condition numbers, preconditioners, and iterative methods for finite element discretizations of coercive PDEs in the context of the fundamental solvability result, the L...
TC
2010
14 years 4 months ago
2010
Abstract-- Scheduling problems are already difficult on traditional parallel machines, and they become extremely challenging on heterogeneous clusters. In this paper we deal with t...
IPL
2011
14 years 4 months ago
2011
Any Gray code for a set of combinatorial objects defines a total order relation on this set: x is less than y if and only if y occurs after x in the Gray code list. Let ≺ denot...