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.OCLC-licensed vendor bibliographic record.
Includes index.The forces that shaped Canada's digital innovations in the postwar period.After World War II, other major industrialized nations responded to the technological and industrial hegemony of the United States by developing their own design and manufacturing competence in digital electronic technology. In this book John Vardalas describes the quest for such competence in Canada, explo…
The history of a crucial decade in the early development of digital technology, focusing on both technical and business issues at two key firms.Between 1946 and 1957 computing went from a preliminary, developmental stage to more widespread use accompanied by the beginnings of the digital computer industry. During this crucial decade, spurred by rapid technological advances, the computer enterpr…
"A Bradford book."The first systematic examination of Hilary Putnam's arguments against computational functionalism challenges each of Putnam's main arguments.OCLC-licensed vendor bibliographic record.
Constraint-Based Grammar Formalisms provides the first rigorous mathematical and computational basis for this important area. Constraint-based theories of grammar and grammar formalisms are becoming an increasingly widespread area of research in computational linguistics. Constraint-Based Grammar Formalisms provides the first rigorous mathematical and computational basis for this important area…
Intended for designers and researchers, Context and Consciousness brings together 13 contributions that apply activity theory to problems of human-computer interaction. Understanding how people actually use computers in their everyday lives is essential to good design and evaluation. This insight necessitates a move out of the laboratory and into the field. The research described in Context and…
The transition from sequential to parallel computation is an area of critical concern in today's computer technology, particularly in architecture, programming languages, systems, and artificial intelligence. This book addresses central issues in concurrency, and by producing both a syntactic definition and a denotational model of Hewitt's actor paradigm--a model of computation specifically aim…
A thorough and accessible introduction to a range of key ideas in type systems for programming language.The study of type systems for programming languages now touches many areas of computer science, from language design and implementation to software engineering, network security, databases, and analysis of concurrent and distributed systems. This book offers accessible introductions to key id…
"Bers argues that coding should be taught in early childhood and beyond STEM fields, where it is currently isolated from ethical, cultural, and language skills"--OCLC-licensed vendor bibliographic record.