3591 search results - page 441 / 719 » Typing linear constraints |
168
click to vote
DAGSTUHL
1996
15 years 8 months ago
1996
Abstract. Two-level -calculi have been heavily utilised for applications such as partial evaluation, abstract interpretation and code generation. Each of these applications pose di...
184
click to vote
AAECC
2007
Springer
15 years 6 months ago
2007
Springer
We present a simulation-based performance model to analyze a parallel sparse LU factorization algorithm on modern cached-based, high-end parallel architectures. We consider supern...
144
click to vote
AUTOMATICA
2007
15 years 6 months ago
2007
Many numerical schemes can be suitably studied from a system theoretic point of view. This paper studies the relationship between the two disciplines, that is, numerical analysis ...
168
click to vote
CPHYSICS
2010
15 years 6 months ago
2010
We propose a new method for the numerical evaluation of the spherical Bessel transform. A formula is derived for the transform by using an integral representation of the spherical...
156
click to vote
EOR
2007
15 years 6 months ago
2007
We analyze an extension of the classical multi-period, single-item, linear cost inventory problem where the objective function is a coherent risk measure. Properties of coherent r...