Committee |
Date Time |
Place |
Paper Title / Authors |
Abstract |
Paper # |
SWIM, SC |
2022-08-26 13:25 |
Online |
Held online |
Measurement System and Evaluation of Corner Behavior for Improving Motorcycle Safety Kimijhiro Sugino, Kazutami Arimoto, Yoichiro Sato (OPU) SWIM2022-14 SC2022-20 |
In an era of advanced support mechanisms for four-wheeled vehicles and an aging population, the development of technolog... [more] |
SWIM2022-14 SC2022-20 pp.22-27 |
KBSE, SWIM |
2022-05-21 14:40 |
Tokyo |
(Primary: On-site, Secondary: Online) |
Behavior Evaluation System for motorcycle safety Kimihiro Sugino, Yoichiro Sato, Kazutami Arimoto (OPU) KBSE2022-9 SWIM2022-9 |
[more] |
KBSE2022-9 SWIM2022-9 pp.53-58 |
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 |