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 - 20 of 30  /  [Next]  
Committee Date Time Place Paper Title / Authors Abstract Paper #
SWIM, SC 2021-08-27
14:00
Online Online Concept of a Motorcycle Safety Improvement System Using Rider Monitoring
Kimihiro Sugino, Yoichiro Sato, Kazutami Arimoto (OPU) SWIM2021-21 SC2021-19
Abstract The number of accidents involving motorcycles is not decreasing, and in an age when advanced support mechanism... [more] SWIM2021-21 SC2021-19
pp.52-57
CS, CAS 2020-02-27
12:10
Kumamoto   A Serial Multiplier based on Sequential Subtraction from Maximum Products and Its Negative Number Calculation Method
Masahiro Nagata (Okayama Prefectural Univ.), Masafumi Kondo (Kawasaki Univ. of Medical Welfare), Daichi Ikeda (Sanyo Denken), Isao Kayano (Kawasaki Univ. of Medical Welfare), Tomoyuki Yokogawa, Yoichiro Sato (Okayama Prefectural Univ.) CAS2019-105 CS2019-105
In recent years, digital hearing aids have become widespread, but their battery life is only about several days. To solv... [more] CAS2019-105 CS2019-105
pp.43-48
MSS, CAS, SIP, VLD 2019-07-31
16:45
Iwate Iwate Univ. Speedup of the Asynchronous Serial Multiplier by Concealing the Idle Phase for Digital Hearing Aids
Masahiro Nagata (Okayama Prefectural Univ.), Masafumi Kondo, Isao Kayono (Kawasaki Univ. of Medical Welfare), Tomoyuki Yokogawa, Kazutami Arimoto, Yoichiro Sato (Okayama Prefectural Univ.) CAS2019-22 VLD2019-28 SIP2019-38 MSS2019-22
Recently, digital hearing aids with DSP have spread through, but their battery life has remained for only a few days. Fo... [more] CAS2019-22 VLD2019-28 SIP2019-38 MSS2019-22
pp.99-104
MI 2019-07-05
17:10
Hokkaido Future Univ. Hakodate MI2019-23 In the diagnosis of tubular tissues such as blood vessels and digestive systems, it is important to measure tube diamete... [more] MI2019-23
pp.21-22
MI 2019-01-23
14:00
Okinawa   Efficient Visualization Method of Tube Diameter Based on Center Coordinates and its History
Mitsuru Ueda (Okayama Prefectural Univ.), Masafumi Kondo, Isao Kayano (Kawasaki Univ. of Medical Welfare), Yoshihiro Sejima, Yoichiro Sato (Okayama Prefectural Univ.), Yuusaku Sugihara, Kazuyuki Matsumoto (Okayama Univ. Hospital) MI2018-99
For diagnosis of tubular tissues such as digestive system, it is important to measure tube diameter. We have developed a... [more] MI2018-99
pp.165-168
MSS, SS 2019-01-16
10:25
Okinawa   Unbounded Model Checking of Time Petri Nets Using SMT Solver
Nao Igawa, Tomoyuki Yokogawa (Okayama Prefectural Univ.), Masafumi Kondo (Kawasaki Univ. of Medical Welfare), Yoichiro Sato, Kazutami Arimoto (Okayama Prefectural Univ.) MSS2018-69 SS2018-40
 [more] MSS2018-69 SS2018-40
pp.79-84
ICTSSL, CAS 2018-01-25
14:50
Tokyo Kikai-Shinko-Kaikan Bldg. A Recursive Approximation Approach of Projective Transformation for Free-Viewpoint cameras
Yusei Tadokoro (Okayama Prefectural Univ.), Masafumi Kondo (Kawasaki Univ. of Medical Welfare), Yoshihiro Sejima, Yoichiro Sato (Okayama Prefectural Univ.) CAS2017-118 ICTSSL2017-45
Recently, the global market of security cameras is estimated 28,450,000, which is 80% more than 2010. In order to reduce... [more] CAS2017-118 ICTSSL2017-45
pp.45-50
MSS, SS 2017-01-27
09:00
Kyoto Kyoto Institute of Technology Symbolic Representation based on Difference Logic of Time Petri Nets for Efficient Bounded Model Checking
Nao Igawa, Tomoyuki Yokogawa (Okayama Prefectural Univ.), Hisashi Miyazaki, Masafumi Kondo (Kawasaki Univ. of Medical Welfare), Yoichiro Sato, Kazutami Arimoto (Okayama Prefectural Univ.) MSS2016-67 SS2016-46
 [more] MSS2016-67 SS2016-46
pp.59-64
DC, SS 2016-10-27
14:30
Shiga Hikone Kinro-Fukushi Kaikan Bldg. Model Based Test Case Generation for Web Application Using Model Checking
Hirokazu Kasahara, Tomoyuki Yokogawa, Yoichiro Sato, Kazutami Arimoto (Okayama Pref. Univ.) SS2016-24 DC2016-26
 [more] SS2016-24 DC2016-26
