Ditemukan 2 dokumen yang sesuai dengan query
Keszocze, Oliver
"
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
Chandrasekharan, Arun
"
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 on classical formal verification, synthesis and test techniques for an approximate computing IC design flow. This is one of the first books in Approximate ...
"
Switzerland: Springer Cham, 2019
e20502847
eBooks Universitas Indonesia Library
