日下部茂 (Shigeru Kusakabe) - マイポータル

基本情報

所属: 長崎県立大学情報システム学部教授

学位: 博士(工学)

J-GLOBAL ID: 200901052915749273
researchmap会員ID: 5000050443

研究キーワード

研究分野

情報通信 / ソフトウェア /

学歴

九州大学

論文

Fairness scheduler for multithreaded programs in Virtual Machine environment

Samih M. Mostafa, Shigeru Kusakabe, Hirofumi Amano

Proceedings of the 2016 4th International Japan-Egypt Conference on Electronic, Communication and Computers, JEC-ECC 2016 79-82 2016年7月21日査読有り
Towards Reducing Energy Consumption Using Inter-Process Scheduling in Preemptive Multitasking OS

Samih M. Mostafa, Shigeru Kusakabe

2016 International Conference on Platform Technology and Service, PlatCon 2016 - Proceedings 2016年4月査読有り
Adaptive Context-Awareness Model for Cultural Heritage Information Based on User Needs

Abdul Kadir Jailani, Shigeru Kusakabe, Keijiro Araki

Proceedings - 2015 IIAI 4th International Congress on Advanced Applied Informatics, IIAI-AAI 2015 339-342 2016年1月6日査読有り
Analyzing Key Process Areas in Process Improvement Model for Service Provider Organization, CMMI-SVC

Shigeru Kusakabe

Proceedings - 2015 IIAI 4th International Congress on Advanced Applied Informatics, IIAI-AAI 2015 103-108 2016年1月6日査読有り
Towards verifying VDM using SPIN

Hsin Hung Lin, Yoichi Omori, Shigeru Kusakabe, Keijiro Araki

Communications in Computer and Information Science 596 241-256 2016年査読有り
Visualizing centrality of process area networks in CMMI-DEV

Shigeru Kusakabe, Yoichi Omori, Hsin Hung Lin, Keijiro Araki

ACM International Conference Proceeding Series 24-26-August-2015 173-174 2015年8月24日査読有り
Using hazard analysis STAMP/STPA in developing model-oriented formal specification toward reliable cloud service

Akihiro Hata, Keijiro Araki, Shigeru Kusakabe, Yoichi Omori, Hsin Hung Lin

Proceedings - 2015 International Conference on Platform Technology and Service, PlatCon 2015 23-24 2015年4月査読有り
Well-defined software process as vehicle to understand effectiveness of formal methods

Shigeru Kusakabe, Yoichi Omori, Keijiro Araki

CEUR Workshop Proceedings 1385(January) 51-58 2015年査読有り
Thread weight readjustment scheduler: A proportional share CPU scheduler for multithreaded processes

Samih M. Mostafa, Shigeru Kusakabe

Proceedings - 2014 IIAI 3rd International Conference on Advanced Applied Informatics, IIAI-AAI 2014 481-486 2014年9月29日査読有り
Requirements development of energy management system for a unit in smart campus

Shigeru Kusakabe, Hsin Hung Lin, Yoichi Omori, Keijiro Araki

Proceedings - 2014 IIAI 3rd International Conference on Advanced Applied Informatics, IIAI-AAI 2014 405-410 2014年9月29日査読有り
Generating supportive hypotheses in introducing formal methods using a software processes improvement model

Shigeru Kusakabe, Hsin Hung Lin, Yoichi Omori, Keijiro Araki

2nd FME Workshop on Formal Methods in Software Engineering, FormaliSE 2014 - Proceedings 24-30 2014年6月3日査読有り
Applying eco-threading framework to memory-intensive hadoop applications

Hiroaki Takasaki, Samih M. Mostafa, Shigeru Kusakabe

ICISA 2014 - 2014 5th International Conference on Information Science and Applications 2014年査読有り
Monitoring Hadoop by Using IEEE1888 in Implementing Energy-Aware Thread Scheduling

Hiroaki Takasaki, Samih M. Mostafa, Shigeru Kusakabe

Proceedings - 2014 IEEE International Conference on Ubiquitous Intelligence and Computing, 2014 IEEE International Conference on Autonomic and Trusted Computing, 2014 IEEE International Conference on Scalable Computing and Communications and Associated Symposia/Workshops, UIC-ATC-ScalCom 2014 655-658 2014年査読有り
Preliminary evaluation of eco-threading framework for commodity platform

