IEICE Technical Report

Print edition: ISSN 0913-5685      Online edition: ISSN 2432-6380

Volume 110, Number 161

Concurrent Systems Technology

Workshop Date : 2010-08-02 / Issue Date : 2010-07-26

[PREV] [NEXT]

[TOP] | [2007] | [2008] | [2009] | [2010] | [2011] | [2012] | [2013] | [Japanese] / [English]

[PROGRAM] [BULK PDF DOWNLOAD]


Table of contents

CST2010-32
Development Simulator of Dynamic Reconfigurable Processor
Chen Shen, Yuki Nakai, Satoshi Yamane (Kanazawa Univ.)
pp. 1 - 6

CST2010-33
Generating test cases for implementing concurrent systems based on the OTS/CafeOBJ method
Takahiro Seino (AIST), Masaki Nakamura (Kanazawa Univ.)
pp. 7 - 12

CST2010-34
A Method for Obtainning Discrete System from Steady-State Continuous System
Tadashi Matsumoto, Masahiro Osogami (Fukui Univ. of Tech.), Seiichiro Moro (Univ. of Fukui)
pp. 13 - 18

CST2010-35
Coalgebraic Analysis of Supervisory Control of Mealy Automata
Jun Kohjina, Toshimitsu Ushio (Osaka Univ.), Yoshiki Kinoshita (AIST)
pp. 19 - 24

CST2010-36
The Schedule Restoration Method following Flexible Operation for Descrete Event System Control
Masashi Hagiwara, Koji Takahashi (Tokyo Inst. of Tech.)
pp. 25 - 30

CST2010-37
On Block Division of Task Graph for Multiprocessor Scheduling
Lin Chen, Mina Kawabuchi, Qi-Wei Ge, Mitsuru Nakata (Yamaguchi Univ.), Hirotoshi Tonou, Takako Okamoto, Atsushi Anabuki (Fujitsu TEN)
pp. 31 - 34

Note: Each article is a technical report without peer review, and its polished version will be published elsewhere.


The Institute of Electronics, Information and Communication Engineers (IEICE), Japan