Strona główna: Kategoria: > książki: Sprzęt komputerowy > Mainframes i minikomputery

A thorough exposition of quantum computing and the underlying concepts of quantum physics, with explanations of the relevant mathematics and numerous examples.

This work constitutes the refereed proceedings of the 4th International Workshop on Hybrid Systems: Computation and Control, HSCC 2001, held in Rome, Italy, in March 2001. The 36 revised papers address all aspects of hybrid systems including algorithms and heuristics and computational tools.

This title constitutes 32 revised papers presented together with abstracts of four invited talks on computation and control. The focus of the works presented is on modelling, control, synthesis, design and verification of hybrid systems.

This title presented 21 papers organized in topical sections on queueing network models, optimization in mobile networks, stochastic Petri nets, simulation, formal methods and performance evaluation, and measurement tools and applications.

Compiled from the proceedings of the 9th International Conference on High Performance Computing, this volume contains 66 papers with various keynote abstracts. Coverage includes algorithms, architecture, systems software, networks, mobile computing and databases, and applications.

Finally, a textbook that explains quantum computing using techniques and concepts familiar to computer scientists.

A comprehensive and systematic monograph that presents methods for the reversible synthesis of logic functions and circuits. It is illustrated with a wealth of examples and figures that describe in detail the systematic methodologies of synthesis using reversible logic.

Deals with computers/software.

An introduction to hybrid systems, networks of interacting digital and analog devices. The applications of these systems are also explored, in such areas as computer-aided manufacturing, consumer electronics and control systems for inherently unstable aircraft.

These papers represent the proceedings of the 2nd International Workshop on Hybrid Systems, Computation and Control. Hybrid systems combine aspects from computer science and control theory, and the papers focus on modelling, control, synthesis, design and verification of hybrid systems.

This book constitutes the strictly refereed post-proceedings of the 5th International Hybrid Systems Workshop held in Notre Dame, Indiana, USA in September 1998. The 23 revised full papers presented in the book have gone through two rounds of thorough reviewing and revision. The volume presents state-of-the-art research results and particularly addresses such areas as program verification, concurr...

One of the challenges in the nano-scopic computing era is guarantees of robustness. Robust computing system design is confronted with quantum physical, probabilistic, and even biological phenomena. This volume contains research material and ideas that are useful for those starting research in the arena of nanocomputing at system level design.

Contains refereed papers from the 15th Annual Symposium on High Performance Computing. This book features these papers that cover both fundamental and applied topics in HPC: parallel algorithms, distributed systems and architectures, distributed memory and performance, high level applications, tools and solvers, and more.

This book constitutes the thoroughly refereed post-proceedings of the International Workshop on Membrane Computing, WMC-CdeA 2002, held in Curtea de Arges, Romania, in August 2002. The 29 revised full papers presented were carefully selected during two rounds of reviewing and revision; some were especially solicited for inclusion in the book after the workshop. Most papers address membrane systems...

Quantum information science is a rapidly developing field that promises a revolution in computer sciences and touches deeply the foundations of quantum physics. This book contains lectures by experts in the field that bridge the gap between standard textbook material and the research literature.

This book constitues the refereed proceedings of the 6th International Workshop on Hybrid Systems: Computation and Control, HSCC 2003, held in Prague, Czech Republic, in April 2003. The 36 revised full papers presented were carefully reviewed and selected from 75 submissions. All current issues in hybrid systems are addressed including formal methods for analysis and control, computational tools, ...

IC-SEC 2002 serves as a forum for engineers and scientists who are involved in the use of high performance computers, advanced numerical strategies, computational methods and simulation in various scientific and engineering disciplines. The conference creates a platfrom for presenting and discussing the latest trends and finding about the state of the art in their particular field(s) of interest. ...

Offers an interdisciplinary but mathematically focused exploration of Quantum Computation.