Gerd Bohlender - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 19 from 19

2015

An efficient approach to solve very large dense linear systems with verified computing on clustersMariana Luderitz Kolberg, Gerd Bohlender, Luiz Gustavo Fernandes. nla, 22(2):299-316, 2015. [doi]

2011

Definition of the Arithmetic Operations and Comparison Relations for an Interval ArithmeticGerd Bohlender, Ulrich W. Kulisch. rc, 15(1):36-42, 2011. [doi]

2010

Comments on Fast and Exact Accumulation of ProductsGerd Bohlender, Ulrich W. Kulisch. para 2012: 148-156 [doi]

2008

Improving the Performance of a Verified Linear System Solver Using Optimized Libraries and Parallel ComputationMariana Luderitz Kolberg, Gerd Bohlender, Dalcidio Moraes Claudio. vecpar 2008: 13-26 [doi]

Improving the Performance of a Verified Linear System Solver Using Optimized Libraries and Parallel ComputationMariana Luderitz Kolberg, Gerd Bohlender, Dalcidio Moraes Claudio. Dagstuhl 2008: [doi]

Parallel Verified Linear System Solver for Uncertain Input DataMariana Luderitz Kolberg, MÃ¡rcio Dorn, Luiz Gustavo Fernandes, Gerd Bohlender. sbac-pad 2008: 89-96 [doi]

1996

A VLSI vector arithmetic coprocessor for the PCsChristoph Baumhof, Gerd Bohlender. rita, 3(2):55-72, 1996.

1994

Implicit matrix multiplication with maximum accuracy on various transputer networksGerd Bohlender, T. Kersten, R. Trier. computing, 53(3-4):259-276, 1994. [doi]

1991

Semantics for exact floating point operationsGerd Bohlender, Wolfgang Walter, Peter Kornerup, David W. Matula. arith 1991: 22-26 [doi]

1990

What Do We Need Beyond IEEE Arithmetic?Gerd Bohlender. In Christian Ullrich, editor, Computer Arithmetic and Self-Validating Numerical Methods. Volume 7 of Notes and reports in mathematics in science and engineering, pages 1-32, Academic Press, 1990. [doi]

1988

New developments in Pascal-SCGerd Bohlender, Christian P. Ullrich, Jürgen Wolff von Gudenberg. SIGPLAN, 23(8):83-92, 1988. [doi]

1982

Realisierung einer optimalen ArithmetikGerd Bohlender, Kurt Grüner, Jürgen Wolff von Gudenberg. it, 24(2):68-72, 1982.

Realization of an Optimal Computer ArithmeticGerd Bohlender, Kurt Grüner. imacs 1982: 285-290

Gesichtspunkte zur Implementierung einer optimalen ArithmetikGerd Bohlender, Kurt Grüner. gacm 1982: 95-115

1981

FORTRAN for contemporary numerical computationGerd Bohlender, Edgar Kaucher, Rudi Klatte, Ulrich W. Kulisch, Willard L. Miranker, Christian P. Ullrich, Jürgen Wolff von Gudenberg. computing, 26(4):277-314, 1981. [doi]

1980

Embedding universal computer arithmetic in higher programming languagesGerd Bohlender. computing, 24(2-3):149-160, 1980. [doi]

1977

Floating-Point Computation of Functions with Maximum AccuracyGerd Bohlender. TC, 26(7):621-632, 1977.

1976

Formalization and implementation of floating-point matrix operationsUlrich W. Kulisch, Gerd Bohlender. computing, 16(3):239-261, 1976. [doi]

1975

Floating-point computation of functions with maximum accuracyGerd Bohlender. arith 1975: 14-23 [doi]

Sign in or sign up to see more results.

runs on WebDSL

翻译：