Ditemukan 4 dokumen yang sesuai dengan query
Lie Trishadi Rusli, author
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...
Depok: Fakultas Matematika dan Ilmu Pengetahuan Alam Universitas Indonesia, 1995
S-pdf
UI - Skripsi (Membership) Universitas Indonesia Library
Timotius, author
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...
Depok: Fakultas Matematika dan Ilmu Pengetahuan Alam Universitas Indonesia, 1995
S-pdf
UI - Skripsi (Membership) Universitas Indonesia Library
Overton, Michael L., author
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...
Philadelphia : Society for Industrial and Applied Mathematics, 2001
e20443153
eBooks Universitas Indonesia Library
Russinoff, David M., author
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...
Switzerland: Springer Cham, 2019
e20502864
eBooks Universitas Indonesia Library
