IEICE Technical Committee Submission System
Conference Schedule
Online Proceedings
[Sign in]
... (for ESS/CS/ES/ISS)
Tech. Rep. Archives
... (for ES/CS)
    [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 27  /  [Next]  
Committee Date Time Place Paper Title / Authors Abstract Paper #
SDM, ICD, ITE-IST [detail] 2019-08-08
14:20
Hokkaido Hokkaido Univ., Graduate School /Faculty of Information Science and An energy efficient plant monitoring system on drones with edge AI module.
Tomoki Kobayashi, Kazutami Arimoto, Tomoyuki Yokogawa, Nao igawa (Okayama Prefectual Univ.), Satoshi Fujii (National Institute of Tech., Okinawa College)
 [more]
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.)
(To be available after the conference date) [more]
KBSE, SS, IPSJ-SE [detail] 2019-07-12
15:35
Hokkaido   Visual Programming Language for Model-Checker NuSMV
Hayato Naito, Tomoyuki Yokogawa, Sousuke Amasaki (Okayama Prefectural Univ.), Hirohisa Aman (Ehime Univ.), Kazutami Arimoto (Okayama Prefectural Univ.)
 [more] SS2019-1 KBSE2019-11
pp.41-46
KBSE, SS, IPSJ-SE [detail] 2019-07-12
16:00
Hokkaido   Process Representation of Sequence Diagrams with Hierarchical Structure
Akira Matsumoto, Tomoyuki Yokogawa, Sousuke Amasaki (Okayama Prefectural Univ.), Hirohisa Aman (Ehime Univ.), Kazutami Arimoto (Okayama Prefectural Univ.)
 [more] SS2019-2 KBSE2019-12
pp.47-52
MI 2019-07-05
17:10
Hokkaido Future Univ. Hakodate 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
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.)
 [more] MSS2018-69 SS2018-40
pp.79-84
IPSJ-ARC, VLD, CPSY, RECONF, IPSJ-SLDM [detail] 2018-01-18
13:50
Kanagawa Raiosha, Hiyoshi Campus, Keio University Examination of the Normally-off using the stack circuit
Kenji Sakamura (OPUGS), Kazutami Arimoto, Isao Kayano, Tomoyuki Yokogawa (OPU)
In the stack circuit using charge recycling, low consumption electricity such as the streaming processing movement is ef... [more] VLD2017-70 CPSY2017-114 RECONF2017-58
pp.49-51
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.)
 [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.)
 [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.)
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.)
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.)
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.)
 [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.)
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.)
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.)
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.)
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.)
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
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.)
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
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)
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
 Results 1 - 20 of 27  /  [Next]  
Choose a download format for default settings. [NEW !!]
Text format pLaTeX format CSV format BibTeX format


[Return to Top Page]

[Return to IEICE Web Page]


The Institute of Electronics, Information and Communication Engineers (IEICE), Japan