يعرض 1 - 10 نتائج من 45 نتيجة بحث عن '"Bohlender, G."', وقت الاستعلام: 1.12s تنقيح النتائج
  1. 1
    مؤتمر
    Semantics for exact floating point operations

    المؤلفون: Bohlender, G., Walter, W., Kornerup, P., Matula, D.W.

    المصدر: [1991] Proceedings 10th IEEE Symposium on Computer Arithmetic Computer Arithmetic, 1991. Proceedings., 10th IEEE Symposium on. :22-26 1991

    Relation: Proceedings 10th IEEE Symposium on Computer Arithmetic

    Full Text Finder
    أضف إلى المفضلة
  2. 2
    كتاب إلكتروني
    Floating-Point Systems for Theorem Proving

    المؤلفون: Bohlender, G.Aff4, Wolff von Gudenberg, J.Aff4, Miranker, W. L.Aff5

    المساهمون: Friedman, Avner, editorAff1, Miller, Willard, Jr., editorAff1, Meyer, Kenneth R., editorAff2, Schmidt, Dieter S., editorAff3

    المصدر: Computer Aided Proofs in Analysis. 28:22-32

    Full Text Finder
    أضف إلى المفضلة
  3. 3
    دورية أكاديمية
    Floating-Point Computation of Functions with Maximum Accuracy

    المؤلفون: Bohlender, G.

    المصدر: IEEE Transactions on Computers IEEE Trans. Comput. Computers, IEEE Transactions on. C-26(7):621-632 Jul, 1977

    Full Text Finder
    أضف إلى المفضلة
  4. 4
    دورية أكاديمية
    Implicit matrix multiplication with maximum accuracy on various transputer networks
    Implizite Matrix Multiplikation mit maximaler Genauigkeit auf verschiedenen Transputer Netzwerken

    المؤلفون: Bohlender, G., Kersten, T., Trier, R.

    المصدر: Computing. September 1994 53(3-4):259-276

    Find this article in full text from Springer Verlag. Full Text Finder
    أضف إلى المفضلة
  5. 5
    كتاب إلكتروني
    Produkte und Wurzeln von Gleitkommazahlen

    المؤلفون: Bohlender, G.Aff3

    المساهمون: Albrecht, Rudolf, editorAff1, Kulisch, Ulrich, editorAff2

    المصدر: Grundlagen der Computer-Arithmetik. 1:33-46

    أضف إلى المفضلة
  6. 6
    كتاب إلكتروني
    Genaue Summation von Gleitkommazahlen

    المؤلفون: Bohlender, G.Aff3

    المساهمون: Albrecht, Rudolf, editorAff1, Kulisch, Ulrich, editorAff2

    المصدر: Grundlagen der Computer-Arithmetik. 1:21-32

    أضف إلى المفضلة
  7. 7
    دورية أكاديمية
    FORTRAN for contemporary numerical computation
    FORTRAN für zeitgemäßes numerisches Rechnen

    المؤلفون: Bohlender, G., Kaucher, E., Klatte, R., Kulisch, U., Miranker, W. L., Ullrich, Ch., v. Gudenberg, J. Wolff

    المصدر: Computing. December 1981 26(4):277-314

    Find this article in full text from Springer Verlag. Full Text Finder
    أضف إلى المفضلة
  8. 8
    دورية أكاديمية
    Embedding universal computer arithmetic in higher programming languages
    Einbettung einer umfassenden Rechnerarithmetik in höhere Programmiersprachen

    المؤلفون: Bohlender, G.

    المصدر: Computing. June 1980 24(2-3):149-160

    Find this article in full text from Springer Verlag. Full Text Finder
    أضف إلى المفضلة
  9. 9
    دورية أكاديمية
    Formalization and implementation of floating-point matrix operations
    Formalisierung und Implementierung von Gleitkommamatrixverknüpfungen

    المؤلفون: Kulisch, U., Bohlender, G.

    المصدر: Computing. September 1976 16(3):239-261

    Find this article in full text from Springer Verlag. Full Text Finder
    أضف إلى المفضلة
  10. 10
    مؤتمر
    Parallel Verified Linear System Solver for Uncertain Input Data.

    المؤلفون: Kolberg, M., Dorn, M., Fernandes, L.G., Bohlender, G.

    المصدر: 2008 20th International Symposium on Computer Architecture & High Performance Computing; 2008, p89-96, 8p

    Full Text Finder
    أضف إلى المفضلة
أدوات البحث: أحصل على تغذية RSS – أرسل هذا البحث بالبريد الإلكتروني – حفظ البحث – جدول التنبيهات: لا شيء