Systolic Computations


Book Description

This monograph is devoted to a new method of parallel computing which uses VLSI technology in an effcient manner. By this method, data are fed to the cells of a systolic processor and results are obtained instantly. Some theoretical and algorithmic questions which arise in the design of hardware and software for systolic processing are considered. Special attention is devoted to the complexity of VLSI, complexity of algorithms, parallel algorithms, relations between graphs of algorithms and graphs of processors, parallel programming languages, and the use of systolic algorithms for vector programming. The book is unique for its inclusion of a library of systolic algorithms for solving problems from twelve branches of computer science, and will be useful for designers of hardware and software for parallel processing.




Matrix Computations on Systolic-Type Arrays


Book Description

Matrix Computations on Systolic-Type Arrays provides a framework which permits a good understanding of the features and limitations of processor arrays for matrix algorithms. It describes the tradeoffs among the characteristics of these systems, such as internal storage and communication bandwidth, and the impact on overall performance and cost. A system which allows for the analysis of methods for the design/mapping of matrix algorithms is also presented. This method identifies stages in the design/mapping process and the capabilities required at each stage. Matrix Computations on Systolic-Type Arrays provides a much needed description of the area of processor arrays for matrix algorithms and of the methods used to derive those arrays. The ideas developed here reduce the space of solutions in the design/mapping process by establishing clear criteria to select among possible options as well as by a-priori rejection of alternatives which are not adequate (but which are considered in other approaches). The end result is a method which is more specific than other techniques previously available (suitable for a class of matrix algorithms) but which is more systematic, better defined and more effective in reaching the desired objectives. Matrix Computations on Systolic-Type Arrays will interest researchers and professionals who are looking for systematic mechanisms to implement matrix algorithms either as algorithm-specific structures or using specialized architectures. It provides tools that simplify the design/mapping process without introducing degradation, and that permit tradeoffs between performance/cost measures selected by the designer.




Concurrent Computations


Book Description

The 1987 Princeton Workshop on Algorithm, Architecture and Technology Issues for Models of Concurrent Computation was organized as an interdisciplinary work shop emphasizing current research directions toward concurrent computing systems. With participants from several different fields of specialization, the workshop cov ered a wide variety of topics, though by no means a complete cross section of issues in this rapidly moving field. The papers included in this book were prepared for the workshop and, taken together, provide a view of the broad range of issues and alternative directions being explored. To organize the various papers, the book has been divided into five parts. Part I considers new technology directions. Part II emphasizes underlying theoretical issues. Communication issues, which are ad dressed in the majority of papers, are specifically highlighted in Part III. Part IV includes papers stressing the fault tolerance and reliability of systems. Finally, Part V includes systems-oriented papers, where the system ranges from VLSI circuits through powerful parallel computers. Much of the initial planning of the workshop was completed through an informal AT&T Bell Laboratories group consisting of Mehdi Hatamian, Vijay Kumar, Adri aan Ligtenberg, Sailesh Rao, P. Subrahmanyam and myself. We are grateful to Stuart Schwartz, both for the support of Princeton University and for his orga nizing local arrangements for the workshop, and to the members of the organizing committee, whose recommendations for participants and discussion topics were par ticularly helpful. A. Rosenberg, and A. T.




Fundamentals of Computation Theory


Book Description

This volume contains papers which were contributed for presentation at the international conference "Fundamentals of Computation Theory - FCT '91" heldat Gosen, near Berlin, September 9-13, 1991. This was the eighth in the series of FCT conferences organized every odd year. The programme of theconference, including invited lectures and selected contributions, falls into the following categories: - Semantics and logical concepts in the theory of computing, formal specification, - Automata and formal languages, Computational geometry, - Algorithmic aspects of algebra and algebraic geometry, cryptography, - Complexity (sequential, parallel, distributed computing, structure, lower bounds, complexity of analytical problems, general concepts), - Algorithms (efficient, probabilistic, parallel, sequential, distributed), - Counting and combinatorics in connection with mathematical computer science. The proceedings of previous FCT meetings are available as Lecture Notes in Computer Science (Vols. 380, 278, 199, 158, 117, 56).




Computation & Cognition


Book Description

The theme of the symposium, computation and cognition, was designed to explore the relations between very different modes of computation, and to bring together views of the computation process from different disciplines.




Parallel Algorithms for Matrix Computations


Book Description

