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

All Technical Committee Conferences  (All Years)

Search Results: Conference Papers
 Conference Papers (Available on Advance Programs)  (Sort by: Date Descending)
 Results 1 - 5 of 5  /   
Committee Date Time Place Paper Title / Authors Abstract Paper #
VLD 2009-03-12
14:50
Okinawa   A ring segmented bus architrcture for Globally Asynchronous Locally Synchronous System
Masafumi Kondo, Yoichiro Sato (Okayama Prefectural Univ), Kazuyuki Tashiro (FUJITSU TEN), Tomoyuki Yokogawa, Michiyoshi Hayase (Okayama Prefectural Univ) VLD2008-149
Recently, most digital systems are designed as GALS (Globally Asynchronous Locally Synchronous) systems.
Several archit... [more]
VLD2008-149
pp.135-140
VLD 2009-03-12
15:15
Okinawa   Formal verification of GALS system designs using UPPAAL
Kazuaki Kirita, Tomoyuki Yokogawa, Hisashi Miyazaki, Yoichiro Sato, Michiyoshi Hayase (Okayama Pref. Univ.) VLD2008-150
To design GALS (Globally Asynchronous Locally Synchronous) systems,
it is necessary to verify the correctness of behavi... [more]
VLD2008-150
pp.141-146
SS 2008-03-03
11:25
Nagasaki Nagasaki Univ. Formal verification of multiple UML diagrams using bounded model checking
Hisashi Miyazaki, Tomoyuki Yokogawa, Sadahito Sato, Yoichiro Sato, Michiyoshi Hayase (Okayama Prefectural Univ.) SS2007-60
In previous work, we have proposed a framework for verifying system designs by multiple UML diagrams using symbolic mode... [more] SS2007-60
pp.19-24
ICD, VLD 2007-03-09
09:40
Okinawa Mielparque Okinawa A Study of Fast Projective Transformation Method
Yoshinori Yamada, Yasuhide Kimura, Daisuke Itou, Tomoyuki Yokogawa, Yoichiro Sato, Michiyoshi Hayase (Okayama Prefectural Univ.)
 [more] VLD2006-143 ICD2006-234
pp.19-24
ICD, VLD 2007-03-09
14:00
Okinawa Mielparque Okinawa A Study of Performance Evaluation on Globally Asynchronous Locally Synchronous Systems
Kazuyuki Tashiro, Tomoyuki Yokogawa (Okayama Prefectural Univ.), Isao Kayano (Kawasaki College of Allied Health Professions), Yoichiro Sato, Michiyoshi Hayase (Okayama Prefectural Univ.)
 [more] VLD2006-150 ICD2006-241
pp.57-62
 Results 1 - 5 of 5  /   
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