Ditemukan 13 dokumen yang sesuai dengan query
Deschamps, Jean-Pierre
New York: McGraw-Hill, 2009
621.395 DES h
Buku Teks Universitas Indonesia Library
Wheat, Dale
"
Dale Wheat, the author of Arduino Internals, will show you how to build electronics lab complete with tools, parts, and power sources. You'll learn how to create a portable lab, a small lab to save space, and even a lab for small groups and classrooms. You'll learn which parts and tools are indispensable no matter what type projects you're working on: which soldering irons are best, which tools, cables, and testing equipment you'll need. You'll ...
"
New York: Springer, 2012
e20425449
eBooks Universitas Indonesia Library
Petrus Mursanto
"
Telah banyak usaha yang dilakukan untuk menyederhanakan proses implementasi suatu algoritma ke dalam rangkaian digital, yang sering disebut sebagai Application Specific Integrated Circuit (ASIC). Selain ringkas dan menjadi makin modular, rangkaian digital juga menjanjikan proses yang lebih cepat dibandingkan dengan eksekusi algoritma yang dijalankan oleh general purpose processor (GPP). Sebuah aigoritma yang dieksekusi oleh GPP harus dipecah-pecah terlebih dahulu menjadi serangkaian intruksi primitif yang dimengerti oleh GPP. Waktu proses total adalah hasil akumulasi delay pada ...
"
Depok: Fakultas Ilmu Komputer Universitas Indonesia, 2002
LP-pdf
UI - Laporan Penelitian Universitas Indonesia Library
Bhasker, J.
New Jersey: Prentice-Hall, 1992
621.392 BHA v
Buku Teks Universitas Indonesia Library
Eickhoff, Jens
"
This book is intended as a system engineer's compendium, explaining the dependencies and technical interactions between the onboard computer hardware, the onboard software and the spacecraft operations from ground. After a brief introduction on the subsequent development in all three fields over the spacecraft engineering phases each of the main topis is treated in depth in a separate part ...
"
Berlin: [;Springer-Verlag, Springer-Verlag], 2012
e20398623
eBooks Universitas Indonesia Library
Samur, Evren
"
The book begins by identifying the components of a general image registration system, and then describes the design of each component using various image analysis tools. The text reviews a vast array of tools and methods, not only describing the principles behind each tool and method, but also measuring and comparing their performances using synthetic and real data ...
"
London: Springer, 2012
e20407729
eBooks Universitas Indonesia Library
"
Preventing fault attacks without sacrificing performance is nontrivial and this is the subject of this book. Part I deals with side-channel analysis and its relevance to fault attacks. The chapters in Part II cover fault analysis in secret key cryptography, with chapters on block ciphers, fault analysis of DES and AES, countermeasures for symmetric-key ciphers, and countermeasures against attacks on AES. Part III deals with fault analysis in public key cryptography, with chapters dedicated to ...
"
Berlin: Springer-Verlag, 2012
e20409533
eBooks Universitas Indonesia Library
LaMeres, Brock J.
"
This textbook introduces readers to the fundamental hardware used in modern computers. The only pre-requisite is algebra, so it can be taken by college freshman or sophomore students or even used in Advanced Placement courses in high school. This book presents both the classical approach to digital system design (i.e., pen and paper) in addition to the modern hardware description language (HDL) design approach (computer-based). This textbook enables readers to design ...
"
Switzerland: Springer Nature, 2019
e20509101
eBooks Universitas Indonesia Library
P. Madhusudan, editor
"
This book constitutes the refereed proceedings of the 24th International Conference on Computer Aided Verification, CAV 2012, held in Berkeley, CA, USA in July 2012. The 38 regular and 20 tool papers presented were carefully reviewed and selected from 185 submissions. The papers are organized in topical sections on automata and synthesis, inductive inference and termination, abstraction, concurrency and software verification, biology and probabilistic systems, embedded and control systems, SAT/SMT solving and SMT-based verification, timed ...
"
Berlin : [Springer-Verlag, ], 2012
e20410422
eBooks Universitas Indonesia Library
Spear, Chris
"
Systemverilog for verification : a guide to learning the testbench language features teaches all verification features of the SystemVerilog language, providing hundreds of examples to clearly explain the concepts and basic fundamentals.
In the third edition, authors Chris Spear and Greg Tumbush start with how to verify a design, and then use that context to demonstrate the language features, including the advantages and disadvantages of different styles, allowing readers to choose between alternatives. This ...
"
New York: [, Springer], 2012
e20418474
eBooks Universitas Indonesia Library
