SCI: Scalable Coherent Interface
SCI: Scalable Coherent Interface

Author: Hermann Hellwagner

Publisher: Springer

Published: 2006-12-29

Total Pages: 494

ISBN-13: 3540470484

DOWNLOAD EBOOK

Scalable Coherent Interface (SCI) is an innovative interconnect standard (ANSI/IEEE Std 1596-1992) addressing the high-performance computing and networking domain. This book describes in depth one specific application of SCI: its use as a high-speed interconnection network (often called a system area network, SAN) for compute clusters built from commodity workstation nodes. The editors and authors, coming from both academia and industry, have been instrumental in the SCI standardization process, the development and deployment of SCI adapter cards, switches, fully integrated clusters, and software systems, and are closely involved in various research projects on this important interconnect. This thoroughly cross-reviewed state-of-the-art survey covers the complete hardware/software spectrum of SCI clusters, from the major concepts of SCI, through SCI hardware, networking, and low-level software issues, various programming models and environments, up to tools and application experiences.

Distributed Shared Memory
Distributed Shared Memory

Author: Jelica Protic

Publisher: John Wiley & Sons

Published: 1997-08-10

Total Pages: 384

ISBN-13: 9780818677373

DOWNLOAD EBOOK

The papers present in this text survey both distributed shared memory (DSM) efforts and commercial DSM systems. The book discusses relevant issues that make the concept of DSM one of the most attractive approaches for building large-scale, high-performance multiprocessor systems. The authors provide a general introduction to the DSM field as well as a broad survey of the basic DSM concepts, mechanisms, design issues, and systems. The book concentrates on basic DSM algorithms, their enhancements, and their performance evaluation. In addition, it details implementations that employ DSM solutions at the software and the hardware level. This guide is a research and development reference that provides state-of-the art information that will be useful to architects, designers, and programmers of DSM systems.

Recent Advances in Parallel Virtual Machine and Message Passing Interface
Recent Advances in Parallel Virtual Machine and Message Passing Interface

Author: Marian Bubak

Publisher: Springer Science & Business Media

Published: 1997-10-15

Total Pages: 540

ISBN-13: 9783540636977

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 4th European Parallel Virtual Machine and Message Passing Interface Users' Group Meeting, PVM/MPI '97, held in Cracow, Poland in November 1997. Parallel Virtual Machine and Message Passing Interface are the most popular tools for programming in accordance with the message passing paradigm which, at present, is considered to be the best way to develop effective parallel programs. The book presents 63 carefully selected papers covering the whole range of PVM/MPI issues. The papers are organized in sections on evaluation and performance, extensions and improvements, implementation, tools, algorithms, and applications in science and engineering.

Encyclopedia of Parallel Computing
Encyclopedia of Parallel Computing

Author: David Padua

Publisher: Springer Science & Business Media

Published: 2014-07-08

Total Pages: 2211

ISBN-13: 038709766X

DOWNLOAD EBOOK

Containing over 300 entries in an A-Z format, the Encyclopedia of Parallel Computing provides easy, intuitive access to relevant information for professionals and researchers seeking access to any aspect within the broad field of parallel computing. Topics for this comprehensive reference were selected, written, and peer-reviewed by an international pool of distinguished researchers in the field. The Encyclopedia is broad in scope, covering machine organization, programming languages, algorithms, and applications. Within each area, concepts, designs, and specific implementations are presented. The highly-structured essays in this work comprise synonyms, a definition and discussion of the topic, bibliographies, and links to related literature. Extensive cross-references to other entries within the Encyclopedia support efficient, user-friendly searchers for immediate access to useful information. Key concepts presented in the Encyclopedia of Parallel Computing include; laws and metrics; specific numerical and non-numerical algorithms; asynchronous algorithms; libraries of subroutines; benchmark suites; applications; sequential consistency and cache coherency; machine classes such as clusters, shared-memory multiprocessors, special-purpose machines and dataflow machines; specific machines such as Cray supercomputers, IBM’s cell processor and Intel’s multicore machines; race detection and auto parallelization; parallel programming languages, synchronization primitives, collective operations, message passing libraries, checkpointing, and operating systems. Topics covered: Speedup, Efficiency, Isoefficiency, Redundancy, Amdahls law, Computer Architecture Concepts, Parallel Machine Designs, Benmarks, Parallel Programming concepts & design, Algorithms, Parallel applications. This authoritative reference will be published in two formats: print and online. The online edition features hyperlinks to cross-references and to additional significant research. Related Subjects: supercomputing, high-performance computing, distributed computing

