Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Artificial intelligence. Robotics. Simulation. Graphics --- Automatic theorem proving --- Artificial intelligence --- Electronic digital computers --- Théorèmes --- Intelligence artificielle --- Programmation des ordinateurs --- Programming --- Démonstration automatique --- Computer programming --- 681.3*I23 --- Computers --- Electronic computer programming --- Electronic data processing --- Programming (Electronic computers) --- Coding theory --- Automated theorem proving --- Theorem proving, Automated --- Theorem proving, Automatic --- Proof theory --- AI (Artificial intelligence) --- Artificial thinking --- Electronic brains --- Intellectronics --- Intelligence, Artificial --- Intelligent machines --- Machine intelligence --- Thinking, Artificial --- Bionics --- Cognitive science --- Digital computer simulation --- Logic machines --- Machine theory --- Self-organizing systems --- Simulation methods --- Fifth generation computers --- Neural computers --- Deduction and theorem proving: answer/reason extraction; reasoning; resolution; metatheory; mathematical induction; logic programming (Artificial intelligence) --- Automatic theorem proving. --- Artificial intelligence. --- Computer programming. --- 681.3*I23 Deduction and theorem proving: answer/reason extraction; reasoning; resolution; metatheory; mathematical induction; logic programming (Artificial intelligence) --- Théorèmes --- Démonstration automatique

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Logic programming --- Congresses --- -Computer programming --- Congresses. --- -Congresses --- Programmation logique --- Congrès --- Logic programming - Congresses

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Using MPI is a completely up-to-date version of the authors' 1994 introduction to the core functions of MPI. It adds material onthe new C++ and Fortran 90 bindings for MPI throughout the book.

Computer Science --- Engineering & Applied Sciences --- Parallel programming (Computer science) --- Parallel computers --- Computer interfaces. --- Interfaces, Computer --- Computer input-output equipment --- Interface circuits --- Electronic digital computers --- Computer programming --- Parallel processing (Electronic computers) --- Programming. --- COMPUTER SCIENCE/High Performance Computing

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Computer interfaces --- Parallel computers --- Parallel programming (Computer science) --- Ordinateurs --- Ordinateurs parallèles --- Programmation parallèle (Informatique) --- Programming --- Interfaces --- Programmation --- -Parallel programming (Computer science) --- Computer programming --- Parallel processing (Electronic computers) --- Interfaces, Computer --- Computer input-output equipment --- Interface circuits --- Electronic digital computers

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This book offers a practical guide to the advanced features of the MPI (Message-Passing Interface) standard library for writing programs for parallel computers. It covers new features added in MPI-3, the latest version of the MPI standard, and updates from MPI-2. Like its companion volume, Using MPI, the book takes an informal, example-driven, tutorial approach. The material in each chapter is organized according to the complexity of the programs used as examples, starting with the simplest example and moving to more complex ones. Using Advanced MPI covers major changes in MPI-3, including changes to remote memory access and one-sided communication that simplify semantics and enable better performance on modern hardware; new features such as nonblocking and neighborhood collectives for greater scalability on large systems; and minor updates to parallel I/O and dynamic processes. It also covers support for hybrid shared-memory/message-passing programming; MPI_Message, which aids in certain types of multithreaded programming; features that handle very large data; an interface that allows the programmer and the developer to access performance data; and a new binding of MPI to Fortran.

Parallel programming (Computer science) --- Parallel computers --- Computer interfaces. --- Interfaces, Computer --- Computer input-output equipment --- Interface circuits --- Electronic digital computers --- Computer programming --- Parallel processing (Electronic computers) --- Programming.