Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Concurrency theory, software architecture, system modeling and verification, and dependability and performance evaluation may seem unrelated disciplines, but in reality they are deeply intertwined and should be part of an integrated view in order to successfully manage the increasing complexity of software systems today. This book introduces a process algebraic approach to software architecture design. Process algebra, originally conceived for reasoning about the semantics of concurrent programs, provides a foundational basis for the modeling and verification of functional and nonfunctional aspects of communicating concurrent systems. This can be exploited at the software architecture level of design to improve the formality of design documents and make possible the analysis of system properties at the early design stages. The first part of the book offers an overview of the concepts and results of process algebra theory providing background material on the syntax and semantics for process calculi as well as on the bisimulation, testing, and trace approaches to the definition of behavioral equivalences for nondeterministic, deterministically timed, and stochastically timed processes. Part two gives guidelines for a principled transformation of process algebra into an architectural description language, before demonstrating how to use process algebraic techniques to address the detection of architecture-level mismatches, performance-driven selection among alternative designs, and the achievement of a tradeoff between dependability features and performance indices. Graduate students and software professionals, will find A Process Algebraic Approach to Software Architecture Design a useful addition to their bookshelf.

Software architecture. --- Software engineering. --- Engineering & Applied Sciences --- Computer Science --- Information Technology --- Software Engineering --- Computer software engineering --- Architecture, Software --- Computer software --- Computer software architecture --- Architecture --- Design --- Computer science. --- Computer system failures. --- Computer Science. --- Software Engineering/Programming and Operating Systems. --- Software Engineering. --- System Performance and Evaluation. --- Engineering --- Computer system performance. --- Computer failures --- Computer malfunctions --- Computer systems --- Failure of computer systems --- System failures (Engineering) --- Fault-tolerant computing --- Failures --- Software architecture

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Innovations in hardware architecture, like hyper-threading or multicore processors, mean that parallel computing resources are available for inexpensive desktop computers. In only a few years, many standard software products will be based on concepts of parallel programming implemented on such hardware, and the range of applications will be much broader than that of scientific computing, up to now the main application area for parallel computing. Rauber and Rünger take up these recent developments in processor architecture by giving detailed descriptions of parallel programming techniques that are necessary for developing efficient programs for multicore processors as well as for parallel cluster systems and supercomputers. Their book is structured in three main parts, covering all areas of parallel computing: the architecture of parallel systems, parallel programming models and environments, and the implementation of efficient application algorithms. The emphasis lies on parallel programming techniques needed for different architectures. The main goal of the book is to present parallel programming techniques that can be used in many situations for many application areas and which enable the reader to develop correct and efficient parallel programs. Many examples and exercises are provided to show how to apply the techniques. The book can be used as both a textbook for students and a reference book for professionals. The presented material has been used for courses in parallel programming at different universities for many years.

Electronic books. -- local. --- Multiprocessors. --- Parallel programming (Computer science). --- Engineering & Applied Sciences --- Computer Science --- Information Technology --- Computer Science (Hardware & Networks) --- Parallel programming (Computer science) --- Computer science. --- Microprocessors. --- Computer communication systems. --- Computer system failures. --- Software engineering. --- Computer programming. --- Computer mathematics. --- Computer Science. --- Software Engineering/Programming and Operating Systems. --- Computer Communication Networks. --- Programming Techniques. --- Computational Science and Engineering. --- System Performance and Evaluation. --- Processor Architectures. --- Electronic digital computers --- Multiprogramming (Electronic computers) --- Parallel processing (Electronic computers) --- Computer programming --- Computer system performance. --- Informatics --- Science --- Computer software engineering --- Engineering --- Minicomputers --- Computer failures --- Computer malfunctions --- Computer systems --- Failure of computer systems --- System failures (Engineering) --- Fault-tolerant computing --- Computer mathematics --- Electronic data processing --- Mathematics --- Computers --- Electronic computer programming --- Programming (Electronic computers) --- Coding theory --- Communication systems, Computer --- Computer communication systems --- Data networks, Computer --- ECNs (Electronic communication networks) --- Electronic communication networks --- Networks, Computer --- Teleprocessing networks --- Data transmission systems --- Digital communications --- Electronic systems --- Information networks --- Telecommunication --- Cyberinfrastructure --- Network computers --- Failures --- Programming --- Distributed processing

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

