|
|
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) |
|
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 |
|
|
|
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]
|