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, 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 |
ICD, ITE-IST |
2007-07-27 09:45 |
Hyogo |
|
A PVT Tolerant PLL with On-Chip Loop-Transfer-Function Calibration Circuit M.Kondou (Fujitsu Laboratoried Ltd), T.Mori (Fujitsu Limited) ICD2007-57 |
A PVT tolerant PLL architecture which uses two on-chip digital calibration circuits to maintain loop transfer function i... [more] |
ICD2007-57 pp.117-121 |