Implementation and Verification of Concurrent Sorting Algorithms with CSP based Architecture

スポンサーリンク

概要

• 論文の詳細を見る

• Communicating Sequential Processes (CSP) based architecture is regarded as a useful method in the development of concurrent embedded systems. Products around us are embedded in many computer systems. Concurrent processing by software is necessary in multi-core and multi-processor environments to make more effective use of hardware resources. There is strong demand for hierarchy, resource constraints, and safety for implementation of embedded systems. We implemented a sorting model as a concurrent system in an experiment. We tried to design, implement, and verify concurrent sorting model with CSP based architecture. In this study, we try to parallelize of sorting as the subject of embedded systems for implementing. Because sorting has been widely studied, it is suitable as the subject of parallelization. We also evaluated the system. We will consider the usefulness of CSP, which we present in this paper, using examples of development.

• 2012-05-15

著者

• Yuki Hasegawa

  Toyo University

• Yoshinao Isobe

  National Institute of Advanced Industrial Science and Technology

• Kazuhito Ohmaki

  Toyo University

• Hideki Mori

  Toyo University

• Kensei Tsuchida

  Toyo University

• Yasunori Shiono

  Toyo University

関連論文

• Automatic Generation of XML Files and Their Database Registration from Tabular Form Specifications
• Highly Efficient Transport Protocol for Large Capacity Data Files and its details
• Implementation and Verification of Concurrent Sorting Algorithms with CSP based Architecture

スポンサーリンク