Computer Aided Verification
Computer Aided Verification

Author: Kim G. Larsen

Publisher: Springer Science & Business Media

Published: 1992-04-22

Total Pages: 504

ISBN-13: 9783540551799

DOWNLOAD EBOOK

This volume contains the proceedings of the third International Workshop on Computer Aided Verification, CAV '91, held in Aalborg, Denmark, July 1-4, 1991. The objective of this series of workshops is to bring together researchers and practitioners interested in the development and use of methods, tools and theories for automatic verification of (finite) state systems. The workshop provides a unique opportunity for comparing the numerous verification methods and associated verification tools, and the extent to which they may be utilized in application design. The emphasis is not only on new research results but also on the application of existing results to real verification problems. The papers in the volume areorganized into sections on equivalence checking, model checking, applications, tools for process algebras, the state explosion problem, symbolic model checking, verification and transformation techniques, higher order logic, partial order approaches, hardware verification, timed specification and verification, and automata.

Field-Programmable Logic and Applications. From FPGAs to Computing Paradigm
Field-Programmable Logic and Applications. From FPGAs to Computing Paradigm

Author: Reiner W. Hartenstein

Publisher: Springer Science & Business Media

Published: 1998-08-14

Total Pages: 808

ISBN-13: 9783540649489

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 8th International Workshop on Field-Programmable Logics and Applications, FPL '98, held in Tallinn, Estonia, in August/September 1998. The 39 revised full papers presented were carefully selected for inclusion in the book from a total of 86 submissions. Also included are 30 refereed high-quality posters. The papers are organized in topical sections on design methods, general aspects, prototyping and simulation, development methods, accelerators, system architectures, hardware/software codesign, system development, algorithms on FPGAs, and applications.

Field-Programmable Logic and Applications. From FPGAs to Computing Paradigm
Field-Programmable Logic and Applications. From FPGAs to Computing Paradigm

Author: Reiner W. Hartenstein

Publisher: Springer

Published: 2003-06-29

Total Pages: 543

ISBN-13: 3540680667

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 8th International Workshop on Field-Programmable Logics and Applications, FPL '98, held in Tallinn, Estonia, in August/September 1998. The 39 revised full papers presented were carefully selected for inclusion in the book from a total of 86 submissions. Also included are 30 refereed high-quality posters. The papers are organized in topical sections on design methods, general aspects, prototyping and simulation, development methods, accelerators, system architectures, hardware/software codesign, system development, algorithms on FPGAs, and applications.

Encyclopedia of Microcomputers
Encyclopedia of Microcomputers

Author: Allen Kent

Publisher: CRC Press

Published: 2000-12-05

Total Pages: 558

ISBN-13: 9780824727253

DOWNLOAD EBOOK

This is the 26th volume in the Encyclopedia of Microcomputers series. It covers topics such as volume graphics and an automatic fuzzy rule generation method for handwriting recognition.

Blackie's Dictionary of Computer Science
Blackie's Dictionary of Computer Science

Author: Blackie

Publisher: S. Chand Publishing

Published: 2013

Total Pages: 442

ISBN-13: 8121941539

DOWNLOAD EBOOK

The book provides a wide coverage of entries across software. Hardware, firmware, operating systems, protocols, networking, data bases, graphics, security, artificial intelligence, programming logic, mathematics, game theory, software engineering and related areas of IT industry. The key features of the book are: