Handbook of Parallel Computing


Book Description

The ability of parallel computing to process large data sets and handle time-consuming operations has resulted in unprecedented advances in biological and scientific computing, modeling, and simulations. Exploring these recent developments, the Handbook of Parallel Computing: Models, Algorithms, and Applications provides comprehensive coverage on a




Vector and Parallel Processing - VECPAR'98


Book Description

This book constitutes the thoroughly refereed post-conference proceedings of the Third International Conference on Vector and Parallel Processing, VECPAR'98, held in Porto, Portugal, in June 1998. The 41 revised full papers presented were carefully selected during two rounds of reviewing and revision. Also included are six invited papers and introductory chapter surveys. The papers are organized in sections on eigenvalue problems and solutions of linear systems; computational fluid dynamics, structural analysis, and mesh partitioning; computing in education; computer organization, programming and benchmarking; image analysis and synthesis; parallel database servers; and nonlinear problems.




Vector and Parallel Processing - VECPAR 2000


Book Description

This book constitutes the thoroughly refereed post-proceedings of the 4th International Conference on Vector and Parallel Processing, VECPAR 2000, held in Porto, Portugal, in June 2000. The 40 revised full papers presented were carefully selected and improved during two rounds of reviewing. The papers are orgainized in topical sections on computational grids - languages and tools in multiplatform environments, cellular automata and applications in computational physics, linear and non-linear algebra, imaging, and finite/discrete elements in engineering applications.




Parallel Scientific Computing


Book Description

This volume presents the proceedings of the First International workshop on Parallel Scientific Computing, PARA '94, held in Lyngby, Denmark in June 1994. It reports interdisciplinary work done by mathematicians, scientists and engineers working on large-scale computational problems in discussion with computer science specialists in the field of parallel methods and the efficient exploitation of modern high-performance computing resources. The 53 full refereed papers provide a wealth of new results: an up-to-date overview on high-speed computing facilities, including different parallel and vector computers as well as workstation clusters, is given and the most important numerical algorithms, with a certain emphasis on computational linear algebra, are investigated.




Advances in Computers


Book Description

Since its first volume in 1960, Advances in Computers has presented detailed coverage of innovations in hardware and software and in computer theory, design, and applications. It has also provided contributorswith a medium in which they can examine their subjects in greater depth and breadth than that allowed by standard journal articles. As a result, many articles have become standard references that continue to be of significant, lasting value despite the rapid growth taking place in the field.




Petascale Computing


Book Description

Although the highly anticipated petascale computers of the near future will perform at an order of magnitude faster than today's quickest supercomputer, the scaling up of algorithms and applications for this class of computers remains a tough challenge. From scalable algorithm design for massive concurrency toperformance analyses and scientific vis




Leveraging Applications of Formal Methods


Book Description

This book constitutes the thoroughly refereed post-proceedings of the First International Symposium on Leveraging Applications of Formal Methods, ISoLA 2004, held in Paphos, Cyprus in October/November 2004. The 12 revised full papers presented were carefully selected from more than 70 submissions. The papers discuss issues related to the adoption and use of rigorous tools and methods for the specification, analysis, verification, certification, construction, test, and maintenance of systems. In particular, by discussing common problems, requirements, algorithms, methodologies, and practices, ISoLA aims at supporting researchers in their quest to improve the utility, reliability, flexibility, and efficiency of tools for building systems, and users in their search for adequate solutions to their problems.




Languages and Compilers for High Performance Computing


Book Description

The 17th International Workshop on Languages and Compilers for High Performance Computing was hosted by Purdue University in September 2004 on Purdue campus in West Lafayette, Indiana, USA.




Applied Parallel Computing. Computations in Physics, Chemistry and Engineering Science


Book Description

This book presents the refereed proceedings of the Second International Workshop on Applied Parallel Computing in Physics, Chemistry and Engineering Science, PARA'95, held in Lyngby, Denmark, in August 1995. The 60 revised full papers included have been contributed by physicists, chemists, and engineers, as well as by computer scientists and mathematicians, and document the successful cooperation of different scientific communities in the booming area of computational science and high performance computing. Many widely-used numerical algorithms and their applications on parallel computers are treated in detail.