Rounded interval arithmetic is very easy to implement by means of directed rounding arithmetic operators. Such operators are available in the IEEE floating point arithmetic of the transputer. When a few small pieces of assembly language code are used to access the directed rounding operators, the four basic rounded interval arithmetic operators can easily be expressed in the programming language Occam.The performance of this implementation is assessed and it is shown that the time consuming part of the calculation are not the directed rounding floating point operations as one might have expected. Most of the time is spent with transport of operands to and from the on-chip floating point unit and the procedure call/parameter passing overhea...
International audienceIn this paper we treat the case of some fundamental interval matrix operations...
This work aims at determining suitable scopes for several algorithms of interval matrices multiplica...
This work aims at determining suitable scopes for several algorithms of interval matrices multiplica...
Abstract. In this paper we present two implementation of interval arithmetics for Ocaml on x86/amd64...
Floating point arithmetic has become prevalent in virtually every scientific computation, yet suffer...
Abstract. In this paper we present two implementation of interval arithmetics for Ocaml on x86/amd64...
International audienceIn this paper, we present two implementations of interval arithmetic for OCaml...
We present an implementation of double precision interval arithmetic using the single-instruction-mu...
This paper presents an algorithm for evaluating the functions of reciprocal, square root, 2x, and lo...
We present an implementation of double precision interval arithmetic using the single-instruction-mu...
International audienceThe straightforward implementation of interval matrix product suf- fers from p...
Many DSP and Control applications that require the user to know how various numerical errors(uncerta...
This work aims at determining suitable scopes for several algorithms of interval matrices multiplica...
This work aims at determining suitable scopes for several algorithms of interval matrices multiplica...
International audienceIn this paper we treat the case of some fundamental interval matrix operations...
International audienceIn this paper we treat the case of some fundamental interval matrix operations...
This work aims at determining suitable scopes for several algorithms of interval matrices multiplica...
This work aims at determining suitable scopes for several algorithms of interval matrices multiplica...
Abstract. In this paper we present two implementation of interval arithmetics for Ocaml on x86/amd64...
Floating point arithmetic has become prevalent in virtually every scientific computation, yet suffer...
Abstract. In this paper we present two implementation of interval arithmetics for Ocaml on x86/amd64...
International audienceIn this paper, we present two implementations of interval arithmetic for OCaml...
We present an implementation of double precision interval arithmetic using the single-instruction-mu...
This paper presents an algorithm for evaluating the functions of reciprocal, square root, 2x, and lo...
We present an implementation of double precision interval arithmetic using the single-instruction-mu...
International audienceThe straightforward implementation of interval matrix product suf- fers from p...
Many DSP and Control applications that require the user to know how various numerical errors(uncerta...
This work aims at determining suitable scopes for several algorithms of interval matrices multiplica...
This work aims at determining suitable scopes for several algorithms of interval matrices multiplica...
International audienceIn this paper we treat the case of some fundamental interval matrix operations...
International audienceIn this paper we treat the case of some fundamental interval matrix operations...
This work aims at determining suitable scopes for several algorithms of interval matrices multiplica...
This work aims at determining suitable scopes for several algorithms of interval matrices multiplica...