HOME > Detail View

Detail View

Nano, quantum, and molecular computing: implications to high level design and validation

Nano, quantum, and molecular computing: implications to high level design and validation

Material type
단행본
Personal Author
Shukla, Sandeep K. Bahar, R. Iris.
Title Statement
Nano, quantum, and molecular computing: implications to high level design and validation / Sandeep K. Shukla, R. Iris Bahar.
Publication, Distribution, etc
Boston :   Kluwer Academic Publishers ,   c2004.  
Physical Medium
xvi, 358 p. : ill. ; 25 cm.
ISBN
1402080670 (alk. paper) 1402080689 (e-book)
Bibliography, Etc. Note
Includes bibliographical references.
Subject Added Entry-Topical Term
Quantum computers. Molecular computers. Nanotechnology.
000 00896camuu22002654a 4500
001 000045143855
005 20050105143019
008 050105s2004 maua b 000 0 eng
020 ▼a 1402080670 (alk. paper)
020 ▼a 1402080689 (e-book)
040 ▼a DLC ▼c DLC ▼d DLC ▼d 244002
042 ▼a pcc
050 0 0 ▼a QA76.889 ▼b .S58 2004
082 0 0 ▼a 004.1 ▼2 22
090 ▼a 004.1 ▼b S562n
100 1 ▼a Shukla, Sandeep K.
245 1 0 ▼a Nano, quantum, and molecular computing: ▼b implications to high level design and validation / ▼c Sandeep K. Shukla, R. Iris Bahar.
260 ▼a Boston : ▼b Kluwer Academic Publishers , ▼c c2004.
300 ▼a xvi, 358 p. : ▼b ill. ; ▼c 25 cm.
504 ▼a Includes bibliographical references.
650 0 ▼a Quantum computers.
650 0 ▼a Molecular computers.
650 0 ▼a Nanotechnology.
700 1 ▼a Bahar, R. Iris.

Holdings Information

No. Location Call Number Accession No. Availability Due Date Make a Reservation Service
No. 1 Location Sejong Academic Information Center/Science & Technology/ Call Number 004.1 S562n Accession No. 151170448 Availability Available Due Date Make a Reservation Service C

Contents information

Table of Contents


CONTENTS
Dedication = ⅴ
Preface = xi
Foreword = xv
Acknowledgments = xvii
Part Ⅰ Nano-Computing at the Physical Layer
 Preface = 3
 1 Nanometer Scale Technologies : Device Considerations / Arijit Raychowdhury ; Kaushik Roy = 5
  1.1 Introduction = 5
  1.2 Silicon Nanoelectronics = 6
  1.3 Carbon Nanotube Electronics = 11
  1.4 Molecular Diodes and Switches = 27
  1.5 Conclusion = 29
  References = 29