As modern society relies on the fault-free operation of complex computing systems, system fault-tolerance has become an indispensable requirement. Therefore, we need mechanisms that guarantee correct service in cases where system components fail, be they software or hardware elements. Redundancy patterns are commonly used, for either redundancy in space or redundancy in time. Wolter’s book details methods of redundancy in time that need to be issued at the right moment. In particular, she addresses the so-called "timeout selection problem", i.e., the question of choosing the right time for different fault-tolerance mechanisms like restart, rejuvenation and checkpointing. Restart indicates the pure system restart, rejuvenation denotes the restart of the operating environment of a task, and checkpointing includes saving the system state periodically and reinitializing the system at the most recent checkpoint upon failure of the system. Her presentation includes a brief introduction to the methods, their detailed stochastic description, and also aspects of their efficient implementation in real-world systems. The book is targeted at researchers and graduate students in system dependability, stochastic modeling and software reliability. Readers will find here an up-to-date overview of the key theoretical results, making this the only comprehensive text on stochastic models for restart-related problems.

Fault-tolerant computing. --- Parallel processing (Electronic computers). --- Stochastic models. --- Fault-tolerant computing --- Computer software --- Stochastic models --- Engineering & Applied Sciences --- Computer Science --- Quality control --- Models, Stochastic --- Computing, Fault-tolerant --- Computer science. --- Computer system failures. --- Computers. --- Computer science --- Mathematical statistics. --- Computer simulation. --- Computer Science. --- Theory of Computation. --- Mathematics of Computing. --- Simulation and Modeling. --- System Performance and Evaluation. --- Probability and Statistics in Computer Science. --- Mathematics. --- Mathematical models --- Electronic data processing --- Electronic digital computers --- Fault tolerance (Engineering) --- Computer system failures --- Reliability --- Information theory. --- Computer system performance. --- Informatics --- Science --- Communication theory --- Communication --- Cybernetics --- Computer modeling --- Computer models --- Modeling, Computer --- Models, Computer --- Simulation, Computer --- Electromechanical analogies --- Simulation methods --- Model-integrated computing --- Computer science—Mathematics. --- Mathematics --- Statistical inference --- Statistics, Mathematical --- Statistics --- Probabilities --- Sampling (Statistics) --- Computer failures --- Computer malfunctions --- Computer systems --- Failure of computer systems --- System failures (Engineering) --- Automatic computers --- Automatic data processors --- Computer hardware --- Computing machines (Computers) --- Electronic brains --- Electronic calculating-machines --- Electronic computers --- Hardware, Computer --- Machine theory --- Calculators --- Cyberspace --- Statistical methods --- Failures

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This book constitutes the thoroughly refereed post-conference proceedings of the Second International Conference on High Performance Computing and Applications, HPCA 2009, held in Shangahi, China, in August 2009. The 71 revised papers presented together with 10 invited presentations were carefully selected from 324 submissions. The papers cover topics such as numerical algorithms and solutions; high performance and grid computing; novel approaches to high performance computing; massive data storage and processsing; and hardware acceleration.

