Introduction to reversible computing
著者
書誌事項
Introduction to reversible computing
（Chapman & Hall/CRC computational science series / series editer, Horst Simon）
CRC Press, c2014
- : hardback
大学図書館所蔵 件 / 全3件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
注記
Includes bibliographical references (p. 279-291) and index
内容説明・目次
内容説明
Few books comprehensively cover the software and programming aspects of reversible computing. Filling this gap, Introduction to Reversible Computing offers an expanded view of the field that includes the traditional energy-motivated hardware viewpoint as well as the emerging application-motivated software approach.
Collecting scattered knowledge into one coherent account, the book provides a compendium of both classical and recently developed results on reversible computing. It explores up-and-coming theories, techniques, and tools for the application of reversible computing-the logical next step in the evolution of computing systems.
The book covers theory, hardware and software aspects, fundamental limits, complexity analyses, practical algorithms, compilers, efficiency improvement techniques, and application areas. The topics span several areas of computer science, including high-performance computing, parallel/distributed systems, computational theory, compilers, power-aware computing, and supercomputing.
The book presents sufficient material for newcomers to easily get started. It provides citations to original articles on seminal results so that readers can consult the corresponding publications in the literature. Pointers to additional resources are included for more advanced topics. For those already familiar with a certain topic within reversible computing, the book can serve as a one-stop reference to other topics in the field.
目次
INTRODUCTION: Scope. Application Areas. The Reversible Computing Spectrum. THEORY: Systems and Principles. Reversibility-Related Paradoxes. Theoretical Computing Models. Relaxing Forward-Only Execution into Reversible Execution. SOFTWARE: Reversible Programming Languages. Adding Reversibility to Irreversible Programs. Reverse C Compiler. Reversal of Linear Codes. Reversible Random Number Generation. Reversible Memory Allocation and Deallocation. Reversible Numerical Computation. Reversing a Sorting Procedure. Implementing Undo-Redo-Do. HARDWARE: Reversible Logic Gates. Reversible Instruction Set Architectures. SUMMARY: Future Directions. REFERENCES: Bibliography. Index.
「Nielsen BookData」 より
