IEICE Technical Committee Submission System
Conference Schedule		 Online Proceedings
[Sign in]
Tech. Rep. Archives
    [Japanese] / [English] 
( Committee/Place/Topics  ) --Press->
 
( Paper Keywords:  /  Column:Title Auth. Affi. Abst. Keyword ) --Press->

Technical Committee on Mathematical Systems Science and its Applications (MSS)  (Searched in: 2010)

Search Results: Keywords 'from:2010-08-02 to:2010-08-02'
[Go to Official MSS Homepage (Japanese)] 
Search Results: Conference Papers
 Conference Papers (Available on Advance Programs)  (Sort by: Date Ascending)
 Results 1 - 6 of 6  /   
Committee Date Time Place Paper Title / Authors Abstract Paper #
MSS 2010-08-02
14:00		 Ishikawa   Development Simulator of Dynamic Reconfigurable Processor
Chen Shen, Yuki Nakai, Satoshi Yamane (Kanazawa Univ.) CST2010-32		  [more] CST2010-32
pp.1-6
MSS 2010-08-02
14:25		 Ishikawa   Generating test cases for implementing concurrent systems based on the OTS/CafeOBJ method
Takahiro Seino (AIST), Masaki Nakamura (Kanazawa Univ.) CST2010-33		 In software developments with formal methods, there exists an unavoidable gap between a system description in formal spe... [more] CST2010-33
pp.7-12
MSS 2010-08-02
14:50		 Ishikawa   A Method for Obtainning Discrete System from Steady-State Continuous System
Tadashi Matsumoto, Masahiro Osogami (Fukui Univ. of Tech.), Seiichiro Moro (Univ. of Fukui) CST2010-34		 From the given continuous system$Ax = b ( A = [ a_{ij}] \in R^{m \times n}, b = [ b_i] \in R^{m \times 1}), $proposals f... [more] CST2010-34
pp.13-18
MSS 2010-08-02
15:30		 Ishikawa   Coalgebraic Analysis of Supervisory Control of Mealy Automata
Jun Kohjina, Toshimitsu Ushio (Osaka Univ.), Yoshiki Kinoshita (AIST) CST2010-35		 In this report, Mealy automata are represented by coalgebras
in the category of sets. First, we generalize a supervis... [more]		 CST2010-35
pp.19-24
MSS 2010-08-02
15:55		 Ishikawa   The Schedule Restoration Method following Flexible Operation for Descrete Event System Control
Masashi Hagiwara, Koji Takahashi (Tokyo Inst. of Tech.) CST2010-36		  [more] CST2010-36
pp.25-30
MSS 2010-08-02
16:20		 Ishikawa   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) CST2010-37		 Block is a connected subgraph of a task graph and is executed with one processor.The execution of a block should be such... [more] CST2010-37
pp.31-34
 Results 1 - 6 of 6  /   
Choose a download format for default settings. [NEW !!]
Text format pLaTeX format CSV format BibTeX format
Copyright and reproduction : All rights are reserved and no part of this publication may be reproduced or transmitted in any form or by any means, electronic or mechanical, including photocopy, recording, or any information storage and retrieval system, without permission in writing from the publisher. Notwithstanding, instructors are permitted to photocopy isolated articles for noncommercial classroom use without fee. (License No.: 10GA0019/12GB0052/13GB0056/17GB0034/18GB0034)

[Return to Top Page]

[Return to IEICE Web Page]
The Institute of Electronics, Information and Communication Engineers (IEICE), Japan