Kategoria BISAC: Computers >> Hardware - Mainframes & Minicomputers

The aim of this book is to provide guidance and introduce the broad literature in all the...

This is a comprehensive .NET-retraining guide written for the COBOL/CICS mainframe programmer from the perspective of a former COBOL/CICS programmer.

This book constitutes the refereed proceedings of the 10th International Conference on Hybrid Systems: Computation and Control, HSCC 2007, held in Pisa, Italy in April 2007. Among the topics addressed are models of heterogeneous systems, computability and complexity issues, real-time computing and control, embedded and resource-aware control, control and estimation over wireless networks, and programming languages support and implementation.

Quantum computing holds the promise of solving problems that would be intractable with conventional computers by implementing principles from quantum physics in the development of computer hardware, software and communications equipment.

Quantum-assisted computing will be the first step towards full quantum systems, and will cause immense disruption of our traditional networks. The world's biggest manufacturers are investing large amounts of resources to develop crucial quantum-assisted...

Streamlined Design Solutions Specifically for NoC
To solve critical network-on-chip (NoC) architecture and design problems related to structure, performance and modularity, engineers generally rely on guidance from the abundance of literature about better-understood system-level interconnection networks. However, on-chip networks present several distinct challenges that require novel and specialized solutions not found in the tried-and-true system-level techniques.

A Balanced Analysis of NoC Architecture
As the first detailed description of...

No mission is impossible when makers put their mind to it. MAKE Volume 16 will help you get smart with a special section on spy tech. Learn how to build and use tiny surveillance devices, and how to know if a spy is using them on you. From tiny video cameras to sneaky recorders, this volume has enough cool stuff to make James Bond's inventor Q envious.

Technological Advances and Problems of High Performance Communications
An ecosystem of solutions along a stack of technology layers

Cohesively collecting state-of-the-art contributions from leading researchers in industry, national laboratories, and academia, Attaining High Performance Communications: A Vertical Approach discusses various issues pertaining to high performance communications in a particular layer of a vertical stack. It explores efficient interconnection hardware, the architectural aspects of network adapters and their...

Proceedings of the International Symposium on High Performance Computational Science and Engineering 2004 (IFIP World Computer Congress) is an essential reference for both academic and professional researchers in the field of computational science and engineering.

Computational Science and Engineering is increasingly becoming an emerging and promising discipline in shaping future research and development activities in academia and industry ranging from engineering, science, finance, economics, arts and humanitarian fields. New challenges are in modeling of complex systems,...

The goal of this conference is to build an IFIP forum among the different Information Systems Communities of the IFIP TC 8 dealing with the increasingly important area of Enterprise Information Systems. The papers in this volume were selected from a pool of 180 papers from over 30 countries. Each paper was thouroughly reviewed by at least two qualified reviewers before being accepted.

As an additional feature of CONFENIS the conference organizers invited distinguished scholars to present and discuss special aspects relevant for future applications and research. Such special...

This book provides an overview of automatic test pattern generation (ATPG) and introduces novel techniques to complement classical ATPG, based on Boolean Satisfiability (SAT). A fast and highly fault efficient SAT-based ATPG framework is presented which is also able to generate high-quality delay tests such as robust path delay tests, as well as tests with long propagation paths to detect small delay defects.

The aim of the techniques and methodologies presented in this book is to improve SAT-based ATPG, in order to make it applicable in industrial practice. Readers will learn...