Ditemukan 7 dokumen yang sesuai dengan query
Cavanagh, Joseph J.F.
New York: McGraw-Hill, 1984
519.4 CAV d
Buku Teks SO Universitas Indonesia Library
Spaniol, Otto, 1945-
Chichester: John Wiley & Sons, 1981
621.381 95 SPA c
Buku Teks Universitas Indonesia Library
Vladutiu, Mircea
"
The subject of this book is the analysis and design of digital devices that implement computer arithmetic. The book's presentation of high-level detail, descriptions, formalisms and design principles means that it can support many research activities in this field, with an emphasis on bridging the gap between algorithm optimization and hardware implementation. The author provides a unified view linking the domains of digital design and arithmetic algorithms, based on original formalisms and hardware description languages.
A ...
"
Berlin: [, Springer-Verlag ], 2012
e20408683
eBooks Universitas Indonesia Library
Koren, Israel, 1945-
New Jersey: Prentice Hall International, 1993
004.015 KOR c
Buku Teks SO Universitas Indonesia Library
Harahap, Rusdi L.
Depok: Universitas Indonesia, 1995
S38504
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
Raditya Rinaldi
"
Logistic map adalah fungsi rekursif yang mememenuhi sifat chaos pada saat tertentu, sehingga dapat digunakan untuk sistem kriptografi. Sedangkan arithmetic coding adalah salah satu metode kompresi lossless compression yang berdasarkan statistik. Penggunaan logistic map akan dikombinasikan dengan arithmetic coding untuk sistem kriptografi citra digital. Skema yang akan digunakan adalah dengan permutasi, kompresi dan difusi sehingga menghasilkan tingkat keamanan yang lebih baik.
Pada tugas akhir ini, akan dibahas tentang logistic map, fungsi chaos, arithmetic coding, implementasi ...
"
Depok: Fakultas Matematika dan Ilmu Pengetahuan Alam Universitas Indonesia, 2016
S64799
UI - Skripsi Membership Universitas Indonesia Library
