Problems and New Solutions in the Boolean Domain
The Internet of Things is a great new challenge for the development of digital systems. In addition to the increasing number of classical unconnected digital systems, more people are regularly using new electronic devices and software that are controllable and usable by means of the internet. All such systems utilize the elementariness of Boolean values. A Boolean variable can carry only two different Boolean values: FALSE or TRUE (0 or 1), and has the best interference resistance in technical systems. However, a Boolean function exponentially depends on the number of its variables. This exponential complexity is the cause of major problems in the process of design and realization of circuits. According to Moore’s Law, the complexity of digital systems approximately doubles every 18 months. This requires comprehensive knowledge and techniques to solve complex Boolean problems. This book summarizes both new problems and solutions in the Boolean domain in solving such issues.
Part 1 describes powerful new approaches in solving exceptionally complex Boolean problems. Efficient methods contribute to solving problems of extreme complexity. New algorithms and programs utilize the huge number of computing cores of the Graphical Processing Unit and improve the performance of calculations by several orders of magnitude. Part 2 represents several applications of digital systems. Due to the crucial role of the internet, both solutions and open problems regarding the security of these systems are discussed. The exploration of certain properties of such systems leads to a number of efficient solutions, which can be reused in a wide field of applications. Part 3 discusses the scientific basis of future circuit technologies, investigating the need for completely new design methods for the atomic level of quantum computers. This part also concerns itself with reversible circuits as the basis for quantum circuits and specifies important issues regarding future improvements.
Bernd Steinbach studied Information Technology at the University of Technology in Chemnitz, Germany, where he graduated with an MSc in 1973, a PhD in 1981, and a Doctor scientiae technicarum in 1984 for his second doctoral thesis from the Faculty of Electrical Engineering. In 1991, he obtained the Habilitation from the same Faculty. Following this, he worked as a research engineer, developing programs for test pattern generation for computer circuits at the company Robotron. He returned to the Department of Information Technology of the Chemnitz University of Technology as Associate Professor for Design Automation in Logic Design. He is currently, and has been for more than two decades, the head of a group that developed the XBOOLE software system and the head of the Steinbeis Transfer Center of Logic Systems in Chemnitz. He has been a Full Professor of Computer Science/Software Engineering and Programming at the Freiberg University of Mining and Technology since 1992. Professor Steinbach is also the co-author of seven books, and has published more than 200 papers in books, journals and proceedings. He is the initiator and general chair of a biennial series of International Workshops on Boolean Problems (IWSBP), which started in 1994.
There are currently no reviews for this title. Please do revisit this page again to see if some have been added.
Nabila Abdessaied
Rudolf Berghammer
Rudolf B. Blazek
Stefan Bolus
Stelvio Cimato
Valentina Ciriani
Stijn De Baerdemacker
Alexis de Vos
Rolf Drechsler
Gerhard W. Dueck
Petr Fiser
Dusan Gajic
Danila A. Gorodecky
Michael Gossel
Fatima Hadjam
Jerzy Jegier
Thomas Kern
Pawel Kerntopf
Claudio Moraga
Matteo Moroni
Shinobu Nagayama
Günther Nieb
Aske Plaat
Christian Posthoff
Milos Radmanovic
Md. Mazder Rahman
Ben Ruijl
Jan Schmidt
Mathias Soeken
Radomir S. Stankovic
Milena Stankovic
Bernd Steinbach
Suzana Stojkovic
Micah A. Thornton
Mitchell A. Thornton
Jaap van den Herik
Jos Vermaseren
Shin'ichi Wakabayashi
Matthias Werner
Chunhui Wu
Buy This Book