Hasil Pencarian  ::  Simpan CSV :: Kembali

Hasil Pencarian

Ditemukan 9 dokumen yang sesuai dengan query
cover
Storm, Christian
Specification and analytical evaluation of heterogeneous dynamic quorum-based data replication schemes
" Data replication by employing quorum systems is an important concept to improve operation availability on data objects in distributed systems that have strong data consistency demands. These data replication schemes must be modeled and carefully evaluated with respect to different quality measures. Christian Storm addresses the former by a uniform data replication scheme specification method and realizes the latter by a comprehensive approach to the analytical evaluation of quorum-based data replication schemes. The system model ... "
Wiesbaden: Springer, 2012
e20406686
eBooks  Universitas Indonesia Library
cover
Anak Agung Putri Ratna
Implementasi Algoritma Sistem Fault Tolerant pada Server
" Penggunaan komputer sebagai alat komputasi yang menyangkut aplikasi-aplikasi yang bersifat kritis memerlukan kemampuan fault-tolerance, karena jika terjadi suatu kerusakan akan berakibat kerugian yang sangat besar. Untuk meningkatkan kehandalan dan keberadaan suatu sistem komputer, disediakan sumber daya tambahan (redundant resources) yang mampu mengambil alih proses jika terjadi kegagalan. Penambahan ini akan menaikkan biaya (cost), namun biaya tersebut akan menjadi murah jika dibandingkan dengan terjadinya kegagalan. Sistem komputasi fault-tolerant yang dirancang dengan menggunakan metode tertentu harus mampu ... "
Depok: Lembaga Penelitian Universitas Indonesia, 1996
LP-pdf
UI - Laporan Penelitian  Universitas Indonesia Library
cover
Goodloe, Alwyn E., editor
NASA formal methods : 4th international symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012 : proceedings
" This book constitutes the refereed proceedings of the Fourth International Symposium on NASA Formal Methods, NFM 2012, held in Norfolk, VA, USA, in April 2012. The 36 revised regular papers presented together with 10 short papers, 3 invited talks were carefully reviewed and selected from 93 submissions. The topics are organized in topical sections on theorem proving, symbolic execution, model-based engineering, real-time and stochastic systems, model checking, abstraction and abstraction refinement, compositional verification techniques, static ... "
Berlin: [Springer-Verlag, ], 2012
e20410496
eBooks  Universitas Indonesia Library
cover
Security and fault tolerance in internet of things
" This book covers various aspects of security, privacy and reliability in Internet of Things (IoT) and Cyber-Physical System design, analysis and testing. In particular, various established theories and practices both from academia and industry are presented and suitably organized targeting students, engineers and researchers. Fifteen leading academicians and practitioners wrote this book, pointing to the open problems and biggest challenges on which research in the near future will be focused ... "
Switzerland: Springer Nature, 2019
e20509832
eBooks  Universitas Indonesia Library
cover
Keszocze, Oliver
Exact Design of Digital Microfluidic Biochips
" This book presents exact, that is minimal, solutions to individual steps in the design process for Digital Microfluidic Biochips (DMFBs), as well as a one-pass approach that combines all these steps in a single process. All of the approaches discussed are based on a formal model that can easily be extended to cope with further design problems. In addition to the exact methods, heuristic approaches are provided and the complexity classes of various design problems ... "
Switzerland: Springer Cham, 2019
e20501363
eBooks  Universitas Indonesia Library
cover
Riri Fitri Sari
Implementation of Statemate CASE Tool Towards a Fault Tolerant System : Case Study of Run Control of Back-End Software Sub System of The ATLAS DAQ/Trigger at CERN
Fakultas Teknik Universitas Indonesia, 1998
LP-pdf
UI - Laporan Penelitian  Universitas Indonesia Library
cover
Stochastic computing: techniques and applications
" This book covers the history and recent developments of stochastic computing. Stochastic computing (SC) was first introduced in the 1960s for logic circuit design, but its origin can be traced back to von Neumanns work on probabilistic logic. In SC, real numbers are encoded by random binary bit streams, and information is carried on the statistics of the binary streams. SC offers advantages such as hardware simplicity and fault tolerance. Its promise in data processing ... "
Switzerland: Springer Nature, 2019
e20509735
eBooks  Universitas Indonesia Library
cover
Systems modeling: Methodologies and tools
" This book covers ideas, methods, algorithms, and tools for the in-depth study of the performance and reliability of dependable fault-tolerant systems. The chapters identify the current challenges that designers and practitioners must confront to ensure the reliability, availability, and performance of systems, with special focus on their dynamic behaviors and dependencies. Topics include network calculus, workload and scheduling; simulation, sensitivity analysis and applications; queuing networks analysis; clouds, federations and big data; and tools. This collection ... "
Switzerland: Springer Cham, 2019
e20502904
eBooks  Universitas Indonesia Library
cover
VLSI Design and Test for Systems Dependability
" This book discusses the new roles that the VLSI (very-large-scale integration of semiconductor circuits) is taking for the safe, secure, and dependable design and operation of electronic systems. The book consists of three parts. Part I, as a general introduction to this vital topic, describes how electronic systems are designed and tested with particular emphasis on dependability engineering, where the simultaneous assessment of the detrimental outcome of failures and cost of their containment is made. This ... "
Tokyo: Springer Tokyo, 2019
e20501953
eBooks  Universitas Indonesia Library