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 21  /  [Next]  
Committee Date Time Place Paper Title / Authors Abstract Paper #
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
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
ICD, ITE-IST 2015-07-03
15:20
Kanagawa National Defense Academy [Invited Talk] A 60mV Input Boost Converter with Startup Assisting Technique for Energy Harvesting
Hong Gao, Hiroyuki Nakamoto (Fujitsu Labotatories LTD.), Masafumi Kondou (Fujitsu), Hiroshi Yamazaki (Fujitsu Labotatories LTD.) ICD2015-23
 [more] ICD2015-23
pp.53-58
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
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
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
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
 Results 1 - 20 of 21  /  [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