High Performance Computing

High Performance Computing
Author: Yunquan Zhang
Publisher: Springer
Total Pages: 176
Release: 2013-10-01
Genre: Computers
ISBN: 3642415911

This book constitutes the refereed proceedings of the National Annual Conference on High Performance Computing, HPC 2012, held in Zhangjiajie, China, in October 2012. The 14 revised full papers presented were carefully reviewed and selected from 260 submissions. The papers address issues such as parallel architecture, GPU computing, resource scheduling, parallel algorithm, and performance evaluation.

Embedded Microprocessor Systems

Embedded Microprocessor Systems
Author: Christian Müller-Schloer
Publisher: IOS Press
Total Pages: 528
Release: 1996
Genre: Computers
ISBN: 9789051993004

Embedded microprocessor systems are affecting our daily lives at a fast pace, mostly unrecognised by the general public. Most of us are aware of the part they are playing in increasing business efficiency through office applications such as personal computers, printers and copiers. Only a few people, however, fully appreciate the growing role of embedded systems in telecommunications and industrial environments, or even in everyday products like cars and home appliances. The challenge to engineers and managers is not only highlighted by the sheer size of the market, ' 1.5 billion microcontrollers and microprocessors are produced every year ' but also by the accelerating innovation in embedded systems towards higher complexity in hardware, software and tools as well as towards higher performance and lower consumption. To maintain competitiveness in this demanding environment, an optimum mix of innovation, time to market and system cost is required. Choosing the right options and strategies for products and companies is crucial and rarely obvious. In this book the editors have, therefore, skilfully brought together more than fifty contributions from some of the leading authorities in embedded systems. The papers are conveniently grouped in four sections.

Symbolic Simulation Methods for Industrial Formal Verification

Symbolic Simulation Methods for Industrial Formal Verification
Author: Robert B. Jones
Publisher: Springer Science & Business Media
Total Pages: 159
Release: 2012-12-06
Genre: Technology & Engineering
ISBN: 1461511011

This volume contains two distinct, but related, approaches to the verification problem, both based on symbolic simulation. It describes new ideas that enable the use of formal methods, specifically symbolic simulation, in validating commercial hardware designs of remarkable complexity.

System z End-to-End Extended Distance Guide

System z End-to-End Extended Distance Guide
Author: Frank Kyne
Publisher: IBM Redbooks
Total Pages: 268
Release: 2014-03-06
Genre: Computers
ISBN: 0738439045

This IBM® Redbooks® publication will help you design and manage an end-to-end, extended distance connectivity architecture for IBM System z®. This solution addresses your requirements now, and positions you to make effective use of new technologies in the future. Many enterprises implement extended distance connectivity in a silo manner. However, effective extended distance solutions require the involvement of different teams within an organization. Typically there is a network group, a storage group, a systems group, and possibly other teams. The intent of this publication is to help you design and manage a solution that will provide for all of your System z extended distance needs in the most effective and flexible way possible. This book introduces an approach to help plan, optimize, and maintain all of the moving parts of the solution together.

Design of Systems on a Chip: Design and Test

Design of Systems on a Chip: Design and Test
Author: Ricardo Reis
Publisher: Springer Science & Business Media
Total Pages: 237
Release: 2007-05-06
Genre: Technology & Engineering
ISBN: 038732500X

This book is the second of two volumes addressing the design challenges associated with new generations of semiconductor technology. The various chapters are compiled from tutorials presented at workshops in recent years by prominent authors from all over the world. Technology, productivity and quality are the main aspects under consideration to establish the major requirements for the design and test of upcoming systems on a chip.

Computerworld

Computerworld
Author:
Publisher:
Total Pages: 136
Release: 1979-09-10
Genre:
ISBN:

For more than 40 years, Computerworld has been the leading source of technology news and information for IT influencers worldwide. Computerworld's award-winning Web site (Computerworld.com), twice-monthly publication, focused conference series and custom research form the hub of the world's largest global IT media network.

Processor Design

Processor Design
Author: Jari Nurmi
Publisher: Springer Science & Business Media
Total Pages: 534
Release: 2007-07-26
Genre: Technology & Engineering
ISBN: 1402055307

Here is an extremely useful book that provides insight into a number of different flavors of processor architectures and their design, software tool generation, implementation, and verification. After a brief introduction to processor architectures and how processor designers have sometimes failed to deliver what was expected, the authors introduce a generic flow for embedded on-chip processor design and start to explore the vast design space of on-chip processing. The authors cover a number of different types of processor core.

Computerworld

Computerworld
Author:
Publisher:
Total Pages: 76
Release: 1977-04-11
Genre:
ISBN:

For more than 40 years, Computerworld has been the leading source of technology news and information for IT influencers worldwide. Computerworld's award-winning Web site (Computerworld.com), twice-monthly publication, focused conference series and custom research form the hub of the world's largest global IT media network.

Tutorial

Tutorial
Author: Rex Rice
Publisher:
Total Pages: 326
Release: 1980
Genre: CAD/CAM systems
ISBN: