田中清史 (Kiyofumi Tanaka) - マイポータル

基本情報

所属: 北陸先端科学技術大学院大学情報科学系教授

学位: 博士(理学)(2000年3月東京大学)
修士(理学)(1997年3月東京大学)
学士(理学)(1995年3月東京大学)

J-GLOBAL ID: 200901065985664490
researchmap会員ID: 5000087725

外部リンク: http://www.jaist.ac.jp/is/labs/tanaka-lab/

研究キーワード

研究分野

情報通信 / 計算機システム /

経歴

2020年10月 - 現在

北陸先端科学技術大学院大学情報科学系教授
2001年3月 - 2020年9月

北陸先端科学技術大学院大学情報科学系准教授
2001年 - 2005年

科学技術振興事業団(現，科学技術振興機構)「機能と構成」研究員兼任
2000年4月 - 2001年2月

東京大学リサーチアソシエイト

学歴

1997年4月 - 2000年3月

東京大学大学院理学系研究科情報科学専攻博士課程
1995年4月 - 1997年3月

東京大学大学院理学系研究科情報科学専攻修士課程
- 1994年

東京大学理学部情報科学科

委員歴

2020年6月 - 現在

電子情報通信学会北陸支部運営委員
2020年4月 - 現在

情報処理学会組込みシステム研究会・主査
2017年 - 現在

情報処理学会論文誌査読委員
2016年 - 現在

情報処理学会情報処理学会論文誌「組込みシステム工学」特集・副編集長
2013年 - 現在

電子情報通信学会ソサイエティ論文編集委員会・常任査読委員
2018年6月 - 2020年6月

電子情報通信学会北陸支部庶務幹事
2019年4月 - 2020年3月

情報処理学会組込みシステム研究会・運営委員
2019年 - 2020年

電子情報通信学会特別小特集編集委員会・幹事
2018年6月 - 2019年6月

電子情報通信学会代議員
2015年6月 - 2019年6月

電子情報通信学会北陸支部運営委員
2018年4月 - 2019年3月

情報処理学会組込みシステム研究会・幹事
2012年5月 - 2018年6月

電子情報通信学会リコンフィギャラブルシステム研究専門委員会・専門委員
2013年 - 2017年

情報処理学会論文誌ジャーナル／JIP編集委員会・編集委員
2010年 - 2011年

情報処理学会情報処理学会論文誌「組込みシステム工学」特集・副編集長
2008年5月 - 2010年5月

電子情報通信学会北陸支部学生会顧問
2010年 - 2010年

情報処理学会情報処理学会論文誌「組込みシステム工学」特集・編集委員
2002年4月 - 2004年3月

情報処理学会計算機アーキテクチャ研究会・運営委員

受賞

論文

Efficient FPGA Design of Exception-Free Generic Elliptic Curve Cryptosystems

Kiyofumi Tanaka, Atsuko Miyaji, Yaoan Jin

Proceedings of 19th International COnference on Applied Cryptography and Network Security (ACNS) LNCS 12726 393-414 2021年6月査読有り
Acceleration of Residual Binarized Neural Network

Yan Chen, Kiyofumi Tanaka

Proceedings of the 23rd Workshop on Synthesis And System Integration of Mixed Information technologies (SASIMI) 126-131 2021年3月査読有り
Response Time Analysis of Execution Right Delegation Scheduling

Takaharu Suzuki, Kiyofumi Tanaka

Proceedings of Asia Pacific Conference on Robot IoT System Development and Platform (APRIS) 211-221 2021年3月査読有り
Solving Slitherlink with FPGA and SMT Solver

Tetsuo Miyauchi, Kiyofumi Tanaka

Journal of Information Processing 28 959-969 2020年12月査読有り
Building Fine-Grained Configurable ITRON Based RTOS

Tetsuo Miyauchi, Kiyofumi Tanaka

Journal of Information Processing 28 395-405 2020年8月査読有り
Dependency-Driven Trace-Based Network-on-Chip Emulation on FPGAs

Thiem Van Chu, Kenji Kise, Kiyofumi Tanaka

Proceedings of The 2020 ACM/SIGDA International Symposium on Field-Programmable Gate Arrays (FPGA) 211-221 2020年2月23日査読有り
Overview of An Adaptive Approach for Implementing RTOS in Hardware

Tetsuo Miyauchi, Kiyofumi Tanaka

