1 - 20
Next
1. Scientific parallel computing [2005]
- Scott, L. Ridgway.
- Princeton : Princeton University Press, c2005.
- Description
- Book — 374 p. : ill. ; 26 cm.
- Summary
-
- Preface ix Notation xiii
- Chapter 1. Introduction 1 1.1 Overview 1 1.2 What is parallel computing? 3 1.3 Performance 4 1.4 Why parallel? 11 1.5 Two simple examples 15 1.6 Mesh-based applications 24 1.7 Parallel perspectives 30 1.8 Exercises 33
- Chapter 2. Parallel Performance 37
- 2.1 Summation example 37 2.2 Performance measures 38 2.3 Limits to performance 44 2.4 Scalability 48 2.5 Parallel performance analysis 56 2.6 Parallel payoff 59 2.7 Real world parallelism 64 2.8 Starting SPMD programming 66 2.9 Exercises 66
- Chapter 3. Computer Architecture 71 3.1 PMS notation 71 3.2 Shared memory multiprocessor 75 3.3 Distributed memory multicomputer 79 3.4 Pipeline and vector processors 87 3.5 Comparison of parallel architectures 89 3.6 Taxonomies 92 3.7 Current trends 94 3.8 Exercises 95
- Chapter 4. Dependences 99 4.1 Data dependences 100 4.2 Loop-carried data dependences 103 4.3 Dependence examples 110 4.4 Testing for loop-carried dependences 112 4.5 Loop transformations 114 4.6 Dependence examples continued 120 4.7 Exercises 123
- Chapter 5. Parallel Languages 127 5.1 Critical factors 129 5.2 Command and control 134 5.3 Memory models 136 5.4 Shared memory programming 139 5.5 Message passing 143 5.6 Examples and comments 148 5.7 Parallel language developments 153 5.8 Exercises 154
- Chapter 6. Collective Operations 157 6.1 The @notation 157 6.2 Tree/ring algorithms 158 6.3 Reduction operations 162 6.4 Reduction operation applications 164 6.5 Parallel prefix algorithms 168 6.6 Performance of reduction operations 169 6.7 Data movement operations 173 6.8 Exercises 174
- Chapter 7. Current Programming Standards 177 7.1 Introduction to MPI 177 7.2 Collective operations in MPI 181 7.3 Introduction to POSIX threads 184 7.4 Exercises 187
- Chapter 8. The Planguage Model 191 8.1 I P language details 192 8.2 Ranges and arrays 198 8.3 Reduction operations in Pfortran 200 8.4 Introduction to PC 204 8.5 Reduction operations in PC 206 8.6 Planguages versus message passing 207 8.7 Exercises 208
- Chapter 9. High Performance Fortran 213 9.1 HPF data distribution directives 214 9.2 Other mechanisms for expressing concurrency 219 9.3 Compiling HPF 220 9.4 HPF comparisons and review 221 9.5 Exercises 222
- Chapter 10. Loop Tiling 227 10.1 Loop tiling 227 10.2 Work vs.data decomposition 228 10.3 Tiling in OpenMP 228 10.4 Teams 232 10.5 Parallel regions 233 10.6 Exercises 234
- Chapter 11. Matrix Eigen Analysis 237 11.1 The Leslie matrix model 237 11.2 The power method 242 11.3 A parallel Leslie matrix program 244 11.4 Matrix-vector product 249 11.5 Power method applications 251 11.6 Exercises 253
- Chapter 12. Linea Systems 257 12.1 Gaussian elimination 257 12.2 Solving triangular systems in parallel 262 12.3 Divide-and-conquer algorithms 271 12.4 Exercises 277 12.5 Projects 281
- Chapter 13. Particle Dynamics 283 13.1 Model assumptions 284 13.2 Using Newton's third law 285 13.3 Further code complications 288 13.4 Pair list generation 290 13.5 Force calculation with a pair list 296 13.6 Performance of replication algorithm 299 13.7 Case study:particle dynamics in HPF 302 13.8 Exercises 307 13.9 Projects 310
- Chapter 14. Mesh Methods 315 14.1 Boundary value problems 315 14.2 Iterative methods 319 14.3 Multigrid methods 322 14.4 Multidimensional problems 327 14.5 Initial value problems 328 14.6 Exercises 333 14.7 Projects 334
- Chapter 15. Sorting 335 15.1 Introduction 335 15.2 Parallel sorting 337 15.3 Spatial sorting 342 15.4 Exercises 353 15.5 Projects 355
- Bibliography 357 Index 369.
- (source: Nielsen Book Data)
(source: Nielsen Book Data)
- Online
Engineering Library (Terman)
Engineering Library (Terman) | Status |
---|---|
Stacks | |
QA76.58 .S36 2005 | Unknown |
2. Fundamentals of parallel processing [2003]
- Jordan, Harry F. (Harry Frederick)
- Upper Saddle River, NJ : Prentice Hall, c2003.
- Description
- Book — xviii, 536 p. : ill. ; 24 cm.
- Summary
-
- 1. Parallel Machines and Computations.
- 2. Potential for Parallel Computations.
- 3. Vector Algorithms and Architectures.
- 4. MIMD Computers and Multiprocessors.
- 5. Distributed Memory Multiprocessors.
- 6. Interconnection Networks.
- 7. Data Dependence and Parallelism.
- 8. Implementing Synchronization and Data Sharing.
- 9. Parallel Processor Performance.
- 10. Temporal Behavior of Parallel Programs.
- 11. Parallel I/O. Appendix A. Routines of the MPI Message Passing Library. Appendix B. Synchronization Mechanisms. Bibliography. Index.
- (source: Nielsen Book Data)
(source: Nielsen Book Data)
- Online
Engineering Library (Terman)
Engineering Library (Terman) | Status |
---|---|
Stacks | |
QA76.58 .J68 2003 | Unknown |
- MOVEP 2000 (2000 : Nantes, France)
- New York : Springer, 2001.
- Description
- Book — x, 222 p. : ill. ; 24 cm.
- Summary
-
Daily life relies more and more on safety critical systems, e.g. in areas such as power plant control, traffic management, flight control, and many more. MOVEP is a school devoted to the broad subject of modeling and verifying software and hardware systems. This volume contains tutorials and annotated bibliographies covering the main subjects addressed at MOVEP 2000. The four tutorials deal with Model Checking, Theorem Proving, Composition and Abstraction Techniques, and Timed Systems. Three research papers give detailed views of High-Level Message Sequence Charts, Industrial Applications of Model Checking, and the use of Formal Methods in Security. Finally, four annotated bibliographies give an overview of Infinite State Space Systems, Testing Transition Systems, Fault-Model-Driven Test Derivation, and Mobile Processes.
(source: Nielsen Book Data)
SAL3 (off-campus storage)
SAL3 (off-campus storage) | Status |
---|---|
Stacks | Request (opens in new tab) |
QA76.5 .M69 2000 | Available |
- Dordrecht ; Boston, MA : Kluwer Academic Publishers, 1999.
- Description
- Book — xxvi, 286 p. : ill. ; 25 cm.
- Summary
-
- Preface. Contributing Authors. 1. Optimal Bounds on Tail Probabilities: A Study of an Approach
- A. Cohen, et al. 2. Parallelism in Comparison Problems
- D. Krizanc. 3. Random Sampling
- R. Raman. 4. Randomized Algorithms on the Mesh
- L. Narayanan. 5. Efficient Randomized Algorithms
- D.S.L. Wei, K. Naik. 6. Ultrafast Randomized Parallel Algorithms for Spanning Forests
- A. Dessmark, et al. 7. Parallel Randomized Techniques for Some Fundamental Geometric Problems
- S. Ramaswami. 8. Capturing the Connectivity of High-Dimensional Geometric Spaces
- D. Hsu, et al. 9. Randomized Parallel Prefetching and Buffer Management
- M. Kalluhalla, P.J. Varman. 10. DFA Problems
- B. Ravikumar. 11. LAPACK90
- J. Dongarra, J. Wasniewski. References. Appendix A. Appendix B. Appendix D. Appendix E. Index.
- (source: Nielsen Book Data)
(source: Nielsen Book Data)
SAL3 (off-campus storage)
SAL3 (off-campus storage) | Status |
---|---|
Stacks | Request (opens in new tab) |
QA76.58 .A395 1999 | Available |
- Parhami, Behrooz.
- New York : Plenum Press, c1999.
- Description
- Book — xxi, 532 p. : ill. ; 26 cm.
- Summary
-
- Fundamental Concepts: Introduction to Parallelism. A Taste of Parallel Algorithms. Parallel Algorithm Complexity. Models of Parallel Processing. Extreme Models: PRAM and Basic Algorithms. More Shared-Memory Algorithms. Sorting and Selection Networks. Other Circuit-Level Examples. Mesh-Based Architectures: Sorting on a 2D Mesh or Torus. Routing on a 2D Mesh or Torus. Numerical 2D Mesh Algorithms. Other Mesh-Related Architectures. Low-Diameter Architectures: Hypercubes and Their Algorithms. Sorting and Routing on Hypercubes. Other Hypercubic Architectures. A Sampler of Other Networks. Some Broad Topics: Emulation and Scheduling. Data Storage, Input, and Output. Reliable Parallel Processing. System and Software Issues. Implementation Aspects: Shared-Memory MIMD Machines. Message-Passing MIMD Machines. Data-Parallel SIMD Machines. Past, Present, and Future. Index.
- (source: Nielsen Book Data)
(source: Nielsen Book Data)
- Online
Engineering Library (Terman)
Engineering Library (Terman) | Status |
---|---|
Stacks | |
QA76.58 .P3798 1999 | Unknown |
6. Concurrent systems : operating systems, database and distributed systems--an integrated approach [1998]
- Bacon, Jean, 1942-
- 2nd ed. - Harlow, England ; Reading, Mass. : Addison-Wesley, c1998.
- Description
- Book — xxx, 719 p. : ill. ; 24 cm.
- Summary
-
- Preface 1 Introduction: Examples and Requirements Part I Background and Fundamentals 2 System Structure and Dynamic Execution 3 The Hardware Interface, I/O and Communications 4 Support for Processes 5 Fundamentals of Distributed Systems 6 Memory Management 7 File Management Part II Single Concurrent Actions 8 System Structure 9 Low-Level Synchronization Primitives-Implementation 10 Low-Level Primitives-Use in Systems and Languages 11 Language Primitives for Shared Memory 12 IPC and System Structure 13 IPC Without Shared Memory 14 Crash Resilience and Persistent Data 15 Distributed IPC Part III Concurrent Composite Actions 16 Decomposable Abstract Operations 17 Resource Allocation and Deadlock 18 Transactions 19 Concurrency Control 20 Recovery 21 Distributed Transactions 22 Distributed Computations Part IV Case Studies 23 UNIX 24 Microkernels: MACH and CHORUS 25 Windows NT 26 Middleware: Corba and Java 27 Transaction Processing Monitors and Systems Appendix: Evolution of Computer Systems.
- (source: Nielsen Book Data)
(source: Nielsen Book Data)
- Online
Science Library (Li and Ma)
Science Library (Li and Ma) | Status |
---|---|
Stacks | |
QA76.58 .B33 1998 | CHECKEDOUT |
7. Using S-Check ML version 3.0 [microform] [1998]
- Gaithersburg, MD : U.S. Dept. of Commerce, Technology Administration, National Institute of Standards and Technology, [1998]
- Description
- Book — viii, 94 p. : ill.
- Online
Green Library
Green Library | Status |
---|---|
Find it US Federal Documents | |
C 13.58:5789-1 | Unknown |
- Brezany, Peter, 1948-
- Berlin ; New York : Springer, c1997.
- Description
- Book — xiv, 288 p. : ill. ; 24 cm.
- Summary
-
Massively parallel processing is currently the most promising answer to the quest for increased computer performance. This has resulted in the development of new programming languages and programming environments and has stimulated the design and production of massively parallel supercomputers. The efficiency of concurrent computation and input/output essentially depends on the proper utilization of specific architectural features of the underlying hardware. This book focuses on development of runtime systems supporting execution of parallel code and on supercompilers automatically parallelizing code written in a sequential language. Fortran has been chosen for the presentation of the material because of its dominant role in high-performance programming for scientific and engineering applications.
(source: Nielsen Book Data)
SAL3 (off-campus storage)
SAL3 (off-campus storage) | Status |
---|---|
Stacks | Request (opens in new tab) |
QA76.58 .B749 1997 | Available |
- Cambridge ; New York : Cambridge University Press, 1997.
- Description
- Book — viii, 158 p. : ill. ; 26 cm.
- Summary
-
- 1. Introduction
- 2. Basic concepts
- 3. Extremal graph properties
- 4. Rounding, interval partitioning and separation
- 5. Primal-dual method
- 6. Graph decomposition
- 7. Further parallel approximations
- 8. Non-approximability
- 9. Syntactical defined phrases
- Appendix: Definition of problems
- Bibliography
- Index.
- (source: Nielsen Book Data)
(source: Nielsen Book Data)
- Online
SAL3 (off-campus storage)
SAL3 (off-campus storage) | Status |
---|---|
Stacks | Request (opens in new tab) |
QA76.58 .P355 1997 | Available |
10. Parallel computation : models and methods [1997]
- Akl, Selim G.
- Upper Saddle River, N.J. : Prentice Hall, c1997.
- Description
- Book — xvi, 608 p. : ill. ; 24 cm.
- Summary
-
- 1. Introductio
- n2. Models of Computatio
- n3. Combinational Circuit
- s4. Parallel Prefix Computatio
- n5. Divide and Conque
- r6. Pointer-Based Data Structure
- s7. Linear Array
- s8. Meshes and Related Model
- s9. Hypercubes and Star
- s10. Models Using Buse
- s11. Broadcasting with Selective Reductio
- n12. Parallel SynergyBibliographyIndex.
- (source: Nielsen Book Data)
(source: Nielsen Book Data)
- Online
Engineering Library (Terman)
Engineering Library (Terman) | Status |
---|---|
Stacks | |
QA76.58 .A48 1997 | Unknown |
- Muchnick, V. B.
- London : International Thomson Computer Press, 1996.
- Description
- Book — xv, 223 p. : ill., tables ; 24 cm.
- Summary
-
Increasingly, research in parallel computing is focused on how high-level language constructs can be implemented. Through the introduction of a language, EVAL, the authors show how such languages can help to develop a better understanding of the nature of data parallelism and consequently produce more elegant and portable programs.
(source: Nielsen Book Data)
- Online
SAL3 (off-campus storage)
SAL3 (off-campus storage) | Status |
---|---|
Stacks | Request (opens in new tab) |
QA76.58 .M84 1996 | Available |
- Kuck, David J.
- New York : Oxford University Press, 1996.
- Description
- Book — xvi, 320 p. : ill. ; 25 cm.
- Summary
-
- 1. The Technology, Policy and Business of Computers
- 2. History and Present State of Parallel Computing
- 3. Parallel Computing System Software and Workloads
- 4. Parallel System Architecture
- 5. A Performance Overview of Parallel Processing
- 6. Performance Speedup and Stability
- 7. Performance Scalability
- 8. Demonstrating PPTs 1, 2, and 3
- 9. Demonstrating PPTs 4 and 5
- 10. The Future of High Performance Computing.
- (source: Nielsen Book Data)
(source: Nielsen Book Data)
- Online
SAL3 (off-campus storage)
SAL3 (off-campus storage) | Status |
---|---|
Stacks | Request (opens in new tab) |
QA76.58 .K82 1996 | Available |
13. Exploitation of fine-grain parallelism [1995]
- Böckle, Günter, 1949-
- Berlin ; New York : Springer-Verlag, c1995.
- Description
- Book — ix, 188 p. : ill. ; 24 cm.
- Summary
-
Many parallel computer architectures are especially suited for particular classes of applications. However, there are only a few parallel architectures equally well suited for standard programs. Much effort is invested into research in compiler techniques to make programming parallel machines easier. This book presents methods for automatic parallelization, so that programs need not to be tailored for specific architectures; here the focus is on fine-grain parallelism, offered by most new microprocessor architectures. The book addresses compiler writers, computer architects, and students by demonstrating the manifold complex relationships between architecture and compiler technology.
(source: Nielsen Book Data)
SAL3 (off-campus storage)
SAL3 (off-campus storage) | Status |
---|---|
Stacks | Request (opens in new tab) |
QA76.58 .B63 1995 | Available |
- Greenlaw, Raymond.
- New York : Oxford University Press, 1995.
- Description
- Book — 311 p.
- Summary
-
This volume provides an ideal introduction to key topics in parallel computing. With its cogent overview of the essentials of the subject as well as lists of P -complete- and open problems, extensive remarks corresponding to each problem, a thorough index, and extensive references, the book will prove invaluable to programmers stuck on problems that are particularly difficult to parallelize. In providing an up-to-date survey of parallel computing research from 1994, Topics in Parallel Computing will prove invaluable to researchers and professionals with an interest in the super computers of the future.
(source: Nielsen Book Data)
- Online
SAL3 (off-campus storage)
SAL3 (off-campus storage) | Status |
---|---|
Stacks | Request (opens in new tab) |
QA76.58 .G74 1995 | Available |
- Hampton, Va. : National Aeronautics and Space Administration, Langley Research Center ; [Springfield, Va. : National Technical Information Service, distributor, 1994]
- Description
- Book — 1 v.
- Online
Green Library
Green Library | Status |
---|---|
Find it US Federal Documents | |
NAS 1.15:109092 | Unknown |
16. Foundations of parallel programming [1994]
- Skillicorn, David B.
- Cambridge ; New York, NY, USA : Cambridge University Press, 1994.
- Description
- Book — xii, 197 p. : ill. ; 26 cm.
- Summary
-
- 1. The key idea
- 2. Parallel software development
- 3. Architectural background
- 4. Models and their properties
- 5. The categorical data type of lists
- 6. Software development using lists
- 7. Other operations on lists
- 8. A cost calculus for lists
- 9. Building categorical data types
- 10. Lists, bags and finite sets
- 11. Trees
- 12. Arrays
- 13. Graphs
- 14. Conclusions
- Appendix A. C++ Library for lists
- Appendix B. Historical background.
- (source: Nielsen Book Data)
(source: Nielsen Book Data)
- Online
SAL3 (off-campus storage)
SAL3 (off-campus storage) | Status |
---|---|
Stacks | Request (opens in new tab) |
QA76.58 .S59 1994 | Available |
17. Parallel computing : principles and practice [1994]
- Fountain, T. J. (Terry J.)
- New York : Cambridge University Press, 1994.
- Description
- Book — 346 p.
- Summary
-
- Preface
- 1. Introduction
- 2. The paradigms of parallel computing
- 3. Programming parallel computers
- 4. Connectivity
- 5. Processor design
- 6. System performance
- 7. Some case studies
- 8. Conclusions
- Bibliography
- References
- Index.
- (source: Nielsen Book Data)
(source: Nielsen Book Data)
- Online
SAL3 (off-campus storage)
SAL3 (off-campus storage) | Status |
---|---|
Stacks | Request (opens in new tab) |
QA76.58 .F67 1994 | Available |
- Chichesterd ; New York : Wiley, c1994.
- Description
- Book — ix, 272 p. : ill. ; 25 cm.
- Online
SAL3 (off-campus storage)
SAL3 (off-campus storage) | Status |
---|---|
Stacks | Request (opens in new tab) |
QA76.58 .P67 1994 | Available |
- Ortega, James M., 1932-
- Charlottesville, VA : School of Engineering & Applied Science, University of Virginia ; [Washington, DC : National Aeronautics and Space Administration ; Springfield, Va. : National Technical Information Service, distributor, 1994]
- Description
- Book — 1 v.
- Online
Green Library
Green Library | Status |
---|---|
Find it US Federal Documents | |
NAS 1.26:196267 | Unknown |
- Jones, Robert L.
- Hampton, Va. : National Aeronautics and Space Administration, Langley Research Center ; [Springfield, Va. : National Technical Information Service, distributor, 1993]
- Description
- Book — 1 v.
- Online
Green Library
Green Library | Status |
---|---|
Find it US Federal Documents | |
NAS 1.15:109054 | Unknown |
Articles+
Journal articles, e-books, & other e-resources
Guides
Course- and topic-based guides to collections, tools, and services.