Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Reversible computing.

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Computer logic --- Mathematics --- Reversible computing --- Reverse computation --- Reversible computation --- Computer science --- Reverse mathematics --- Math --- Science

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

In the conventional combination of logic circuits, energy loss is an important consideration. Research on reversible logic circuits are of interest to power minimization having applications in low power CMOS design, DNA computing, bioinformatics, nanotechnology, information security and so on. In this book, a novel reversible quantum full adder, reversible BCD adder, subtraction and quantum No-Wait-Carry adder and a novel reversible quantum array multiplier is introduced. At the same time, the model of this array multiplier based on CMOS technology and pass-transistor is also discussed. Revers

Computer-aided design. --- Logic circuits. --- Reversible computing. --- Logic circuits --- Reversible computing --- Electrical & Computer Engineering --- Engineering & Applied Sciences --- Electrical Engineering --- Reverse computation --- Reversible computation --- Computer science --- Reverse mathematics --- Circuits, Logic --- Computers --- Digital electronics --- Electronic circuits --- Interface circuits --- Switching circuits --- Switching theory --- Circuits

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This book describes reversible computing from the standpoint of the theory of automata and computing. It investigates how reversibility can be effectively utilized in computing. A reversible computing system is a “backward deterministic” system such that every state of the system has at most one predecessor. Although its definition is very simple, it is closely related to physical reversibility, one of the fundamental microscopic laws of Nature. Authored by the leading scientist on the subject, this book serves as a valuable reference work for anyone working in reversible computation or in automata theory in general. This work deals with various reversible computing models at several different levels, which range from the microscopic to the macroscopic, and aims to clarify how computation can be carried out efficiently and elegantly in these reversible computing models. Because the construction methods are often unique and different from those in the traditional methods, these computing models as well as the design methods provide new insights for future computing systems. Organized bottom-up, the book starts with the lowest scale of reversible logic elements and circuits made from them. This is followed by reversible Turing machines, the most basic computationally universal machines, and some other types of reversible automata such as reversible multi-head automata and reversible counter machines. The text concludes with reversible cellular automata for massively parallel spatiotemporal computation. In order to help the reader have a clear understanding of each model, the presentations of all different models follow a similar pattern: the model is given in full detail, a short informal discussion is held on the role of different elements of the model, and an example with illustrations follows each model. .

Computer science. --- Computers. --- Computer engineering. --- Computer Science. --- Theory of Computation. --- Computer Engineering. --- Computers --- Automatic computers --- Automatic data processors --- Computer hardware --- Computing machines (Computers) --- Electronic brains --- Electronic calculating-machines --- Electronic computers --- Hardware, Computer --- Informatics --- Design and construction --- Computer systems --- Cybernetics --- Machine theory --- Calculators --- Cyberspace --- Science --- Reversible computing. --- Reverse computation --- Reversible computation --- Computer science --- Reverse mathematics --- Information theory. --- Communication theory --- Communication

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

The LNCS journal Transactions on Computational Science reflects recent developments in the field of Computational Science, conceiving the field not as a mere ancillary science but rather as an innovative approach supporting many other scientific disciplines. The journal focuses on original high-quality research in the realm of computational science in parallel and distributed environments, encompassing the facilitating theoretical foundations and the applications of large-scale computations and massive data processing. It addresses researchers and practitioners in areas ranging from aerospace to biochemistry, from electronics to geosciences, from mathematics to software architecture, presenting verifiable computational methods, findings, and solutions and enabling industrial users to apply techniques of leading-edge, large-scale, high performance computational methods. This, the 24th issue of the Transactions on Computational Science journal, guest edited by Himanshu Thapliyal and Nagarajan Ranganathan, is devoted to the topic of reversible computing. It is comprised of eight selected papers on reversible energy recovery designs, design of reversible logic gates and arithmetic circuits in optical computing, reversible basic linear algebra subprograms, quantum circuit description language, and reversible circuit and logic synthesis.

Computer. Automation --- Logic --- informatica --- Mathematics --- computerkunde --- computers --- logica --- Quantum computer --- Computer science --- Mathematical logic --- ontwerpen --- Computer science. --- Logic design. --- Arithmetic and logic units, Computer. --- Computers. --- Quantum computers. --- Computer Science. --- Arithmetic and Logic Structures. --- Logic Design. --- Computation by Abstract Devices. --- Quantum Computing. --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Machine theory --- Switching theory --- Informatics --- Science --- Reversible computing. --- Reverse computation --- Reversible computation --- Reverse mathematics --- Computers --- Automatic computers --- Automatic data processors --- Computer hardware --- Computing machines (Computers) --- Electronic brains --- Electronic calculating-machines --- Electronic computers --- Hardware, Computer --- Computer systems --- Cybernetics --- Calculators --- Cyberspace --- Arithmetic and logic units, Computer --- Computer arithmetic --- Electronic digital computers --- Circuits