SCI: Scalable Coherent Interface

SCI: Scalable Coherent Interface
Author: Hermann Hellwagner
Publisher: Springer
Total Pages: 494
Release: 2006-12-29
Genre: Computers
ISBN: 3540470484

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.

SCI: Scalable Coherent Interface

SCI: Scalable Coherent Interface
Author: Hermann Hellwagner
Publisher: Springer Science & Business Media
Total Pages: 494
Release: 1999-10-20
Genre: Computers
ISBN: 3540666966

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
Total Pages: 384
Release: 1997-08-10
Genre: Computers
ISBN: 9780818677373

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
Total Pages: 540
Release: 1997-10-15
Genre: Computers
ISBN: 9783540636977

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
Total Pages: 2211
Release: 2014-07-08
Genre: Computers
ISBN: 038709766X

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
Total Pages: 504
Release: 1992-04-22
Genre: Computers
ISBN: 9783540551799

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
Total Pages: 808
Release: 1998-08-14
Genre: Computers
ISBN: 9783540649489

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
Total Pages: 543
Release: 2003-06-29
Genre: Computers
ISBN: 3540680667

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
Total Pages: 558
Release: 2000-12-05
Genre: Computers
ISBN: 9780824727253

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.