Anda belum login :: 02 Apr 2023 11:46 WIB
Dynamic Task Communication for Concurrent Processing in Distributed Systems
Zarernba, Marek B.
Article from Journal - ilmiah internasional
Concurrent Engineering vol. 9 no. 2 (Jun. 2001)
formal system specification
This paper presents a formal methodology and a set of design and programming tools for the development of concurrently communicating systems that execute in distributed computing environments. In order to solve the complex problems of synchronization and communication between dynamically distributed tasks, the distributed programming system uses an internal process-algebra-based mechanism, and provides an algebra term generator that allows the user to define the task architecture through a simple graphical interface. An example of the design process of a heterogeneous distributed system illustrates the main phases of creating and executing a cbncurrent task system, as well as the architecture of the programming environment presented in the paper.
Klik untuk menuliskan opini Anda tentang koleksi ini!
Copyright © 2006, 2007
Unika Atma Jaya
, all rights reserved
Process time: 0.015625 second(s)