Proceedings of Asia Pacific Conference on Robot IoT System Development and Platform (APRIS) 13-20 2019年10月査読有り
A Proposal of Application Specific Approach with RISC-V Processor on FPGA

Tetsuo Miyauchi, Kiyofumi Tanaka

Proceedings of the 22nd Workshop on Synthesis And System Integration of Mixed Information technologies (SASIMI) 270-273 2019年10月査読有り
Adaptive Local Assignment Algorithm for Scheduling Soft-Aperiodic Tasks on Multiprocessors

Duy Doan, Kiyofumi Tanaka

Proceedings of IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA) IEEE Xplore 6 pages 2019年8月査読有り
Reinforcing Total Bandwidth Server with Multivalued WCET

Amr Ashmawy, Kiyofumi Tanaka

Proceedings of Asia Pacific Conference on Robot IoT System Development and Platform (APRIS) 13-20 2018年10月査読有り
A Novel Task-to-Processor Assignment Approach for Optimal Multiprocessor Real-Time Scheduling.

Doan Duy, Kiyofumi Tanaka

12th IEEE International Symposium on Embedded Multicore/Many-core Systems-on-Chip, MCSoC 2018, Hanoi, Vietnam, September 12-14, 2018 101-108 2018年9月査読有り
金融商品アルゴリズム取引システムのハードウェアアクセラレーション

小林弘幸, 田中清史

情報処理学会組込みシステムシンポジウム（ESS） 2018論文集 51-58 2018年8月査読有り
An Adaptive Approach for Implementing RTOS in Hardware

Tetsuo Miyauchi, Kiyofumi Tanaka

情報処理学会組込みシステムシンポジウム（ESS） 2018論文集 44-50 2018年8月査読有り
Jitter Reduction in Hard Real-Time Systems using Intra-task DVFS Techniques

Bo-Yu Tseng, Kiyofumi Tanaka

Proc. of 14th Annual Workshop on Operating Systems Platforms for Embedded Real-Time Applications 19-24 2018年7月査読有り
Building a Framework for an Application-Adaptive Processor System on FPGA-based SoC

Tetsuo Miyauchi, Kiyofumi Tanaka

Proceedings of the 21st Workshop on Synthesis And System Integration of Mixed Information technologies 359-364 2018年3月査読有り
Enhanced Virtual Release Advancing Algorithm for Real-Time Task Scheduling

Duy Doan, Kiyofumi Tanaka

Journal of Information and Telecommunication 2(3) 246-264 2018年1月査読有り
SMTソルバを用いたSlitherlinkパズルの解法

宮内哲夫, 田中清史

第22回ゲーム・プログラミングワークショップ2017論文集 111-118 2017年11月査読有り
Virtual environment for developing real-time image processing for vehicle control.

Yuranan Kitrungrotsakul, Kiyofumi Tanaka, Masanobu Hashimoto, Shuichi Onishi

2017 International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation, SAMOS 2017, Pythagorion, Greece, July 17-20, 2017 227-232 2017年7月査読有り
An Effective Approach for Improving Responsiveness of Total Bandwidth Server

Doan Duy, Kiyofumi Tanaka

2017 8TH INTERNATIONAL CONFERENCE OF INFORMATION AND COMMUNICATION TECHNOLOGY FOR EMBEDDED SYSTEMS (IC-ICTES) IEEE Xplore 6 pages 2017年5月査読有り
Execution Right Delegation: Beyond the Rate Monotonic

Takaharu Suzuki, Kiyofumi Tanaka

Proceedings of the 32nd International Conference on Computers and Their Applications, CATA 2017 185-190 2017年3月21日査読有り

もっとみる

MISC

105

サイドチャネル攻撃耐性を持つ楕円曲線スカラー倍算アルゴリズムのハードウェア実装

田中清史, 宮地充子

情報処理学会研究報告, EMB 2020-EMB-54(2) 1-8 2020年6月
FPGA SoCにおける多倍長演算の実装

田中清史

情報処理学会研究報告, EMB 2019-EMB-53(42) 1-5 2020年2月
A Study of Real-Time Extension for RISC-V Processors

Aye Myat Mon, Thiem Van Chu, Kiyofumi Tanaka

IPSJ SIG Technical Reports, EMB 2019-EMB-51(7) 1-2 2019年6月
High-Accuracy and Cost-Effective Neural Networks for Embedded Systems

Jiajun Guo, Amr Ashmawy, Thiem Van Chu, Kiyofumi Tanaka

