Home | Amazing | Today | Tags | Publishers | Years | Account | Search 
Process Algebra for Parallel and Distributed Processing (Chapman & Hall / Crc Computational Science)

Buy
Despite the importance of applications of process algebras for the success of the field, [related publications] concentrate strongly on the theoretical achievements. This shortcoming is compensated for in a splendid way by this book, which brings together the state of the art in research on applications of process algebras.
—From the Foreword, Kees Middelburg. University of Amsterdam, The Netherlands

Exploring state-of-the-art applications, Process Algebra for Parallel and Distributed Processing shows how one formal method of reasoning—process algebra—has become a powerful tool for solving design and implementation challenges of concurrent systems.

Parallel Programming

Divided into three parts, the book begins by parallelizing an algorithm for the Cell Broadband Engine processor of Sony, Toshiba, and IBM. It also develops a runtime environment that can be ported to different parallel platforms and describes the formal model of action systems.

Distributed Systems

The next part presents a process algebra (mCRL2) that targets distributed applications, looks at how to turn prose descriptions into unambiguous specifications, extends pi-calculus to create a service-oriented mobility abstract machine, and introduces the Channel Ambient Machine for mobile applications.

Embedded Systems

The final section combines state-based Z with the event-based process algebra CSP in a formal methodology called Circus. It also develops a pair of process algebras (PARS) to address the problem of scheduling in real-time embedded systems and emphasizes the reuse of concurrent artifacts across different hardware platforms.

Focusing on the contributors’ own research work, this volume highlights the recent growth in this burgeoning industry. It proposes solutions to the problems of designing and implementing today’s multicore processor architectures, clusters, and grids.

About the Author

KPMG, Vienna, Austria University of Guelph, Ontario, Canada

(HTML tags aren't allowed.)

Hacking: The Art of Exploitation, 2nd Edition
Hacking: The Art of Exploitation, 2nd Edition
Hacking is the art of creative problem solving, whether that means finding an unconventional solution to a difficult problem or exploiting holes in sloppy programming. Many people call themselves hackers, but few have the strong technical foundation needed to really push the envelope.

Rather than merely showing how to run existing exploits,...

Parallel Programming in C with Mpi and Openmp
Parallel Programming in C with Mpi and Openmp

The era of practical parallel programming has arrived, marked by the popularity of the MPI and OpenMP software standards and the emergence of commodity clusters as the hardware platform of choice for an increasing number of organizations. This exciting new book, "Parallel Programming in C with MPI and OpenMP" addresses the needs of...

Design and Analysis of Approximation Algorithms (Springer Optimization and Its Applications)
Design and Analysis of Approximation Algorithms (Springer Optimization and Its Applications)

Unlike other books on theoretical computer science, this textbook organizes approximation algorithms into chapters based on the design techniques for the algorithms. This allows the reader to study approximation algorithms of the same nature together.

...

Applied Data Mining
Applied Data Mining

Data mining has witnessed substantial advances in recent decades. New research questions and practical challenges have arisen from emerging areas and applications within the various fields closely related to human daily life, e.g. social media and social networking. This book aims to bridge the gap between traditional data mining and...

Verification of Computer Codes in Computational Science and Engineering
Verification of Computer Codes in Computational Science and Engineering
How can one be assured that computer codes that solve differential equations are correct? Standard practice using benchmark testing no longer provides full coverage because today's production codes solve more complex equations using more powerful algorithms. By verifying the order-of-accuracy of the numerical algorithm implemented in the code, one...
Discontinuity and Complexity in Nonlinear Physical Systems
Discontinuity and Complexity in Nonlinear Physical Systems

Discontinuity in Nonlinear Physical Systems explores recent developments in experimental research in this broad field, organized in four distinct sections. Part I introduces the reader to the fractional dynamics and Lie group analysis for nonlinear partial differential equations. Part II covers chaos and complexity in nonlinear Hamiltonian...

©2019 LearnIT (support@pdfchm.net) - Privacy Policy