Describes a selection of important parallel algorithms for matrix computations. Reviews the current status and provides an overall perspective of parallel algorithms for solving problems arising in the major areas of numerical linear algebra, including (1) direct solution of dense, structured, or sparse linear systems, (2) dense or structured least squares computations, (3) dense or structured eigenvaluen and singular value computations, and (4) rapid elliptic solvers. The book emphasizes computational primitives whose efficient execution on parallel and vector computers is essential to obtain high performance algorithms. Consists of two comprehensive survey papers on important parallel algorithms for solving problems arising in the major areas of numerical linear algebra--direct solution of linear systems, least squares computations, eigenvalue and singular value computations, and rapid elliptic solvers, plus an extensive up-to-date bibliography (2,000 items) on related research.




Large Scale Scientific Computation


Book Description

Large Scale Scientific Computation is a collection of papers that deals with specialized architectural considerations, efficient use of existing computers, software developments, large scale projects in diverse disciplines, and mathematical approaches to basic algorithmic problems. One paper describes numerical treatment of large highly nonlinear two or three dimensional boundary value problems by quadratic minimization techniques applied in many institutions such as in Laboratoire Central des Ponts et Chaussees, Avions Marcel Dassault et Breguet Aviation. Another paper discusses computer-structured design techniques to improve the reliability, efficiency, and accuracy of future production codes. Computer modelling is a potent tool in numerical weather prediction relying on observation, analysis, initialization, and model development. One paper illustrates a systolic algorithm for matrix triangulation, as well as its uses in the Cholesky decomposition of covariance matrices. Another paper describes the Transient Reactor Analysis Code (TRAC) designed to deal with internal flow problems of nuclear reactors. One paper explains the application of large-scale aerodynamic simulation where the programmer can use finite difference techniques in which a large number of mesh points are strategically and orderly placed in the domain of the flow field. The collection is intended for undergraduates in mathematics, programming, computer science, or engineering courses, and designers or researchers involved in industrial facilities, aeronautics, and nuclear design.




Transputing '91


Book Description

Transputers constitute a revolutionary category of microprocessors for parallel processing which have become market leaders in 32-bit RISC architectures. The wide range of applications has caused a multitude of activities of user groups in all major countries, as well as regional activities on four continents. For the first time the collaboration of all these user groups has let to the organization of a world conference: Transputing '91.




VLSI Systems and Computations


Book Description

The papers in this book were presented at the CMU Conference on VLSI Systems and Computations, held October 19-21, 1981 in Pittsburgh, Pennsylvania. The conference was organized by the Computer Science Department, Carnegie-Mellon University and was partially supported by the National Science Foundation and the Office of Naval Research. These proceedings focus on the theory and design of computational systems using VLSI. Until very recently, integrated-circuit research and development were concentrated in the device physics and fabrication design disciplines and in the integrated-circuit industry itself. Within the last few years, a community of researchers is growing to address issues closer to computer science: the relationship between computing structures and the physical structures that implement them; the specification and verification of computational procosses implemented in VLSI; the use of massively parallel computing made possible by VLSI; the design of special purpose computing architectures; and the changes in general-purpose computer architecture that VLSI makes possible. It is likely that the future exploitation of VLSI technology depends as much on structural and design innovations as on advances in fabrication technology. The book is divided into nine sections: - Invited Papers. Six distinguished researchers from industry and academia presented invited papers. - Models of Computation. The papers in this section deal with abstracting the properties of VLSI circuits into models that can be used to analyze the chip area, time or energy required for a particular computation.




Computational Structural Mechanics & Fluid Dynamics


Book Description

Computational structural mechanics (CSM) and computational fluid dynamics (CFD) have emerged in the last two decades as new disciplines combining structural mechanics and fluid dynamics with approximation theory, numerical analysis and computer science. Their use has transformed much of theoretical mechanics and abstract science into practical and essential tools for a multitude of technological developments which affect many facets of our life. This collection of over 40 papers provides an authoritative documentation of major advances in both CSM and CFD, helping to identify future directions of development in these rapidly changing fields. Key areas covered are fluid structure interaction and aeroelasticity, CFD technology and reacting flows, micromechanics, stability and eigenproblems, probabilistic methods and chaotic dynamics, perturbation and spectral methods, element technology (finite volume, finite elements and boundary elements), adaptive methods, parallel processing machines and applications, and visualization, mesh generation and artificial intelligence interfaces.




Recent Books