Shouta Nagashima, Shigeru Kusakabe

2013 International Green Computing Conference Proceedings, IGCC 2013 1-6 2013年査読有り
Performance Evaluation of A Testing Framework Using QuickCheck and Hadoop

Yusuke Wada, Shigeru Kusakabe

Journal of information processing 20(2) 340-346 2012年4月15日査読有り
Performance evaluation of a testing framework using quickcheck and Hadoop

Yusuke Wada, Shigeru Kusakabe

Journal of Information Processing 20(2) 340-346 2012年査読有り
Helper thread to monitor processor events for scheduling of sibling threads

Yusuke Wada, Shigeru Kusakabe

2012 International Green Computing Conference, IGCC 2012 2012年査読有り
Energy efficient scheduling for multithreaded programs on a database server workload

Xin Fan, Shigeru Kusakabe

IEEE Region 10 Annual International Conference, Proceedings/TENCON 1341-1345 2011年査読有り
Energy efficient scheduling for multithreaded programs on general-purpose processors

Xin Fan, Shigeru Kusakabe

Proceedings of the International Symposium on Low Power Electronics and Design 327-332 2011年査読有り
Large volume testing for executable formal specification using hadoop

Shigeru Kusakabe

IEEE International Symposium on Parallel and Distributed Processing Workshops and Phd Forum 1250-1257 2011年査読有り

もっとみる

MISC

自動改札システムの利用における心理的な安全性の分析 : 機能共鳴分析手法FRAMによるセーフティの分析

栗田太郎, 日下部茂

鉄道サイバネ・シンポジウム論文集 56 5p 2019年11月
システム理論に基づくSTAMP/STPAを用いたソフトウェアアーキテクチャ分析の提案 (知能ソフトウェア工学)

日下部茂

電子情報通信学会技術研究報告 = IEICE technical report : 信学技報 117(137) 91-96 2017年7月19日
形式仕様記述を用いた系統的なプロパティベーステストの活用

馬場勇輔, 荒木啓二郎, 日下部茂, 大森洋一

ウィンターワークショップ2017・イン・飛騨高山論文集 (2017) 51-52 2017年1月12日
要求辞書としての形式仕様詳細化手法の提案

幡亮介, 大森洋一, 荒木啓二郎, 日下部茂

ウィンターワークショップ2017・イン・飛騨高山論文集 (2017) 49-50 2017年1月12日
ソフトウェア開発プロセス改善モデルCMMI-DEVの関連プロセス領域ネットワークの中心性分析

日下部茂, 林信宏, 大森洋一, 荒木啓二郎

コンピュータソフトウェア 32(3) 126-136 2015年8月1日査読有り
SPINを用いたVDM仕様に対するモデル検査適用手法 (知能ソフトウェア工学)

林信宏, 大森洋一, 日下部茂

電子情報通信学会技術研究報告 = IEICE technical report : 信学技報 115(154) 173-178 2015年7月22日
創発的性質の導出、記述及び検証について

林信宏, 大森洋一, 日下部茂, 荒木啓二郎

ウィンターワークショップ2015・イン・宜野湾論文集 2015(2015) 71-72 2015年1月15日
通信キャリア向けサービス制御ノードの開発における形式仕様策定

馬庚元, 林信宏, 大森洋一, 日下部茂, 荒木啓二郎, 吉武浩, 古賀昭男, 原田英治, 杜翔, 井上康生

研究報告ソフトウェア工学（SE） 2014(14) 1-8 2014年11月6日
開発のためのCMMIの成熟度レベルごとの関連プロセス領域ネットワークの中心性可視化

日下部茂, 林信宏, 大森洋一

日本ソフトウェア科学会大会論文集 31 562-572 2014年9月7日
モデル指向形式仕様記述におけるハザード解析法STAMP/STPAの活用

畑彰拓, 日下部茂, 林信宏, 大森洋一, 荒木啓二郎

ソフトウェアエンジニアリングシンポジウム2014論文集 2014(2014) 33-38 2014年8月25日
人工衛星のソフトウェアIV&VにおけるD-Caseを利用した短期間でのフォーマルメソッド適用

