Ditemukan 2 dokumen yang sesuai dengan query
Keszocze, Oliver, author
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...
Switzerland: Springer Cham, 2019
e20501363
eBooks Universitas Indonesia Library
Chandrasekharan, Arun, author
This book describes reliable and efficient design automation techniques for the design and implementation of an approximate computing system. The authors address the important facets of approximate computing hardware design - from formal verification and error guarantees to synthesis and test of approximation systems. They provide algorithms and methodologies based...
Switzerland: Springer Cham, 2019
e20502847
eBooks Universitas Indonesia Library
