Search for Author All Reviews
	Soeken, Mathias     Options: All Media Types Journals Proceedings Div Books Whole Books Other Date Reviewed Title Author Publisher Published Date Descending Ascending Date Reviewed     1 - 3 of 3 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     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