Hasil Pencarian  ::  Simpan CSV :: Kembali

Hasil Pencarian

Ditemukan 4 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
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
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