Computer Science --- Engineering & Applied Sciences --- High performance computing --- Computer science --- Computer science. --- Microprocessors. --- Computer communication systems. --- Special purpose computers. --- Computer system failures. --- Software engineering. --- Computers. --- Computer Science. --- Theory of Computation. --- System Performance and Evaluation. --- Special Purpose and Application-Based Systems. --- Software Engineering. --- Computer Communication Networks. --- Processor Architectures. --- Automatic computers --- Automatic data processors --- Computer hardware --- Computing machines (Computers) --- Electronic brains --- Electronic calculating-machines --- Electronic computers --- Hardware, Computer --- Computer systems --- Cybernetics --- Machine theory --- Calculators --- Cyberspace --- Computer software engineering --- Engineering --- Computer failures --- Computer malfunctions --- Failure of computer systems --- System failures (Engineering) --- Fault-tolerant computing --- Special purpose computers --- Computers --- Communication systems, Computer --- Computer communication systems --- Data networks, Computer --- ECNs (Electronic communication networks) --- Electronic communication networks --- Networks, Computer --- Teleprocessing networks --- Data transmission systems --- Digital communications --- Electronic systems --- Information networks --- Telecommunication --- Cyberinfrastructure --- Electronic data processing --- Network computers --- Minicomputers --- Informatics --- Science --- Failures --- Distributed processing --- Information theory. --- Computer system performance. --- Communication theory --- Communication --- Electronic digital computers—Evaluation. --- Computers, Special purpose. --- Computer networks. --- Computer architecture. --- Architecture, Computer

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Research into grid computing has been driven by the need to solve large-scale, increasingly complex problems for scientific applications. Yet the applications of grid computing for business and casual users did not begin to emerge until the development of the concept of cloud computing, fueled by advances in virtualization techniques, coupled with the increased availability of ever-greater Internet bandwidth. The appeal of this new paradigm is mainly based on its simplicity, and the affordable price for seamless access to both computational and storage resources. This timely text/reference introduces the fundamental principles and techniques underlying grids, clouds and virtualization technologies, as well as reviewing the latest research and expected future developments in the field. Readers are guided through the key topics by internationally recognized experts, enabling them to develop their understanding of an area likely to play an ever more significant role in coming years. Topics and features: Presents contributions from an international selection of experts in the field Provides a thorough introduction and overview of existing technologies in grids, clouds and virtualization, including a brief history of the field Examines the basic requirements for performance isolation of virtual machines on multi-core servers, analyzing a selection of system virtualization technologies Examines both business and scientific applications of grids and clouds, including their use in the life sciences and for high-performance computing Explores cloud building technologies, architectures for enhancing grid infrastructures with cloud computing, and cloud performance Discusses energy aware grids and clouds, workflows on grids and clouds, and cloud and grid programming models Presents case-studies and novel results related to interoperability across grids and clouds This useful text will enable interested readers to familiarize themselves with the key topics of grids, clouds and virtualization, and to contribute to new advances in the field. Researchers, undergraduate and graduate students, system designers and programmers, and IT policy makers will all benefit from the material covered. Dr. Massimo Cafaro is Assistant Professor at the Department of Engineering for Innovation at the University of Salento, Lecce, Italy. Dr. Giovanni Aloisio is Full Professor of Information Processing Systems at the Department of Engineering for Innovation at the University of Salento, Lecce, Italy.

Cloud computing. --- Computational grids (Computer systems). --- Virtual computer systems. --- Computational grids (Computer systems) --- Engineering & Applied Sciences --- Electrical & Computer Engineering --- Computer Science --- Electrical Engineering --- Grid computing --- Grids, Computational (Computer systems) --- Computer science. --- Special purpose computers. --- Computer system failures. --- Software engineering. --- Management information systems. --- Computer Science. --- Special Purpose and Application-Based Systems. --- System Performance and Evaluation. --- Software Engineering. --- Management of Computing and Information Systems. --- Computer-based information systems --- EIS (Information systems) --- Executive information systems --- MIS (Information systems) --- Sociotechnical systems --- Information resources management --- Management --- Computer software engineering --- Engineering --- Computer failures --- Computer malfunctions --- Computer systems --- Failure of computer systems --- System failures (Engineering) --- Fault-tolerant computing --- Special purpose computers --- Computers --- Informatics --- Science --- Communication systems --- Failures --- Electronic data processing --- Web services --- Cyberinfrastructure --- Distributed processing --- Computer system performance. --- Information Systems.