Ditemukan 4 dokumen yang sesuai dengan query
Lie Trishadi Rusli
"
Penjumlahan n bilangan floating point biasanya dilakukan dengan menggunakan metode rekursif biasa (metode original). Tugas akhir ini membahas beberapa metode alternatif untuk menjumlah n bilangan floating point, yaitu metode increasing, decreasing, psum, pairwise, insertion, dan plus-minus. Ketelitian dari metode-metode ini dibandingkan dengan analisis batas atas kesalahan dan percobaan numerik. Tidak ada satu metode yang secara seragam lebih akurat daripada metode lainnya. Tetapi untuk kasus khusus, diberikan petunjuk untuk memilih metode penjumlahan tertentu ...
"
Depok: Fakultas Matematika dan Ilmu Pengetahuan Alam Universitas Indonesia, 1995
S-pdf
UI - Skripsi Membership Universitas Indonesia Library
Timotius
"
Metode penjumlahan rekursif biasa (Original) umumnya dipakai untuk menjumlahkan n bilangan floating-point. Metode ini memiliki variasi: Increasing dan Decreasing. Pada tugas akhir ini akan dibahas cara memperbaiki ketelitian penjumlahan rekursif floating-point dengan metode compensated. Untuk membandingkan ketelitian metode-metode tersebut digunakan analisa kesalahan pembulatan dan percobaan-percobaan numerik. Metode Compensated sangat efektif untuk memperbaiki ketelitian penjumlahan rekursif floating-point, dengan batas atas kesalahan
|En| < (2u + 0(nu2)) Σ|Xi|
...
"
Depok: Fakultas Matematika dan Ilmu Pengetahuan Alam Universitas Indonesia, 1995
S-pdf
UI - Skripsi Membership Universitas Indonesia Library
Russinoff, David M.
"
This is the first book to focus on the problem of ensuring the correctness of floating-point hardware designs through mathematical methods. Formal Verification of Floating-Point Hardware Design advances a verification methodology based on a unified theory of register-transfer logic and floating-point arithmetic that has been developed and applied to the formal verification of commercial floating-point units over the course of more than two decades, during which the author was employed by several major microprocessor ...
"
Switzerland: Springer Cham, 2019
e20502864
eBooks Universitas Indonesia Library
Overton, Michael L.
"
Are you familiar with the IEEE floating point arithmetic standard? Would you like to understand it better? This book gives a broad overview of numerical computing, in a historical context, with special focus on the IEEE standard for binary floating point arithmetic. Key ideas are developed step by step, taking the reader from floating point representation, correctly rounded arithmetic, and the IEEE philosophy on exceptions, to an understanding of the crucial concepts of conditioning and ...
"
Philadelphia : Society for Industrial and Applied Mathematics, 2001
e20443153
eBooks Universitas Indonesia Library
