Advances in Computers

by Atif Memon (Editor)

Overview

Advances in Computers carries on a tradition of excellence, presenting detailed coverage of innovations in computer hardware, software, theory, design, and applications. The book provides contributors with a medium in which they can explore their subjects in greater depth and breadth than journal articles typically allow. The articles included in this book will become standard references, with lasting value in this rapidly expanding field. - Presents detailed coverage of recent innovations in computer hardware, software, theory, design, and applications - Includes in-depth surveys and tutorials on new computer technology pertaining to computing: combinatorial testing, constraint-based testing, and black-box testing - Written by well-known authors and researchers in the field - Includes extensive bibliographies with most chapters - Presents volumes devoted to single themes or subfields of computer science

Product Details

ISBN-13:	9780128051696
Publisher:	Elsevier Science & Technology Books
Publication date:	02/23/2016
Series:	Advances in Computers , #101
Sold by:	Barnes & Noble
Format:	eBook
Pages:	282
File size:	19 MB
Note:	This product may take a few minutes to download.

About the Author

Atif M. Memon is an Associate Professor at the Department of Computer Science, University of Maryland, where he founded and heads the Event Driven Software Lab (EDSL). Researchers at the EDSL study issues of design, development, quality assurance, and maintenance of such software applications. He designed and developed the model-based GUI testing software GUITAR, which operates on Android, iPhone, Java Swing, .NET, Java SWT, UNO, MS Windows, and web systems, and leverages a resource cloud for test automation. He has published over 90 research articles on the topic of event driven systems, software testing, and software engineering. He is the founder of the International Workshop on TESTing Techniques & Experimentation Benchmarks for Event-Driven Software (TESTBEDS). He also helped develop the workshop on Experimental Evaluation of Software and Systems in Computer Science (EVALUATE).

He is the Serial Editor of Advances in Computers, published by Elsevier. This series, since its first volume in 1960 and now the oldest series still being published, covers new developments in computer technology. He is an elected member of the Steering Committee of the International Conference on Software Testing, Verification and Validation ICST, the largest conference on software testing. He serves on various editorial boards, including that of the Journal of Software Testing, Verification, and Reliability. He has served on numerous National Science Foundation panels and program committees, including ICSE, FSE, ICST, WWW, ASE, ICSM, and WCRE. He is currently serving on a National Academy of Sciences panel as an expert in the area of Computer Science and Information Technology, for the Pakistan-U.S. Science and Technology Cooperative Program, sponsored by United States Agency for International Development (USAID).

He has a joint appointment in the University's Institute for Advanced Computer Studies (UMIACS). He received his Ph.D. from the University of Pittsburgh in Computer Science in 2001, and started at the University of Maryland soon thereafter. In 2007 he was a visiting scholar at the Institute of Software at the Chinese Academy of Sciences, and a visiting researcher at Tata Research Development and Design Centre.

Read an Excerpt

Hot Topics from Leaders in the Field

Table of Contents

Contributors     ix
Preface     xvii
DARPA's HPCS Program: History, Models, Tools, Languages   Jack Dongarra   Robert Graybill   William Harrod   Robert Lucas   Ewing Lusk   Piotr Luszczek   Janice McMahon   Allan Snavely   Jeffrey Vetter   Katherine Yelick   Sadaf Alam   Roy Campbell   Laura Carrington   Tzu-Yi Chen   Omid Khalili   Jeremy Meredith   Mustafa Tikir
Historical Background     3
Productivity Systems Modeling     19
Productivity Evaluation on Emerging Architectures     37
The DARPA HPCS Language Project     58
Research on Defining and Measuring Productivity     69
The HPC Challenge Benchmark Suite     86
Summary: The DARPA HPCS Program     95
References     96
Productivity in High-Performance Computing   Thomas Sterling   Chirag Dekate
Introduction     102
A General Formulation     105
Factors Determining HPC Productivity     107
A Special Theory of Productivity     121
A User-based Model of Productivity     124
Software Development & Productivity     129
Related Works     131
Conclusions     133
References     134
Performance Prediction and Ranking of Supercomputers   Tzu-Yi Chen   Omid Khalili   Roy L. Campbell, Jr.   Laura Carrington   Mustafa M. Tikir   Allan Snavely
Introduction     137
Methods for Predicting Performance     139
A Method for Weighting Benchmarks     143
Examples     148
Using End-to-End Runtimes     152
Using Basic Trace Data     160
Application-Independent Rankings     163
Conclusion     168
Acknowledgments     169
References     170
Sampled Processor Simulation: A Survey   Lieven Eeckhout
Introduction     174
Trace-Driven versus Execution-Driven Simulation     176
Sampled Simulation     178
Simulation Speed     180
Representative Sampling Units     182
Architecture State     190
Microarchitecture State     195
Case Studies     214
Summary     217
Acknowledgments     217
References     217
Distributed Sparse Matrices for Very High Level Languages    John R. Gilbert   Steve Reinhardt   Viral B. Shah
Introduction     226
Sparse Matrices: A User's View     227
Data Structures and Storage     228
Operations on Distributed Sparse Matrices     230
SSCA #2 Graph Analysis Benchmark     239
Looking Forward: A Next-Generation Parallel Sparse Library     248
Conclusion     250
References     251
Bibliographic Snapshots of High-Performance/High-Productivity Computing   Myron Ginsberg
Introduction     255
Computational Environments in Government, Academia and Industry     257
References     259
Computational Science Education (CSE)     260
References     263
Supercomputing Architecture     264
References     265
Some HPC Issues     271
References     272
Benchmarking Issues and Concerns     275
References     281
Acceleration Techniques for HPC Applications     286
References     287
The Race for Petaflop Computing     292
References     300
Influences of Floating-Point Arithmetic on Computational Results     303
References      304
Industrial HPC Progress     305
References     311
Access to On-Demand HPC     314
References     315
A Few HPC Videos     315
References     316
Author Index     319
Subject Index     329
Contents of Volumes in This Series     339

What People are Saying About This

From the Publisher

Covers new developments in computer technology

Editorial Reviews

Volume 34 of this important series continues the presentation of subjects of both current and continuing interest in computer and information science, with contributors offering substantial review and tutorial articles in their areas of expertise. Included in v.34 are chapters on software reuse, multisensory computer vision, parallel computer architecture, associative memory, image databases, and paradigms for information system development. Annotation c. Book News, Inc., Portland, OR (booknews.com)

Booknews

"Mandatory for academic libraries supporting computer science departments." —CHOICE

From the Publisher