大森洋一, 日下部茂, 林信宏, 荒木啓二郎, 神戸大輔, 寺西誠, 川口真司, 梅田浩貴

ソフトウェアエンジニアリングシンポジウム2014論文集 2014(2014) 27-32 2014年8月25日
Towards Model Checking VDM Specifications (ソフトウェアサイエンス)

林信宏, 大森洋一, 日下部茂, 荒木啓二郎

電子情報通信学会技術研究報告 = IEICE technical report : 信学技報 114(23) 19-24 2014年5月8日
ディペンダブルケースを中間表現としたフォーマルな仕様記述手法

大森洋一, 日下部茂, 林信宏, 荒木啓二郎

研究報告ソフトウェア工学（SE） 2014(26) 1-8 2014年3月12日
ドメイン用語辞書の再利用に向けたグループ化 (ソフトウェアサイエンス)

大森洋一, 日下部茂, 林信宏, 荒木啓二郎

電子情報通信学会技術研究報告 = IEICE technical report : 信学技報 113(269) 95-102 2013年10月24日
ソフトウェア開発プロセスモデルを用いた形式手法導入の検討 (ソフトウェアサイエンス)

日下部茂, 林信弘, 大森洋一, 荒木啓二郎

電子情報通信学会技術研究報告 = IEICE technical report : 信学技報 113(269) 87-94 2013年10月24日
ソフトウェア開発プロセスモデルを用いた形式手法導入の検討

日下部茂, 林信弘, 大森洋一, 荒木啓二郎

研究報告ソフトウェア工学（SE） 2013(14) 1-8 2013年10月17日
ドメイン用語辞書の再利用に向けたグループ化

大森洋一, 日下部茂, 林信宏, 荒木啓二郎

研究報告ソフトウェア工学（SE） 2013(15) 1-8 2013年10月17日
規範的チーム開発プロセスTSPiに基づく産学連携PBLの事例報告―OpenFlowコントローラ開発への形式手法導入―

金丸将平, 岡部正臣, 山本大輔, 三善浩司, 青山慎二, 松村成樹, 荒木啓二郎, 日下部茂, 大森洋一, 吉武浩 …

研究報告ソフトウェア工学（SE） 2013(26) 1-8 2013年3月4日
プロセスを考慮した形式手法の導入

日下部茂, 大森洋一, 荒木啓二郎

ウィンターワークショップ2013・イン・那須論文集 2013(2013) 9-10 2013年1月17日
Performance Evaluation of A Testing Framework Using QuickCheck and Hadoop

Wada Yusuke, Kusakabe Shigeru

Information and Media Technologies 7(2) 694-700 2012年

もっとみる

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

アーキテクチャ指向形式手法に基づく高品質ソフトウェア開発法の提案と実用化

日本学術振興会科学研究費助成事業基盤研究(S) 基盤研究(S) 2012年5月 - 2017年3月

荒木啓二郎, 大森洋一, 山本修一郎, 片山徹郎, 持尾弘司, 日下部茂, 張漢明, 林信宏, 小田朋宏
マルチスレッドプログラムの実行時間と消費エネルギーを削減するスケジューリング機構

日本学術振興会科学研究費助成事業基盤研究(C) 基盤研究(C) 2013年4月 - 2016年3月

日下部茂
ソフトウェア開発の現場で使えるフォーマルメソッドに関する研究

日本学術振興会科学研究費助成事業基盤研究(B) 基盤研究(B) 2009年 - 2011年

荒木啓二郎, 日下部茂, 持尾弘司, 大森洋一
継続点付き非中断型スレッドによる汎用高性能プロセッサ向けOS構成法

日本学術振興会科学研究費助成事業基盤研究(C) 基盤研究(C) 2006年 - 2008年

日下部茂
ソフトウェア開発のモデル化技法とシステム特性干渉解析に関する研究

日本学術振興会科学研究費助成事業基盤研究(B) 基盤研究(B) 2004年 - 2006年

荒木啓二郎, 福田晃, 日下部茂, 張漢明, 中西恒夫, 大森洋一
細粒度マルチスレッド処理原理による並列分散処理カーネルウェアの研究

