Higher-Order Abstraction of Process Compositions and Their Transformation

スポンサーリンク

概要

• 論文の詳細を見る

• This paper presents a higher-order abstraction framework for process compositions which are common to highly-parallel systems and VLSI architectures. It is to aid reuse and formal design of such compositions. We construct the framework on functional programming, since it has a facility for process modeling and higher-order abstraction. Our achievements include a basis for inheritance and aggregation relationship in a collection of compositions, and analysis and design of transformation rules for deriving compositions.

• 長崎大学の論文

著者

• Yoshida Norihiko

  Department Of Information And Computer Sciences Saitama University

• Yoshida N

  Nagasaki Univ.

• Yoshida Norihiko

  Department of Computer and Information Sciences, The Faculty of Engineering, Nagasaki University

関連論文

• CURVATURE MULTI-SNAKE : COOPERATIVE SNAKES WITH CURVATURE-BASED SIMPLE MODELING(International Workshop on Advanced Image Technology 2007)
• FCAN: Flash crowds alleviation network using adaptive P2P overlay of cache proxies
• L-043 Simulation of Adaptive Network against Flash Crowds
• LL-005 Design of Adaptive Network against Flash Crowds
• Higher-Order Abstraction of Process Compositions and Their Transformation

スポンサーリンク