Goong Chen, David A. Church, Berthold-Georg Englert and oth., “Quantum Computing Devices: Principles, Designs, and Analysis”
Chapman & Hall/CRC | 2006 | ISBN: 1584886811 | 560 pages | PDF | 7,5 MB

One of the first books to thoroughly examine the subject, Quantum Computing Devices: Principles, Designs, and Analysis covers the essential components in the design of a “real” quantum computer. It explores contemporary and important aspects of quantum computation, particularly focusing on the role of quantum electronic devices as quantum gates. Largely self-contained and written in a tutorial style, this reference presents the analysis, design, and modeling of the major types of quantum computing devices: ion traps, cavity quantum electrodynamics (QED), linear optics, quantum dots, nuclear magnetic resonance (NMR), superconducting quantum interference devices (SQUID), and neutral atom traps. It begins by explaining the fundamentals and algorithms of quantum computing, followed by the operations and formalisms of quantum systems. For each electronic device, the subsequent chapters discuss physical properties, the setup of qubits, control actions that produce the quantum gates that are universal for quantum computing, relevant measurements, and decoherence properties of the systems. The book also includes tables, diagrams, and figures that illustrate various data, uses, and designs of quantum computing. As nanoelectronics will inevitably replace microelectronics, the development of quantum information science and quantum computing technology is imperative to the future of information science and technology. Quantum Computing Devices: Principles, Designs, and Analysis helps fulfill this need by providing a comprehensive collection of the most promising devices for the future.

Download

S. Ramesh, P. Sampath, “Next Generation Design and Verification Methodologies for Distributed Embedded Control Systems”
Springer | 2007 | ISBN: 1402062532 | 300 pages | PDF | 4,3 MB

This volume is the proceedings of the workshop “Next Generation Design and Verification Methodologies for Distributed Embedded Control Systems” organised by General Motors R&D, India Science Lab. The workshop was held on January 5-6 2007 at the NIAS auditorium, IISc campus, Bangalore, India. This workshop is the first of its kind to be organised by an automotive major to bring together the leaders in the field of embedded systems development to present state-of-the-art work, and to discuss future strategies for addressing the increasing complexity of embedded control systems. The workshop consisted of invited talks given by leading experts and researchers from academic and industrial organizations. The workshop covered all areas of embedded systems development and in particular:

Formal specification and verification of distributed, heterogeneous, embedded systems

Formal semantics of modeling languages

Model-based specification and testing

Formal approach to component based development

Software product line engineering

Automatic code generation for distributed, embedded systems.

Download