Process Algebra for Parallel and Distributed Processing

最新推荐文章于 2019-12-03 17:19:35 发布

原创最新推荐文章于 2019-12-03 17:19:35 发布 · 838 阅读

0 ·

CC 4.0 BY-SA版权

文章标签：

#parallel #processing #algorithm #action #pair #mobile

UnClassified 专栏收录该内容

360 篇文章

订阅专栏

本书分为三部分，首先介绍了如何为Sony、Toshiba和IBM的Cell Broadband Engine处理器并行化算法，并开发了一个可移植到不同并行平台的运行时环境。接下来探讨了一种针对分布式应用的过程代数(mCRL2)，并介绍了服务导向的流动性抽象机等概念。最后，结合状态基的Z和事件基的过程代数CSP提出了一种正式的方法论Circus，还开发了一组过程代数(PARS)来解决实时嵌入式系统中的调度问题。

摘要生成于 C知道，由 DeepSeek-R1 满血版支持，前往体验 >

Exploring state-of-the-art applications, Process Algebra for Parallel and Distributed Processing shows how one formal method of reasoningprocess algebrahas 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 todays multicore processor architectures, clusters, and grids.

http://rapidshare.com/files/194077737/142006486X.rar
http://depositfiles.com/files/0f19o8i9m