IPSJ SIG Technical Reports 2019-EMB-50(36) 1-8 2019年3月
Reducing Jitter and Energy in Hard Real-time Systems Using Intra-task DVFS Technique

Bo-Yu Tseng, Kiyofumi Tanaka

情報処理学会第80回全国大会講演論文集 DVD-ROM 2018年3月
Adaptive Computing Framework in the IoT Era

Kiyofumi Tanaka

International Conference for Tips for Top and Emerging Computer Scientists (IC-TECS) 2017年12月
RTOSのFPGAによるハードウェア化の検討

宮内哲夫, 田中清史

情報処理学会第79回全国大会講演論文集 DVD-ROM 2 pages 2017年3月
静的優先度スケジューリングにおけるタスク分割によるジッタ削減の検討

鈴木隆元, 田中清史

情報処理学会第79回全国大会講演論文集 DVD-ROM 2017年3月
Measuring Sophistication of Sports Games: The First Result from Baseball

KITRUNGROTSAKUL Yuranan, CHETPRAYOON Panumate, Hiroyuki Iida, Kiyofumi Tanaka

IPSJ SIG Technical Reports, GI 2016-GI-36(4) 1-6 2016年8月
FPGA用ソフトプロセッサにおけるキャッシュメモリの適応的手法

宮内哲夫, 田中清史

情報処理学会第78回全国大会講演論文集 DVD-ROM 2 pages 2016年3月
実行時間予測による適応型リアルタイムスケジューリング

森本恵一, 田中清史

情報処理学会第78回全国大会講演論文集 DVD-ROM 2 pages 2016年3月
スラックを利用した実行権移譲スケジューリングアルゴリズム

鈴木隆元, 田中清史

情報処理学会第78回全国大会講演論文集 DVD-ROM 2 pages 2016年3月
FPGAを対象とした自動最適化によるマルチコアの実現

宮内哲夫, 田中清史

電気関係学会北陸支部連合大会講演論文集 CD-ROM 2015年9月
組込みアプリケーションの実行時間予測

森本恵一, 田中清史

電気関係学会北陸支部連合大会講演論文集 DVD-ROM 2 pages 2015年9月
RTOSオーバヘッドを考慮に入れたリアルタイムスケジューリング

長谷川和輝, 田中清史

電気関係学会北陸支部連合大会講演論文集 CD-ROM 2015年9月
FPGA用ソフトプロセッサ向け自動最適化コンフィグレータ

宮内哲夫, 田中清史

情報処理学会第77回全国大会講演論文集 2015年3月
仮想リリース遡及法の非周期タスクへの適用

田中清史

情報処理学会研究報告, EMB 2015-EMB-36(6) 1-6 2015年2月27日
重要タスクの応答時間を短縮するリアルタイムスケジューリング (ディペンダブルコンピューティング組込み技術とネットワークに関するワークショップETNET2014)

田中清史

電子情報通信学会技術研究報告 = IEICE technical report : 信学技報 113(498) 7-12 2014年3月15日
重要タスクの応答時間を短縮するリアルタイムスケジューリング

田中清史

情報処理学会研究報告, EMB 2014-EMB-32(2) 1-6 2014年3月15日
Considering RTOS Overheads in Real-Time Processing

Kiyofumi Tanaka

International Workshop on Innovative Architecture for Future Generation High-Performance Processors and Systems (IWIA) 3 pages 2014年3月

もっとみる

担当経験のある科目(授業)

2014年4月 - 現在

プロセッサ設計演習 (北陸先端科学技術大学院大学)
2009年4月 - 現在

高機能オペレーティングシステム (北陸先端科学技術大学院大学)
2008年1月 - 現在

オペレーティングシステム特論 (北陸先端科学技術大学院大学)
2005年4月 - 現在

統合アーキテクチャ (北陸先端科学技術大学院大学)
2003年4月 - 現在

デジタル論理と計算機構成 (北陸先端科学技術大学院大学)
2001年4月 - 現在

計算機アーキテクチャ特論 (北陸先端科学技術大学院大学)
2001年4月 - 2008年3月

並列・分散システムアーキテクチャ特論 (北陸先端科学技術大学院大学)

所属学協会

2005年 - 現在

電子情報通信学会
2004年 - 現在

IEEE Computer Society
2004年 - 現在

ACM
2000年1月 - 現在

情報処理学会

共同研究・競争的資金等の研究課題

計算機アーキテクチャ, 並列計算機，組込みシステム