pp.37-42
VLD, CAS, MSS, SIP 2016-06-16
11:40
Aomori Hirosaki Shiritsu Kanko-kan A method of reducing amount of operations on the bit serial multiply-accumulator and its application
Daichi Okamoto (Okayama Prefectural Univ.), Masafumi Kondo (Kawasaki Univ. of Medical Welfare), Yoshihiro Sejima, Tomoyuki Yokogawa, Kazutami Arimoto, Yoichiro Sato (Okayama Prefectural Univ.) CAS2016-7 VLD2016-13 SIP2016-41 MSS2016-7
Although the digital hearing aids with the high functionality of digital signal processor (DSP) becomes widely used, its... [more] CAS2016-7 VLD2016-13 SIP2016-41 MSS2016-7
pp.35-40
VLD 2016-02-29
13:30
Okinawa Okinawa Seinen Kaikan Tool Support for Verifying Large Scale Hardware Design with Verilog-HDL
Yuta Morimitsu, Tomoyuki Yokogawa (Okayama Prefectural Univ.), Masafumi Kondo, Hisashi Miyazaki (Kawasaki Univ. of Medical Welfare), Yoichiro Sato, Kazutami Arimoto (Okayama Prefectural Univ.), Norihiro Yoshida (Nagoya Univ.) VLD2015-111
In this paper, we developed a tool supporting formal verification of large scale hardware design described by Verilog-HD... [more] VLD2015-111
pp.1-6
MSS, CAS, IPSJ-AL [detail] 2015-11-21
11:15
Kagoshima Ibusuki CityHall A bit serial multiply and accumulator with negative number operation
Daichi Okamoto (Okayama Prefectural Univ.), Masafumi Kondo (Kawasaki Univ. of Medical Welfare), Yoshihiro Sejima, Yoichiro Sato, Tomoyuki Yokogawa, Kazutami Arimoto (Okayama Prefectural Univ.) CAS2015-58 MSS2015-32
Recently, digital hearing aids with the high functionality of digital signal processor (DSP) become widely used, and thu... [more] CAS2015-58 MSS2015-32
pp.115-120
MSS, CAS, SIP, VLD 2015-06-17
11:35
Hokkaido Otaru University of Commerce A Case Study of Symbolic Model Checking of Large Scale Hardware IP
Yuta Morimitsu, Tomoyuki Yokogawa (Okayama Pref. Univ.), Masafumi Kondo, Hisashi Miyazaki (Kawasaki Univ. of Medical Welfare), Yoichiro Sato, Kazutami Arimoto (Okayama Pref. Univ.) CAS2015-6 VLD2015-13 SIP2015-37 MSS2015-6
 [more] CAS2015-6 VLD2015-13 SIP2015-37 MSS2015-6
pp.31-36
IE, ITS, ITE-AIT, ITE-HI, ITE-ME, ITE-MMS, ITE-CE [detail] 2015-02-24
11:15
Hokkaido Hokkaido Univ. A Projection Transformation Method in Consideration of Conservation of Energy
Hitoshi Yamauchi, Koichi Ozaki, Yoichiro Sato, Tadao Fukuta, Kiyotaka Obunai (Okayama Pref. Univ.) ITS2014-50 IE2014-77
We proposed a novel image interpolation method, previously. In this method, pixel values are assumed as energy which is ... [more] ITS2014-50 IE2014-77
pp.137-142
CAS, MSS, IPSJ-AL [detail] 2014-11-20
10:40
Okinawa Nobumoto Ohama Memorial Hall (Ishigaki island) An asynchronous serial multiplier for digital fearing aid
Masafumi Kondo, Daichi Okamoto (Kawasaki Univ. of Medical Welfare), Yoichiro Sato, Tomoyuki Yokogawa, Kazutami Arimoto (Okayama Prefectural Univ.) CAS2014-89 MSS2014-53
Recently, digital hearing aids with digital signal processor (DSP) become widely used because of increasing of hearing i... [more] CAS2014-89 MSS2014-53
pp.11-16
IE, ICD, VLD, IPSJ-SLDM [detail] 2014-10-02
14:15
Miyagi   Hierarchical GALS system based on ring segmented bus architecture
Masafumi Kondo (Kawasaki Univ. of Medical Welfare), Tomoyuki Yokogawa, Yoichiro Sato, Kazutami Arimoto (Okayama Prefectural Univ.) VLD2014-63 ICD2014-56 IE2014-42
A ring segmented bus (RSB) which connects the divided annular bus dynamically has been proposed as an asynchronous bus a... [more] VLD2014-63 ICD2014-56 IE2014-42
pp.19-24
CAS, SIP, MSS, VLD, SIS [detail] 2014-07-11
15:10
Hokkaido Hokkaido University A distributed asynchronous arbiter for ring segmented bus type GALS systems
Yoshiki Odagiri, Masaki Akari (Okayama Prefectural Univ.), Masafumi Kondo (Kawasaki Univ. of Medical Welfare), Tomoyuki Yokogawa, Yoichiro Sato, Kazutami Arimoto (Okayama Prefectural Univ.) CAS2014-44 VLD2014-53 SIP2014-65 MSS2014-44 SIS2014-44
A ring segmented bus (RSB) which connects the divided annular bus dynamically has been proposed for GALS systems. Howeve... [more] CAS2014-44 VLD2014-53 SIP2014-65 MSS2014-44 SIS2014-44
pp.237-242
CS, CAS, SIP 2014-03-06
13:25
Osaka Osaka City University Media Center High-speed Petri Net Simulation Using Matrix Compression and GPGPU
Takashi Kawamura, Yoichiro Sato, Tomoyuki Yokogawa (Okayama Prefectural Univ.), Masafumi Kondo (Kawasaki Univ. of Medical Welfare), Kazutami Arimoto (Okayama Prefectural Univ.) CAS2013-106 SIP2013-152 CS2013-119
We proposed a method of evaluating performance of large scale digital systems by modeling with the STPN and executing pe... [more] CAS2013-106 SIP2013-152 CS2013-119
pp.91-96
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
 Results 1 - 20 of 30  /  [Next]  
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