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

ISBN: 1-4438-8947-4

ISBN13: 978-1-4438-8947-6

Release Date: 28th April 2016

Pages: 480

Price: £57.99