Tomoyuki YOKOGAWA

J-GLOBAL         Last updated: Oct 24, 2018 at 18:09
 
Avatar
Name
Tomoyuki YOKOGAWA
Affiliation
Okayama Prefectural University
Section
Computer Science and Systems Engineering, Department of System Engineering
Job title
Assistant Professor
Degree
Master(Osaka University)

Research Areas

 
 

Education

 
 
 - 
2001
Graduate School, Division of Engineering Science, Osaka University
 
 
 - 
1999
Faculty of Engineering Science, Osaka University
 

Published Papers

 
Interpolation Based Unbounded Model Checking for Time Petri Nets
Nao Igawa, Tomoyuki Yokogawa, Sousuke Amasaki, Kiyotaka Komoku, Yoichiro Sato and Kazutami Arimoto
Proc. 2018 IEEE 7th Global Conference on Consumer Electronics (GCCE 2018)   587-591   2018   [Refereed]
岡本大地, 近藤真史, 瀬島吉裕, 茅野功, 横川智教, 有本和民, 佐藤洋一郎
電子情報通信学会論文誌 D(Web)   J100-D(3) 321-330   Mar 2017   [Refereed]
Salilthip Phuklang,Tomoyuki Yokogawa,Pattara Leelaprute,Kazutami Arimoto
Product-Focused Software Process Improvement - 18th International Conference, PROFES 2017, Innsbruck, Austria, November 29 - December 1, 2017, Proceedings   606-609   2017   [Refereed]
横川智教, 佐藤洋一郎, 有本和民
電気学会論文誌 C   136(3) 423-433 (J-STAGE)-t-yokoga   2016   [Refereed]
Tomoyuki Yokogawa,Masafumi Kondo,Hisashi Miyazaki,Sousuke Amasaki,Yoichiro Sato,Kazutami Arimoto
IEICE Electronic Express   12(2) 20141112   Jan 2015   [Refereed]
Seiji Yamashita,Masateru Tsunoda,Tomoyuki Yokogawa
Product-Focused Software Process Improvement - 18th International Conference, PROFES 2017, Innsbruck, Austria, November 29 - December 1, 2017, Proceedings   597-601   2017   [Refereed]
Sousuke Amasaki,Kazuya Kawata,Tomoyuki Yokogawa
41st Euromicro Conference on Software Engineering and Advanced Applications, EUROMICRO-SEAA 2015, Madeira, Portugal, August 26-28, 2015   96-103   2015   [Refereed]
茅野功, 石川裕大, 松本大作, 近藤真史, 横川智教, 佐藤洋一郎, 有本和民
生体医工学   51(6) 366-373   Dec 2013
We developed low power consumption methods for cardiac pacemakers by introducing two novel power-saving methods to the control mechanism with a special focus on the “energy-consuming” clock oscillator. These two methods are:1) a multi-...
KONDO Masafumi, YOKOGAWA Tomoyuki, OHYAMA Kuniaki, SATO Yoichiro
The IEICE transactions on information and systems (Japanese edetion)   96(4) 913-925   Apr 2013
筆者らは,Globally AsynchronousLocally Synchronous(GALS)システムにおける非同期バスとして,バスを複数のセグメントに分割した上で環状に接続するring segmented busを提案した.本論文では,ring segmented busにおけるセグメントの使用に関する競合を処理するアービタの構成法を提案している.ring segmented busでは,既存の非同期バスに比してデータ転送経路の構築処理が複雑となるので,アービタの構造も複雑化する...
近藤真史, 横川智教, 大山国晃, 佐藤洋一郎
電子情報通信学会論文誌 D   J96-D(4) 913-925   Apr 2013   [Refereed]
Sousuke Amasaki,Tomoyuki Yokogawa
2013 Joint Conference of the 23rd International Workshop on Software Measurement and the 8th International Conference on Software Process and Product Measurement, Ankara, Turkey, October 23-26, 2013   98-103   2013   [Refereed]
Tomoyuki Yokogawa,Sousuke Amasaki,Keisuke Okazaki,Yoichiro Sato,Kazutami Arimoto,Hisashi Miyazaki
IEEE 19th Pacific Rim International Symposium on Dependable Computing, PRDC 2013, Vancouver, BC, Canada, December 2-4, 2013   126-127   2013   [Refereed]
Hisashi Miyazaki,Tomoyuki Yokogawa,Sousuke Amasaki,Kazuma Asada,Yoichiro Sato
IEICE Transactions on Infomation and Systems   E95-D(9) 2193-2201   Sep 2012   [Refereed]
Hirohisa Aman,Sousuke Amasaki,Tomoyuki Yokogawa,Minoru Kawahara
Product-Focused Software Process Improvement - 18th International Conference, PROFES 2017, Innsbruck, Austria, November 29 - December 1, 2017, Proceedings   80-88   2017   [Refereed]
Hirohisa Aman,Aji Ery Burhandenny,Sousuke Amasaki,Tomoyuki Yokogawa,Minoru Kawahara
8th International Workshop on Empirical Software Engineering in Practice, IWESEP 2017, Tokyo, Japan, March 13, 2017   29-34   2017   [Refereed]
Hirohisa Aman,Sousuke Amasaki,Tomoyuki Yokogawa,Minoru Kawahara
2017 IEEE International Symposium on Software Reliability Engineering Workshops, ISSRE Workshops, Toulouse, France, October 23-26, 2017   214-221   2017   [Refereed]
Kazutami Arimoto,Daichi Yamashita,Nao Igawa,Tomoyuki Yokogawa,Yoichiro Sato,Isao Kayano,Akio Shiratori
International SoC Design Conference, ISOCC 2017, Seoul, Korea (South), November 5-8, 2017   63-64   2017   [Refereed]
Sho Suzuki,Hirohisa Aman,Sousuke Amasaki,Tomoyuki Yokogawa,Minoru Kawahara
43rd Euromicro Conference on Software Engineering and Advanced Applications, SEAA 2017, Vienna, Austria, August 30 - Sept. 1, 2017   380-383   2017   [Refereed]
Hirohisa Aman,Sousuke Amasaki,Tomoyuki Yokogawa,Minoru Kawahara
43rd Euromicro Conference on Software Engineering and Advanced Applications, SEAA 2017, Vienna, Austria, August 30 - Sept. 1, 2017   375-379   2017   [Refereed]
Kiyotaka Komoku,Kazutami Arimoto,Tomoyuki Yokogawa,Hitoshi Yamauchi,Yoichiro Sato,Hidekuni Takao
International SoC Design Conference, ISOCC 2016, Jeju, South Korea, October 23-26, 2016   199-200   2016   [Refereed]

