| IEICE Technical Committee Submission System Conference Schedule |
Online Proceedings [Sign in] Tech. Rep. Archives |
All Technical Committee Conferences (Searched in: All Years)
| 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 |
[Return to Top Page]