Search for Author All Reviews
	Drechsler, Rolf     Options: All Media Types Journals Proceedings Div Books Whole Books Other Date Reviewed Title Author Publisher Published Date Descending Ascending Date Reviewed     1 - 5 of 5 reviews       Advanced Boolean techniques: selected papers from the 13th International Workshop on Boolean Problems Drechsler R., Soeken M., Springer International Publishing, New York, NY, 2019. 265 pp.  Type: Book (978-3-030203-22-1) Boolean functions--functions on the domain of the logical values “true” and “false”--represent a fundamental concept of computer science with applications in many areas, includi...... Apr 27 2020     In-memory computing: synthesis and optimization Shirinzadeh S., Drechsler R., Springer International Publishing, New York, NY, 2019. 115 pp.  Type: Book (978-3-030180-25-6) For many years, von Neumann’s computer architecture model was one of the most important paradigms in computer engineering. The central processing unit (CPU) with its main memory (primary storage) is connected to external stor...... Oct 28 2019     Design automation techniques for approximation circuits: verification, synthesis and test Chandrasekharan A., Große D., Drechsler R., Springer International Publishing, New York, NY, 2019. 130 pp.  Type: Book (978-3-319989-64-8) Finding the optimal energy savings corresponding to different quality constraints is one of the most important driving forces in approximate design, particularly for complex system on chips (SoCs) with multiple Internet protocols (IPs)...... Apr 12 2019     Embedding of large Boolean functions for reversible logic Soeken M., Wille R., Keszocze O., Miller D., Drechsler R. ACM Journal on Emerging Technologies in Computing Systems 12(4): 1-26, 2015.  Type: Article In this paper, the authors present solutions to embedded large irreversible functions, which are considered a problem in reversible circuit synthesis. The main contributions include three algorithms for determining the number of additi...... Feb 22 2016     Formal specification level: concepts, methods, and algorithms Soeken M., Drechsler R., Springer Publishing Company, Incorporated, Cham, Switzerland, 2015. 138 pp.  Type: Book (978-3-319086-98-9) The genesis of every complex system is an informal set of requirements. In a good development process, these are formalized as a text document. This natural language text, however, is not truly formal; it is susceptible to being misund...... Feb 20 2015
	Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2024 ThinkLoud® Terms of Use | Privacy Policy