Misc

 
遠藤瞬, 鎌田真平, 横川智教, 佐藤洋一郎, 有本和民
電子情報通信学会大会講演論文集(CD-ROM)   2018 ROMBUNNO.D‐11‐36   Mar 2018
坂村 賢士, 有本 和民, 茅野 功, 横川 智教
電子情報通信学会技術研究報告 = IEICE technical report : 信学技報   117(377) 49-51   Jan 2018
坂村賢士, 有本和民, 茅野功, 横川智教
電子情報通信学会技術研究報告   117(378(CPSY2017 106-132)) 49‐51   Jan 2018
阿萬 裕久, 横川 智教, 杉山 安洋
コンピュータソフトウェア = Computer software   34(4) 40-46   Nov 2017
江見拓哉, 小椋清孝, 横川智教, 佐藤洋一郎, 山内仁, 有本和民, 高尾英邦
センサ・マイクロマシンと応用システムシンポジウム(CD-ROM)   34th ROMBUNNO.01am2‐PM‐10   Oct 2017
山下大地, 有本和民, 横川智教, 茅野功
センサ・マイクロマシンと応用システムシンポジウム(CD-ROM)   34th ROMBUNNO.31am3‐PLN‐3   Oct 2017
井川 直, 横川 智教, 宮崎 仁, 近藤 真史, 佐藤 洋一郎, 有本 和民
電子情報通信学会技術研究報告 = IEICE technical report : 信学技報   116(426) 59-64   Jan 2017
井川直, 横川智教, 宮崎仁, 近藤真史, 佐藤洋一郎, 有本和民
電子情報通信学会技術研究報告   116(426(SS2016 36-59)) 59‐64   Jan 2017
SUGIYAMA Yasuhiro, AMAN Hirohisa, YOKOGAWA Tomoyuki, SAWADA Atsushi, WASHIZAKI Hironori, MONDEN Akito
Computer Software   34(4) 4_39-4_39   2017
笠原大和, 横川智教, 佐藤洋一郎, 有本和民
電子情報通信学会技術研究報告   116(277(SS2016 18-35)) 37‐42   Oct 2016
山下大地, 有本和民, 佐藤洋一郎, 横川智教, 茅野功
電気・情報関連学会中国支部連合大会講演論文集(CD-ROM)   67th ROMBUNNO.R16‐14‐02   Oct 2016
高振傑, 犬塚大樹, 横川智教, 有本和民, 茅野功
電気・情報関連学会中国支部連合大会講演論文集(CD-ROM)   67th ROMBUNNO.R16‐14‐03   Oct 2016
坂村賢士, 有本和民, 茅野功, 横川智教
電気・情報関連学会中国支部連合大会講演論文集(CD-ROM)   67th ROMBUNNO.R16‐12‐05   Oct 2016
遠藤瞬, 石本拓也, 横川智教, 佐藤洋一郎, 有本和民
電気・情報関連学会中国支部連合大会講演論文集(CD-ROM)   67th ROMBUNNO.R16‐09‐01   Oct 2016
江見拓哉, 横川智教, 佐藤洋一郎, 有本和民, 小椋清孝, 山内仁, 高尾英邦
電気・情報関連学会中国支部連合大会講演論文集(CD-ROM)   67th ROMBUNNO.R16‐22‐04   Oct 2016
岡本大地, 近藤真史, 瀬島吉裕, 横川智教, 有本和民, 佐藤洋一郎
電子情報通信学会技術研究報告   116(96(MSS2016 1-37)) 35‐40   Jun 2016
森光 勇太, 横川 智教, 近藤 真史
電子情報通信学会技術研究報告 = IEICE technical report : 信学技報   115(465) 1-6   Feb 2016
森光勇太, 横川智教, 近藤真史, 宮崎仁, 佐藤洋一郎, 有本和民, 吉田則裕
電子情報通信学会技術研究報告   115(465(VLD2015 111-141)) 1‐6   Feb 2016
岡本大地, 近藤真史, 瀬島吉裕, 佐藤洋一郎, 横川智教, 有本和民
電子情報通信学会技術研究報告   115(316(MSS2015 20-34)) 115-120   Nov 2015
中野涼太, 近藤真史, 横川智教, 佐藤洋一郎, 有本和民
電気・情報関連学会中国支部連合大会講演論文集(CD-ROM)   66th ROMBUNNO.26-4   Oct 2015
佐保宏晃, 横川智教, 佐藤洋一郎, 有本和民
電気・情報関連学会中国支部連合大会講演論文集(CD-ROM)   66th ROMBUNNO.22-10   Oct 2015
井川直, 横川智教, 佐藤洋一郎, 有本和民
電気・情報関連学会中国支部連合大会講演論文集(CD-ROM)   66th ROMBUNNO.25-21   Oct 2015
石本拓也, 横川智教, 佐藤洋一郎, 有本和民, 大輝晶子, 川村智明
電気・情報関連学会中国支部連合大会講演論文集(CD-ROM)   66th ROMBUNNO.20-7   Oct 2015
犬塚大樹, 茅野功, 横川智教, 佐藤洋一郎, 有本和民
電気・情報関連学会中国支部連合大会講演論文集(CD-ROM)   66th ROMBUNNO.14-3   Oct 2015
森光勇太, 横川智教, 近藤真史, 宮崎仁, 佐藤洋一郎, 有本和民
電気・情報関連学会中国支部連合大会講演論文集(CD-ROM)   66th ROMBUNNO.19-1   Oct 2015
笠原大和, 横川智教, 佐藤洋一郎, 有本和民
電気・情報関連学会中国支部連合大会講演論文集(CD-ROM)   66th ROMBUNNO.25-22   Oct 2015
森光 勇太, 横川 智教, 近藤 真史
電子情報通信学会技術研究報告 = IEICE technical report : 信学技報   115(90) 31-36   Sep 2015
近藤真史, 岡本大地, 横川智教, 有本和民, 佐藤洋一郎
情報科学技術フォーラム講演論文集   14th 45-48   Aug 2015
森光 勇太, 横川 智教, 近藤 真史
電子情報通信学会技術研究報告 = IEICE technical report : 信学技報   115(87) 31-36   Jun 2015
森光勇太, 横川智教, 近藤真史, 宮崎仁, 佐藤洋一郎, 有本和民
電子情報通信学会技術研究報告   115(88(VLD2015 8-26)) 31-36   Jun 2015
近藤真史, 岡本大地, 佐藤洋一郎, 横川智教, 有本和民
電子情報通信学会技術研究報告   114(312(CAS2014 87-104)) 11-16   Nov 2014
Masafumi Kondo, Tomoyuki Yokogawa, Yoichiro Sato, Kazutami Arimoto
研究報告アルゴリズム(AL)   2014(3) 1-6   Nov 2014
A ring segmented bus (RSB) which connects the divided annular bus dynamically has been proposed as an asynchronous bus architecture for GALS systems. However, since only the shared bus type architecture is considered as the synchronous bus of CD, ...
Kondo Masafumi, Okamoto Daichi, Yokogawa Tomoyuki, Arimoto Kazutami, Sato Yoichiro
情報科学技術フォーラム講演論文集   14(1) 45-48   Aug 2015
岡本 大地, 近藤 真史, 瀬島 吉裕, 横川 智教, 有本 和民, 佐藤 洋一郎
電子情報通信学会技術研究報告 = IEICE technical report : 信学技報   116(96) 35-40   Jun 2016
笠原 大和, 横川 智教, 佐藤 洋一郎, 有本 和民
電子情報通信学会技術研究報告 = IEICE technical report : 信学技報   116(278) 37-42   Oct 2016
横川 智教, 佐藤 洋一郎, 有本 和民
ウィンターワークショップ2015・イン・宜野湾 論文集   2015 51-52   Jan 2015
近藤 真史, 横川 智教, 佐藤 洋一郎
電子情報通信学会技術研究報告 = IEICE technical report : 信学技報   114(232) 19-24   Oct 2014
A ring segmented bus (RSB) which connects the divided annular bus dynamically has been proposed as an asynchronous bus architecture for GALS systems. However, since only the shared bus type architecture is considered as the synchronous bus of CD, ...
神崎裕大, 上野将太, 有本和民, 横川智教, 佐藤洋一郎
電気・情報関連学会中国支部連合大会講演論文集(CD-ROM)   65th ROMBUNNO.20-14   Oct 2014
赤利昌紀, 小田桐由樹, 近藤真史, 横川智教, 佐藤洋一郎, 有本和民
電気・情報関連学会中国支部連合大会講演論文集(CD-ROM)   65th ROMBUNNO.20-13   Oct 2014
尾上雅尚, 茅野功, 横川智教, 佐藤洋一郎, 有本和民
電気・情報関連学会中国支部連合大会講演論文集(CD-ROM)   65th ROMBUNNO.15-7   Oct 2014
近藤真史, 横川智教, 佐藤洋一郎, 有本和民
電子情報通信学会技術研究報告   114(231(VLD2014 60-71)) 19-24   Sep 2014
KONDO Masafumi, YOKOGAWA Tomoyuki, SATO Yoichiro, ARIMOTO Kazutami
Technical report of IEICE. VLD   114(231) 19-24   Sep 2014
A ring segmented bus (RSB) which connects the divided annular bus dynamically has been proposed as an asynchronous bus architecture for GALS systems. However, since only the shared bus type architecture is considered as the synchronous bus of CD, ...
KONDO Masafumi, YOKOGAWA Tomoyuki, SATO Yoichiro, ARIMOTO Kazutami
IEICE technical report. Image engineering   114(233) 19-24   Sep 2014
A ring segmented bus (RSB) which connects the divided annular bus dynamically has been proposed as an asynchronous bus architecture for GALS systems. However, since only the shared bus type architecture is considered as the synchronous bus of CD, ...
横川 智教, 早水 公二
ソフトウェアエンジニアリングシンポジウム2014論文集   2014 215-215   Aug 2014
小田桐由樹, 赤利昌紀, 近藤真史, 横川智教, 佐藤洋一郎, 有本和民
電子情報通信学会技術研究報告   114(125(MSS2014 1-50)) 237-242   Jul 2014
ODAGIRI Yoshiki, AKARI Masaki, KONDO Masafumi, YOKOGAWA Tomoyuki, SATO Yoichiro, ARIMOTO Kazutami
IEICE technical report. Signal processing   114(124) 237-242   Jul 2014
A ring segmented bus (RSB) which connects the divided annular bus dynamically has been proposed for GALS systems. However, the scalability of RSB is particularly poor, because a global arbiter (GArb) in RSB is constructed as the centralized type. ...
KONDO Masafumi, YOKOGAWA Tomoyuki, SATO Yoichiro, ARIMOTO Kazutami
Technical report of IEICE. ICD   114(232) 19-24   Sep 2014
A ring segmented bus (RSB) which connects the divided annular bus dynamically has been proposed as an asynchronous bus architecture for GALS systems. However, since only the shared bus type architecture is considered as the synchronous bus of CD, ...
ODAGIRI Yoshiki, AKARI Masaki, KONDO Masafumi, YOKOGAWA Tomoyuki, SATO Yoichiro, ARIMOTO Kazutami
電子情報通信学会技術研究報告. SIS, スマートインフォメディアシステム   114(126) 237-242   Jul 2014
A ring segmented bus (RSB) which connects the divided annular bus dynamically has been proposed for GALS systems. However, the scalability of RSB is particularly poor, because a global arbiter (GArb) in RSB is constructed as the centralized type. ...
ODAGIRI Yoshiki, AKARI Masaki, KONDO Masafumi, YOKOGAWA Tomoyuki, SATO Yoichiro, ARIMOTO Kazutami
Mathematical Systems Science and its Applications : IEICE technical report   114(125) 237-242   Jul 2014
A ring segmented bus (RSB) which connects the divided annular bus dynamically has been proposed for GALS systems. However, the scalability of RSB is particularly poor, because a global arbiter (GArb) in RSB is constructed as the centralized type. ...
ODAGIRI Yoshiki, AKARI Masaki, KONDO Masafumi, YOKOGAWA Tomoyuki, SATO Yoichiro, ARIMOTO Kazutami
IEICE technical report. Circuits and systems   114(122) 237-242   Jul 2014
A ring segmented bus (RSB) which connects the divided annular bus dynamically has been proposed for GALS systems. However, the scalability of RSB is particularly poor, because a global arbiter (GArb) in RSB is constructed as the centralized type. ...
ODAGIRI Yoshiki, AKARI Masaki, KONDO Masafumi, YOKOGAWA Tomoyuki, SATO Yoichiro, ARIMOTO Kazutami
Technical report of IEICE. VLD   114(123) 237-242   Jul 2014
A ring segmented bus (RSB) which connects the divided annular bus dynamically has been proposed for GALS systems. However, the scalability of RSB is particularly poor, because a global arbiter (GArb) in RSB is constructed as the centralized type. ...
有本和民, 上野将太, 横川智教, 佐藤洋一郎
電子情報通信学会大会講演論文集(CD-ROM)   2014 ROMBUNNO.C-12-51   Mar 2014
佐藤洋一郎, 横川智教, 有本和民
電子情報通信学会大会講演論文集(CD-ROM)   2014 ROMBUNNO.A-1-13   Mar 2014
Arimoto Kazutami, Ueno Syota, Yokogawa Tomonori, Sato Yoichiro
Proceedings of the IEICE General Conference   2014(2)    Mar 2014
Sato Yoichiro, Yokogawa Tomoyuki, Arimoto Kazutami
Proceedings of the IEICE General Conference   2014    Mar 2014
有本和民, 横川智教, 佐藤洋一郎
応用物理学会春季学術講演会講演予稿集(CD-ROM)   61st ROMBUNNO.17P-E9-8   Mar 2014
河村喬, 佐藤洋一郎, 横川智教, 近藤真史, 有本和民
電子情報通信学会技術研究報告   113(463(CAS2013 90-133)) 91-96   Feb 2014
KAWAMURA Takashi, SATO Yoichiro, YOKOGAWA Tomoyuki, KONDO Masafumi, ARIMOTO Kazutami
IEICE technical report. Signal processing   113(464) 91-96   Feb 2014
We proposed a method of evaluating performance of large scale digital systems by modeling with the STPN and executing petri net simulations. In this method, however, it takes very much time to execute petri net simulations. This study propose high...
KAWAMURA Takashi, SATO Yoichiro, YOKOGAWA Tomoyuki, KONDO Masafumi, ARIMOTO Kazutami
IEICE technical report. Circuits and systems   113(463) 91-96   Feb 2014
We proposed a method of evaluating performance of large scale digital systems by modeling with the STPN and executing petri net simulations. In this method, however, it takes very much time to execute petri net simulations. This study propose high...
KAWAMURA Takashi, SATO Yoichiro, YOKOGAWA Tomoyuki, KONDO Masafumi, ARIMOTO Kazutami
IEICE technical report. Communication systems   113(465) 91-96   Feb 2014
We proposed a method of evaluating performance of large scale digital systems by modeling with the STPN and executing petri net simulations. In this method, however, it takes very much time to execute petri net simulations. This study propose high...
横川智教, 東山大地, 近藤真史, 佐藤洋一郎, 有本和民
電子情報通信学会技術研究報告   113(454(VLD2013 134-167)) 177-182   Feb 2014
YOKOGAWA Tomoyuki, HIGASHIYAMA Daichi, KONDO Masafumi, SATO Yoichiro, ARIMOTO Kazutami
Technical report of IEICE. VLD   113(454) 177-182   Feb 2014
In this paper, we show a case study where a design of 8bit microcomputer M8R, which is described by Verilog-HDL, is verified using symbolic model checker NuSMV. We provide a framework for translating a Verilog-HDL description into an SMV model. We...
Kondo Masafumi, Yokogawa Tomoyuki, Sato Yoichiro, Arimoto Kazutami
IEEJ Transactions on Sensors and Micromachines   134(2) 312-319   2014
To evaluate performance of a large scale digital system, the system is modeled by stochastic timed petri nets (STPN) and performance index is estimated through iteration of a petri net simulation. When the performance evaluation is carried out in ...
上野将太, 有本和民, 佐藤洋一郎, 横川智教
電気・情報関連学会中国支部連合大会講演論文集(CD-ROM)   64th 430   Oct 2013
小田桐由樹, 近藤真史, 横川智教, 佐藤洋一郎, 有本和民
電気・情報関連学会中国支部連合大会講演論文集(CD-ROM)   64th 267   Oct 2013
荻野真奈美, 横川智教, 佐藤洋一郎, 有本和民, 近藤真史
電気・情報関連学会中国支部連合大会講演論文集(CD-ROM)   64th 257   Oct 2013
岡崎圭祐, 横川智教, 宮崎仁, 有本和民, 佐藤洋一郎
電気・情報関連学会中国支部連合大会講演論文集(CD-ROM)   64th 189   Oct 2013
落水恭介, 横川智教, 宮崎仁, 佐藤洋一郎, 有本和民
電子情報通信学会技術研究報告   113(159(SS2013 13-35)) 49-54   Jul 2013
OCHIMIZU Kyosuke, YOKOGAWA Tomoyuki, MIYAZAKI Hisashi, SATO Yoichiro, ARIMOTO Kazutami
Technical report of IEICE. SS   113(159) 49-54   Jul 2013
In this paper, we propose a method for modeling smartphone apps using UML state machine diagrams. We focused on a tap event which is one of user operations on smartphone apps. In our method, changes of internal states and screen transitions caused...
OCHIMIZU Kyosuke, YOKOGAWA Tomoyuki, MIYAZAKI Hisashi, SATO Yoichiro, ARIMOTO Kazutami
Technical report of IEICE. KBSE   113(160) 49-54   Jul 2013
In this paper, we propose a method for modeling smartphone apps using UML state machine diagrams. We focused on a tap event which is one of user operations on smartphone apps. In our method, changes of internal states and screen transitions caused...
横川 智教, 片山 巧, 宮崎 仁, 佐藤 洋一郎, 有本 和民
ウィンターワークショップ2014・イン・大洗 論文集   2014 41-42   Jan 2014
宮崎 仁, 横川 智教, 落水 恭介, 佐藤 洋一郎, 有本 和民
ウィンターワークショップ2014・イン・大洗 論文集   2014 51-52   Jan 2014
横川 智教, 宮崎 仁, 佐藤 洋一郎, 有本 和民
ウィンターワークショップ2013・イン・那須 論文集   2013 7-8   Jan 2013
河村喬, 古好佑輔, 近藤真史, 横川智教, 佐藤洋一郎, 有本和民
電気・情報関連学会中国支部連合大会講演論文集(CD-ROM)   63rd 336   Oct 2012
片山巧, 横川智教, 浅田和真, 宮崎仁, 佐藤洋一郎
電気・情報関連学会中国支部連合大会講演論文集(CD-ROM)   63rd 433   Oct 2012
鳥崎充良, 茅野功, 佐藤洋一郎, 横川智教, 宮崎仁, 有本和民
電気・情報関連学会中国支部連合大会講演論文集(CD-ROM)   63rd 292   Oct 2012
大山国晃, 荻野真奈美, 近藤真史, 横川智教, 佐藤洋一郎, 有本和民
電気・情報関連学会中国支部連合大会講演論文集(CD-ROM)   63rd 194-195   Oct 2012
KONDO Masafumi, OHYAMA Kuniaki, KOYOSHI Yusuke, YOKOGAWA Tomoyuki, SATO Yoichiro
Technical report of IEICE. VLD   112(114) 49-54   Jun 2012
In recent years, an exclusive access to a shared bus and memory for multiple processor cores occurs in many computer systems. Arbiters is a useful building block in managing shared resources, and then the tree arbiter arranged 2-input arbiter (ME)...
近藤真史, 大山国晃, 古好佑輔, 横川智教, 佐藤洋一郎
電子情報通信学会技術研究報告   112(116(MSS2012 1-29)) 49-54   Jun 2012
近藤真史, 古好佑輔, 横川智教, 佐藤洋一郎
電子情報通信学会大会講演論文集   2012 S.3-S.4   Mar 2012
KONDO Masafumi, KOYOSHI Yusuke, YOKOGAWA Tomoyuki, SATO Yoichiro
Proceedings of the IEICE General Conference   2012 "S-3"-"S-4"   Mar 2012
香川真哉, 森洋史, 横川智教, 佐藤洋一郎
電子情報通信学会技術研究報告   111(459(IMQ2011 22-29)) 1-6   Feb 2012
KAGAWA Shinya, MORI Hirofumi, YOKOGAWA Tomoyuki, SATO Yoichro
電子情報通信学会技術研究報告. IMQ, イメージ・メディア・クオリティ   111(459) 1-6   Feb 2012
In this study, a translucent multi window generating method using GPGPU is proposed aiming at high-speed window operation. This method is based on the idea of the interoperation to make GPGPU for generating a multi window image and OpenGL for disp...
宮崎仁, 天嵜聡介, 茅野功, 平松修, 横川智教, 佐藤洋一郎
川崎医療福祉学会誌   21(2) 246-253   Jan 2012
Miyazaki Hisashi, Amasaki Sosuke, Kayano Isao, Hiramatsu Osamu, Yokogawa Tomoyuki, Sato Yoichiro
Kawasaki medical welfare journal   21(2) 246-253   2012
Clinical exercises are necessary components of the national license for clinical engineering. Clinical exercise scheduling in a training institution is regarded as example of a optimization problem. Furthermore, it is well-known that finding the o...
三輪陽介, 横川智教, 河村亮太, 宮崎仁, 佐藤洋一郎
情報処理学会シンポジウム論文集   2012(1) 111-112   Jan 2012
近藤真史, 古好佑輔, 横川智教, 佐藤洋一郎
電子情報通信学会技術研究報告   111(294(MSS2011 33-53)) 19-24   Nov 2011
KONDO Masafumi, KOYOSHI Yusuke, YOKOGAWA Tomoyuki, SATO Yoichiro
電子情報通信学会技術研究報告. CAS, 回路とシステム   111(293) 19-24   Nov 2011
A high-speed method of evaluating performance of large scale digital systems by combination with analytical approaches and simulation - based approaches. In this method, it is necessary to generate a lot of event graphs described as a sequence of ...
三輪陽介, 横川智教, 宮崎仁, 近藤真史, 佐藤洋一郎
情報科学技術フォーラム講演論文集   10th 309-310   Aug 2011
近藤真史, 大山国晃, 横川智教, 佐藤洋一郎
情報科学技術フォーラム講演論文集   10th 423-424   Aug 2011
三輪陽介, 横川智教, 宮崎仁, 近藤真史, 佐藤洋一郎
情報処理学会研究報告(CD-ROM)   2011(2) ROMBUNNO.SE-173,NO.2   Aug 2011
浅田和真, 横川智教, 宮崎仁, 佐藤洋一郎
情報処理学会研究報告(CD-ROM)   2011(2) ROMBUNNO.SE-173,NO.1   Aug 2011
浅田 和真, 横川 智教, 宮崎 仁, 佐藤 洋一郎
研究報告ソフトウェア工学(SE)   2011(1) 1-10   Jul 2011
本論文では,UML のシーケンス図で記述され,hMSC に基づいて統合されたソフトウェアの設計記述を対象として,詳細化関係の検証を行う手法を提案する.検証にはモデル検査ツールL TSA を用いる.本手法では,シーケンス図の振る舞いを LTSA の入力記法である FSP によって表現する.さらに,与えられた hMSC に基づいて複数のシーケンス図を合成し,FSP による表現を求める.また,本手法を例題システムへと適用してその有効性を示す.During a software developme...
三輪 陽介, 横川 智教, 宮崎 仁, 近藤 真史, 佐藤 洋一郎
研究報告ソフトウェア工学(SE)   2011(2) 1-7   Jul 2011
本論文では,非同期システムの一種である GALS(大域非同期局所同期)システムの特性を,モデル検査ツール UPPAAL を用いて検証する手法を提案する.ここでは,STPN(確率時間ペトリネット) でモデル化された GALS システムを対象として,与えられた STPN を UPPAAL の入力形式である XTA(拡張時間オートマトン) へと変換することで,UPPAAL による検証を行う.提案法では,STPN の各プレイスの振る舞いを XTA で表現し,同期チャネルを用いて XTA 間を同期す...
川上由香, 横川智教, 宮崎仁, 佐藤洋一郎, 早瀬道芳
情報処理学会シンポジウム論文集   2011(2) 129-130   Jan 2011
仁宮章恵, 横川智教, 宮崎仁, 佐藤洋一郎, 早瀬道芳
情報処理学会シンポジウム論文集   2011(2) 127-128   Jan 2011
三輪陽介, 横川智教, 宮崎仁, 佐藤洋一郎, 早瀬道芳
情報処理学会シンポジウム論文集   2011(2) 125-126   Jan 2011
Sousuke Amasaki,Yohei Takahara,Tomoyuki Yokogawa
2011 Joint Conf of 21st Int'l Workshop on Software Measurement and the 6th Int'l Conference on Software Process and Product Measurement, IWSM/Mensura 2011, Nara, Japan, November 3-4, 2011   188-195   2011   [Refereed]
MIWA Yosuke, YOKOGAWA Tomoyuki, MIYAZAKI Hisashi, KONDO Masafumi, SATO Yoichiro
情報科学技術フォーラム講演論文集   10(1) 309-310   Sep 2011
近藤真史, 横川智教, 佐藤洋一郎, 早瀬道芳
電気・情報関連学会中国支部連合大会講演論文集(CD-ROM)   61st 238-239   Oct 2010

Research Grants & Projects

 
Cost Reduction of Software Development Processes using Bounded Model Checking
Grant-in-Aid for Scientific Research
Project Year: 2007 - 2009