Ditemukan 319 dokumen yang sesuai dengan query
Sullivan, Michael, III, author
New Jersey: Pearson Prentice Hall, 2009
512.13 SUL a
Buku Teks Universitas Indonesia Library
Carico, Charles
New York: John Wiley & Sons, 1983
512.13 CAR s
Buku Teks Universitas Indonesia Library
Bhattacharya, P.B., author
New Delhi: Wiley Eastren, 1977
515.73 BHA f
Buku Teks Universitas Indonesia Library
Barnes, D. W. (Donald W.), author
Rhide Island: American Mathematical Society, 1985
510 BAR s
Buku Teks Universitas Indonesia Library
Annisa Puspitasari, author
Depok: Universitas Indonesia, 2010
S27832
UI - Skripsi (Open) Universitas Indonesia Library
Binary Decision Diagram (BDD) merupakan representasi dari fungsi Boolean
secara simbolik yang dikembangkan dan dipopulerkan oleh Randal E. Bryant.
Selain mengembangkan BDD, Bryant juga memberikan algoritma untuk
melakukan manipulasi pada BDD. Dengan menerapkan suatu kondisi tertentu
terhadap BDD, yaitu dengan menentukan urutan variabel, akan didapat BDD yang
terurut atau disebut juga Ordered Binary Decision Diagram...
Universitas Indonesia, 2010
S-Pdf
UI - Skripsi (Membership) Universitas Indonesia Library
Shiskowski, Kenneth M., author
Hoboken, NJ: John Wiley & Sons, 2011
512.5 SHI p (1)
Buku Teks Universitas Indonesia Library
Boston, Nigel, author
Over the last 50 years there have been an increasing number of applications of algebraic tools to solve problems in communications, in particular in the fields of error-control codes and cryptography. More recently, broader applications have emerged, requiring quite sophisticated algebra - for example, the Alamouti scheme in MIMO communications...
New York: [Springer, ], 2012
e20409947
eBooks Universitas Indonesia Library
Eggersgluß, Stephan, author
This book provides an overview of automatic test pattern generation (ATPG) and introduces novel techniques to complement classical ATPG, based on Boolean Satisfiability (SAT). A fast and highly fault efficient SAT-based ATPG framework is presented which is also able to generate high-quality delay tests such as robust path delay...
New York: [, Springer], 2012
e20418663
eBooks Universitas Indonesia Library
Bradley, Teresa, author
Chichester: West Sussex Wiley, 2013
510.243 3 BRA e
Buku Teks Universitas Indonesia Library
