|
|
All Technical Committee Conferences (Searched in: All Years)
|
|
Search Results: Conference Papers |
Conference Papers (Available on Advance Programs) (Sort by: Date Descending) |
|
Committee |
Date Time |
Place |
Paper Title / Authors |
Abstract |
Paper # |
VLD |
2014-03-05 15:45 |
Okinawa |
Okinawa Seinen Kaikan |
A Case Study of Symbolic Model Checking for Verilog-HDL Hardware Design Tomoyuki Yokogawa, Daichi Higashiyama (Okayama Pref. Univ.), Masafumi Kondo (Kawasaki Univ. of Medical Welfare), Yoichiro Sato, Kazutami Arimoto (Okayama Pref. Univ.) VLD2013-166 |
In this paper, we show a case study where a design of 8bit microcomputer M8R, which is described by Verilog-HDL, is veri... [more] |
VLD2013-166 pp.177-182 |
IE, EMM, LOIS, IEE-CMN, ITE-ME [detail] |
2013-09-13 14:30 |
Kumamoto |
|
A Linear Transformation method in Consideration of Conservation of Energy Hitoshi Yamauchi, Koichi Ozaki, Yoichiro Sato, Tadao Fukuta, Kiyotaka Obunai (Okayama Prefectural Univ.) LOIS2013-23 IE2013-44 EMM2013-66 |
We proposed a nobel image interpolation method, previously. In this method, pixel values are assumed as local area ener... [more] |
LOIS2013-23 IE2013-44 EMM2013-66 pp.91-96 |
SS, KBSE |
2013-07-25 16:40 |
Hokkaido |
|
Modeling Smartphone Apps Using State Machine Diagrams Kyosuke Ochimizu, Tomoyuki Yokogawa (Okayama Prefectural Univ.), Hisashi Miyazaki (KUMW), Yoichiro Sato, Kazutami Arimoto (Okayama Prefectural Univ.) SS2013-21 KBSE2013-21 |
In this paper, we propose a method for modeling smartphone apps using
UML state machine diagrams.
We focused on a tap ... [more] |
SS2013-21 KBSE2013-21 pp.49-54 |
IE |
2013-04-26 15:50 |
Tokyo |
Chuo Univ. |
An estimation method of pixel value distributions in consideration of conservation of energy Hitoshi Yamauchi, Koichi Ozaki, Yoichiro Sato, Tadao Fukuta, Kiyotaka Obunai (Okayama Prefectural Univ.) IE2013-6 |
Many interpolation methods has been proposed and used for resizing images or achieving higher resolution images. In thi... [more] |
IE2013-6 pp.29-34 |
VLD, CAS, MSS, SIP |
2012-07-02 13:40 |
Kyoto |
Kyoto Research Park |
An asynchronous tree arbiter with ability of concealing metastable operation duration time Masafumi Kondo (Kawasaki Univ. of Medical Welfare), Kuniaki Ohyama, Yusuke Koyoshi, Tomoyuki Yokogawa, Yoichiro Sato (Okayama Prefectural Univ) CAS2012-9 VLD2012-19 SIP2012-41 MSS2012-9 |
In recent years, an exclusive access to a shared bus and memory for multiple processor cores occurs in many computer sys... [more] |
CAS2012-9 VLD2012-19 SIP2012-41 MSS2012-9 pp.49-54 |
IMQ |
2012-03-02 13:30 |
Kagoshima |
Kagoshima University |
A high-speed method for generating translucent muti window image using GPGPU Shinya Kagawa, Hirofumi Mori, Tomoyuki Yokogawa, Yoichiro Sato (Okayama Prefectural Univ.) IMQ2011-22 |
In this study, a translucent multi window generating method using GPGPU is proposed aiming at high-speed window operatio... [more] |
IMQ2011-22 pp.1-6 |
CAS, MSS |
2011-11-17 14:15 |
Yamaguchi |
Univ. of Yamaguchi |
A Method of Generating Incidence Matrices for High-Speed Petri Net Simulation Masafumi Kondo, Yusuke Koyoshi, Tomoyuki Yokogawa, Yoichiro Sato (Okayama Prefectural Univ) CAS2011-67 MSS2011-36 |
A high-speed method of evaluating performance of large scale digital systems by combination with analytical approaches ... [more] |
CAS2011-67 MSS2011-36 pp.19-24 |
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 |
|
|
|
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]
|