Hasil Pencarian  ::  Simpan CSV :: Kembali

Hasil Pencarian

Ditemukan 10 dokumen yang sesuai dengan query
cover
Iva Maria, author
Tugas akhir ini menyajikan penurunan pengujian deteksi kesalahan bagi kesalahan logika permanen tunggal maupun berganda (yaitu uji kesalahan s-a-0 atau s-a-1) pada rangkaian kombinasional. Metoda yang digunakan adalah penggunaan turunan Boole, yang ididefinisikan sebagai operasi EXCLUSIVE-OR antara dua buah fungsi Boole. ...
Depok: Fakultas Matematika dan Ilmu Pengetahuan Alam Universitas Indonesia, 1992
S-pdf
UI - Skripsi Membership  Universitas Indonesia Library
cover
Pfeiffer, Paul E., author
New York: McGraw-Hill, 1964
512.817 PFE s
Buku Teks  Universitas Indonesia Library
cover
Siswo Prayitno, author
Tugas Akhir ini rnenyajikan salah satu bentuk fault (kesalahan) - yaitu Bridging Fault - pada rangkaian kombinasional. Berikut teknik-teknik yang sistematis untuk melacak (mendeteksi dan menemukan letak) bridging fault pada rangkaian kombinasional dengan rmenggunakan barisan (sequence) pola-pola test khusus yang menghasilkan respon-respon output yang berbeda...
Depok: Fakultas Matematika dan Ilmu Pengetahuan Alam Universitas Indonesia, 1993
S-pdf
UI - Skripsi Membership  Universitas Indonesia Library
cover
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
cover
Annisa Puspitasari, author
Depok: Universitas Indonesia, 2010
S27832
UI - Skripsi Open  Universitas Indonesia Library
cover
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
cover
Knoebel, Arthur, author
Sheaves of algebras over boolean spaces comprehensively covers sheaf theory as applied to universal algebra. The text presents intuitive ideas from topology such as the notion of metric space and the concept of central idempotent from ring theory. These lead to the abstract notions of complex and factor element, respectively....
New York: Springer Science, 2012
e20418932
eBooks  Universitas Indonesia Library
cover
Creignou, Nadia, author
Many fundamental combinatorial problems, arising in such diverse fields as artificial intelligence, logic, graph theory, and linear algebra, can be formulated as Boolean constraint satisfaction problems (CSP). This book is devoted to the study of the complexity of such problems. The authors' goal is to develop a framework for classifying...
Philadelphia : Society for Industrial and Applied Mathematics, 2001
e20442783
eBooks  Universitas Indonesia Library
cover
Houghton, Janaye M., author
Englewood: Libraries Unlimited, Inc., 1999
025.04 HOU d
Buku Teks  Universitas Indonesia Library
cover
Liou, James J.H, author
This study differs from previous studies by applying multivariate statistical analysis and multi-criterion decision-making methods to the improvement of service quality. We use the rough set theory (RST) with a flow graph approach to determine customer attitudes regarding service quality, which can assist managers in developing strategies to improve service...
Taylor and Francis, 2016
658 JIPE 33:2 (2016)
Artikel Jurnal  Universitas Indonesia Library