日本学術振興会科学研究費助成事業基盤研究(A) 基盤研究(A) 2003年 - 2005年

雨宮真人, 長谷川隆三, 谷口秀夫, 藤田博, 峯恒憲, 日下部茂
超分散センサーネットワークによる実時間高精細多メディア統合システムの研究

日本学術振興会科学研究費助成事業基盤研究(B) 基盤研究(B) 2002年 - 2004年

谷口倫一郎, 谷口秀夫, 日下部茂, 有田大作, 鶴田直之, 堤富士雄
高性能マルチスレッドアーキテクチャへの高レベルプログラミング言語の実装

日本学術振興会科学研究費助成事業奨励研究(A) 奨励研究(A) 1999年 - 2000年

日下部茂
マルチエージェント概念に基づく秘書システムの開発

日本学術振興会科学研究費助成事業基盤研究(B) 基盤研究(B) 1998年 - 2000年

雨宮真人, 峯恒憲, 菅沼明, 谷口倫一郎, 富安洋史, 日下部茂
仮想空間構築における実動画像情報を用いたモデル自動生成の高品位実時間処理の研究

日本学術振興会科学研究費助成事業基盤研究(B) 基盤研究(B) 1997年 - 1999年

谷口倫一郎, 日下部茂, 菅沼明, 鎌田清一郎, 鶴田直之, 有田大作, 吉田紀彦, 行場次郎
超並列計算機アーキテクチャと宣言型言語に関する研究

日本学術振興会科学研究費助成事業国際学術研究国際学術研究 1997年 - 1998年

雨宮真人, 日下部茂, 藤田博, 長谷川隆三, 越村三幸, 富安洋史
高度な視覚探索機能のモデル化とその工学的応用に関する研究

日本学術振興会科学研究費助成事業基盤研究(C) 基盤研究(C) 1996年 - 1997年

鶴田直之, 日下部茂, 行場次朗, 谷口倫一郎
データフロー高並列言語による構造データ操作を伴う不均質計算の並列処理の研究

日本学術振興会科学研究費助成事業奨励研究(A) 奨励研究(A) 1996年 - 1996年

日下部茂
マルチメディア指向超並列マシンアーキテクチャーとそのソフトウェア実用化の研究

日本学術振興会科学研究費助成事業基盤研究(A) 基盤研究(A) 1994年 - 1996年

雨宮真人, 富安洋史, 日下部茂, 峯常憲, 谷口倫一郎, 牧之内顕文, 中藤哲也, 鶴田直之
データフローベース高並列プログラミング言語の汎用並列計算機上の実装方式の研究

日本学術振興会科学研究費助成事業奨励研究(A) 奨励研究(A) 1995年 - 1995年

日下部茂
並列処理モデルに基づいたマルチメディア理解の高度化・高速化に関する基礎的研究

日本学術振興会科学研究費助成事業一般研究(C) 一般研究(C) 1993年 - 1994年

谷口倫一郎, 日下部茂, 鶴田直之, 峯恒憲, 雨宮真人
超並列処理による自然言語理解システムの研究

日本学術振興会科学研究費助成事業一般研究(B) 一般研究(B) 1992年 - 1994年

雨宮真人, 中藤哲也, 日下部茂, 鶴田直之, 峯恒憲, 谷口倫一郎, 日高達
超並列計算環境における協調エージェントシステムを記述するソフトウェア方式の研究

日本学術振興会科学研究費助成事業奨励研究(A) 奨励研究(A) 1992年 - 1992年

日下部茂
画像理解・ニューラルネットワークのための細粒度超並列オブジェクトシステムの研究

日本学術振興会科学研究費助成事業一般研究(C) 一般研究(C) 1991年 - 1992年

谷口倫一郎, 日下部茂, 鶴田直之, 宮崎明雄, 福田晃
超並列自律型非同期マルチプロセッサシステムとニュ-ラルネットワ-クの研究

日本学術振興会科学研究費助成事業一般研究(B) 一般研究(B) 1989年 - 1991年

雨宮真人, 日下部茂, 鶴田直之, 吉田紀彦, 谷口倫一郎, 河口英二

日下部茂

基本情報

研究キーワード

研究分野

学歴

論文

MISC

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

メニュー

共著者の一覧