Part Ⅱ Defect Tolerant Nano-Computing
 Preface = 37
 2 Nanocomputing in the Presence of Defects and Faults : A Survey / Paul Graham ; Maya Gokhale = 39
  2.1 Background = 40
  2.2 Error Detection, Masking, and Reconfiguration = 42
  2.3 Non-Traditional Computing Models and Architectures = 58
  2.4 Tools = 64
  2.5 Summary = 66
  References = 67
 3 Defect Tolerance at the End of the Roadmap / Mahim Mishra ; Seth C. Goldstein = 73
  3.1 Approaches for Achieving Defect Tolerance in the Nanometer Domain = 76
  3.2 Technology = 78
  3.3 Toolflow Required to Achieve Defect Tolerance = 82
  3.4 Testing = 85
  3.5 Placement and Routing = 100
  3.6 Summary = 103
  3.7 Acknowledgments = 104
  References = 104
 4 Obtaining Quadrillion-Transistor Logic Systems Despite Imperfect Manufacture, Hardware Failure, and Incomplete System Specification / Lisa J. K. Durbeck ; Nicholas J. Macias = 109
  4.1 Four Areas for New Research = 110
  4.2 Cell Matrix Overview = 115
  4.3 Example of Future Problems : Lower Reliability = 120
  4.4 Summary, Conclusions = 130
  References = 131
 5 A Probabilistic-based Design for Nanoscale Computation / R. Iris Bahar ; Jie Chen ; Joseph Mundy = 133
  5.1 Introduction = 133
  5.2 MRF Design for Structural-based Faults = 136
  5.3 Design for Signal-based Errors = 149
  5.4 Future Directions = 153
  5.5 Acknowledgments = 155
  References = 155
 6 Evaluating Reliability Trade-offs for Nano-Architectures / Debayan Bhaduri ; Sandeep K. Shukla = 157
  6.1 Introduction = 158
  6.2 Background = 162
  6.3 Analytical Approaches for Reliability Analysis = 173
  6.4 NANOLAB : A MATLAB Based Tool = 178
  6.5 Reliability Analysis of Boolean Networks with NANOLAB = 183
  6.6 NANOPRISM : A Tool Based on Probabilistic Model Checking = 191
  6.7 Reliability Analysis of Logic Circuits with NANOPRISM = 194
  6.8 Reliability Evaluation of Multiplexing Based Majority Systems = 199
  6.9 Conclusion and Future Work = 205
  6.10 Acknowledgments = 207
  References = 207
 7 Law of Large Numbers System Design / Andr$$\acute e$$ DeHon = 213
  7.1 Introduction = 213
  7.2 Background = 215
  7.3 "Law of Large Numbers" Above the Device Level = 216
  7.4 Component and System Level LLN in Conventional Systems = 217
  7.5 Architectures with Sparing = 218
  7.6 Architectures with Choice = 222
  7.7 Unique Nanoscale Addressing via Statistical Differentiation = 226
  7.8 Generalizing Statistical Assembly = 227
  7.9 Fault Tolerance = 237
  7.10 Atomic-Scale System Stack = 237
  7.11 Summary = 237
  7.12 Acknowledgments = 238
  References = 238
Part Ⅲ Nano-Scale Quantum Computing
 Preface = 245
 8 Challenges in Reliable Quantum Computing / Diana Franklin ; Frederic T. Chong = 247
  8.1 Quantum Computation = 249
  8.2 Error correction = 253
  8.3 Quantum Computing Technologies = 256
  8.4 Fabrication and Test Challenges = 258
  8.5 Architectural Challenges = 260
  8.6 Conclusions = 263
  8.7 Acknowledgements = 264
  References = 264
 9 Origins and Motivations for Design Rules in QCA / Michael T. Niemier ; Peter M. Kogge = 267
  9.1 The Basic Device and Circuit Elements = 268
  9.2 Implementable QCA = 279
  9.3 Design Rules = 283
  9.4 Wrap up = 292
  References = 292
 10 Partitioning and Placement for Buildable QCA Circuits / Sung Kyu Lim ; Mike Niemier = 295
  10.1 Preliminaries = 296
  10.2 Problem Formulation = 300
  10.3 Zone Partitioning Algorithm = 303
  10.4 Zone Placement Algorithm = 306
  10.5 Cell Placement Algorithm = 308
  10.6 Experimental Results = 313
  10.7 Conclusions and Ongoing Work = 316
  References = 316
Part Ⅳ Validation of Nano-Scale Architectures
 Preface = 321
 11 Verification of Large Scale Nano Systems with Unreliable Nano Devices / Michael S. Hsiao ; Shuo Sheng ; Rajat Arora ; Ankur Jain ; Vamsi Boppana = 323
  11.1 Introduction = 324
  11.2 Scalable Verification of Nano Systems = 325
  11.3 Scalable Unbounded Model Checking = 326
  11.4 Scalable Bounded Model Checking = 338
  11.5 Verification in the Presence of Unknowns and Uncertainties = 344
  11.6 Summary = 347
  11.7 Acknowledgments = 348
  References = 348
Biographies = 352


New Arrivals Books in Related Fields

김자미 (2021)