• Search Research Projects
  • Search Researchers
  • How to Use
  1. Back to previous page

Kusakabe Shigeru  日下部 茂

ORCIDConnect your ORCID iD *help
… Alternative Names

KUSAKABE Shigeru  日下部 茂

Less
Researcher Number 70234416
Other IDs
External Links
Affiliation (Current) 2025: 九州工業大学, 大学院情報工学研究院, 教授
Affiliation (based on the past Project Information) *help 2016: 長崎県立大学, 情報システム学部, 教授
2012 – 2016: 九州大学, システム情報科学研究科(研究院, 准教授
2011: 九州大学, 大学院・システム情報科学研究院, 准教授
2007 – 2011: Kyushu University, システム情報科学研究院, 准教授
2008: Kyushu University, 大学院・システム情報科学研究院, 准教授 … More
2006: 九州大学, システム情報科学研究院, 助教授
2006: Kyushu University, Graduate School of Information Science and Electrical Engineering, Associate Professor, 大学院システム情報科学研究院, 助教授
2002 – 2005: 九州大学, 大学院・システム情報科学研究院, 助教授
2000: 九大, システム情報科学研究科, 助教授
2000: Grad. School of Infor. Sci. Elect. Eng., KYUSHU UNIVERSITY AssociateProfessor, 大学院・システム情報科学研究院, 助教授
1998 – 1999: Kyushu University, Graduate School of Information Science and Electrical Engineering. Associate Professor, 大学院・システム情報科学研究科, 助教授
1998: 九州大学, 大学院システム情報科学研究科, 助教授
1996 – 1997: Kyushu University Department of Intelligent Systems, 大学院・システム情報科学研究科, 助手
1994 – 1995: Interdisciplinary Graduate School of Engineering Sciences, Kyushu University, Re, 大学院・総合理工学研究科, 助手
1993 – 1994: 九州大学, 大学院総合理工学研究科, 助手
1992: 九州大学, 大学院・総合理工学研究科, 助手
1992: Kyushu Univ.,Grad.School of Eng.Sci.,Research Associate, 総合理工学研究科, 助手
1991: Kyushu University, Dept. of Information Systems, Research Associate, 大学院総合理工学研究科, 助手
1991: 九州大学大学院, 総合理工学研究科, 助手 Less
Review Section/Research Field
Principal Investigator
計算機科学 / Software / Software
Except Principal Investigator
Intelligent informatics / Software / 情報工学 / 計算機科学 / 情報システム学(含情報図書館学) / 計算機工学
Keywords
Principal Investigator
コンパイラ / マルチスレッド / データフロー / 細粒度スレッド処理 / 並列言語 / 並列処理 / 大規模データ処理 / モデリング / 公平性 / 省エネルギー技術 … More / マルチスレッド処理 / 省エネルギー / スケジューラ / 計算モデル / 高性能計算 / 計算機システム / マルチコアプロセッサ / オペレーティングシステム / スケジューリング / 遅延隠蔽 / 非同期処理 / 実行時システム / 非ストリクト性 / 関数型言語 / マルチスレッディング / 高レベル記述 / 構造体処理 / マルチエージェント / 並列オブジェクト指向 … More
Except Principal Investigator
並列処理 / マルチエージェント / データフロー / 関数型言語 / 画像理解 / 形式仕様記述 / FPGA / KODAMA / WWW / 多視点画像解析 / コンピュータビジョン / Parallel Distributed Processing / 細粒度マルチスレッド処理 / 実時間処理 / O / I / マルチメディア / parallel processing / Computer vision / 超並列処理 / 画像処理 / ニュ-ラルネットワ-ク / ソフトウェア工学 / aspect-orientation / behavioral analysis / highly reliable systems / case studies / manifold description and analysis / embedded software / formal specification / system modeling / モデル検査 / システム特性 / アスペクト志向 / アスペクト指向 / 振舞い分析 / 高信頼性 / 事例研究 / 多面的記述と分析 / 組込みソフトウェア / システムモデル構築 / Multi Agent / Operation System / Thread Control Mechanisms / FUCE Architecture / Kernel Ware / Fine-grain Multi-thread / オーネルウェア / 細粒度マルチスレディング / オペレーティングシステム / スレッド管理機構 / FUCEアーキテクチャ / カーネルウェア / 並列分散処理 / 細粒度マルチスレッド / Multi-view image analysis / Quality and real-time feature / Confidence driven architecture / Real-time processing / Parallel-distributed processing / Sensor network / ビジョンシステム / 分散処理 / 品質と実時間性 / 信頼度駆動 / 並列・分散処理 / センサーネットワーク / personal assistant / dialogue system / the Internet processing / parallel and distributed / multi agent / AAOSA / ユーザ支援 / 秘書システム / インターネット / 対話システム / 並列分散 / 情報検索 / Motion Analysis / Shape Analysis / Multi-view Analysis / Image Sequence Analysis / Computer Vision / Model Generation / Virtual World / 形状パラメータ推定 / 仮想空間と実空間の融合 / 動画像解析 / 3次元モデリング / 動き推定 / 形状推定 / 複数視点 / 動画像処理 / モデル生成 / 仮想空間 / Constraints Programming / Theorem Proving / Dataflow Computation Model / Parallel Prolog / Multithreading / Parallel Processing Language / Parallel Machine Architecture / 並列化コンパイラ / 超並列マシン / 宣言型並列言語 / 制約プログラミング / 定理証明 / データフロー計算モデル / 並列論理型言語 / 並列処理言語 / 並列処理計算機アーキテクチャ / Cooperative Distributed processing / Auto Driving Car / Multimedia / Multi-layred Neural Networks / Visual Search / 分散並列処理 / 分散協調処理 / 自動走行車 / マルチメディアシステム / 多層ニューラルネットワーク / 視覚探索 / image processing / Video / dataflow / fine grain parallel processing / multi-thread / massively parallel / multi-media / 細粒度スレッド処理 / 並列I / 並列オブジェクト指向 / 並列言語 / マルチスレッド / 細粒度並列処理 / 超並列計算機 / Integration of signal and symbolic computation / Model acquisition / Parallel processor architecture / Parallel programming language / Parallel processing system / Multi-media / マルチエージエントシステム / 情報の統合化 / 並列処理プログラミング / 信号と記号 / マンマシンインターフェース / 並列処理モデル / 映像信号処理 / モデル獲得 / 信号・記号処理の統合 / 並列処理アーキテクチャ / 並列処理記述言語 / 並列処理システム / knowledge acquisition / parallel parsing / parallel natural language processing / semantic networks / semi-automatic ciassitication / case frame acquisition / a parallel semantic analysis / 並列形態素解析 / 活性制御 / 並列構文解析 / 並列意味処理 / 協調処理 / 曖昧性解消 / 予測 / 格構造 / 構文解析 / 意味処理 / 自然言語理解 / 協調 / 知識獲得 / 用例ベース / 並列自然言語処理 / 意味ネットワーク / 自動分類 / 格フレーム / 類似度計算 / Functional language / Dataflow architecture / Object system / Neural network / Massively parallel computation / デ-タ-フロ- / オブジェクトシステム / ニューラルネットワーク / Object Oriented Language / Functional Language / Image Understanding / Image Processing / Neural Network / Autonomous Multi-Processor System / Data flow / Massively Parallel Multi-Processor / プログラミング言語 / デ-タフロ-プロセッサ / 並列計算機 / 計算機ア-キテクチャ / 自然言語解析 / 信号処理 / オブジェクト指向言語 / 自律型非同期 / デ-タフロ- / 超並列マルチプロセッサ / 高信頼安心安全システム / 予備形式化 / 適用性の高い形式手法 / モデル化支援化ツール / 高適用形式手法 / モデル化支援ツール / ソフトウェアライフサイクル / アーキテクチャ指向モデル化 / 高適用性形式手法 / 高信頼安全安心システム / 導入方法 / ソフトウェア開発法プロセス / 文書品質改善支援 / 形式手法導入方法 / 形式手法人材育成 / 文書品質向上支援 / 形式手法適用支援ツール / 形式手法導入ガイド / 非形式的システム記述 / 形式的システム記述 / フォーマルメソッド適用 / 開発文書品質向上 / 産学連携 / ソフトウェア開発プロセス / フォーメルメソッド適用 Less
  • Research Projects

    (19 results)
  • Research Products

    (103 results)
  • Co-Researchers

    (30 People)
  •  Multi-thread scheduling mechanism for reducing execution and energy consumptionPrincipal Investigator

    • Principal Investigator
      Kusakabe Shigeru
    • Project Period (FY)
      2013 – 2015
    • Research Category
      Grant-in-Aid for Scientific Research (C)
    • Research Field
      Software
    • Research Institution
      Kyushu University
  •  Architecture Oriented Formal Approaches to High Quality Software Development

    • Principal Investigator
      Araki Keijiro
    • Project Period (FY)
      2012 – 2016
    • Research Category
      Grant-in-Aid for Scientific Research (S)
    • Research Field
      Software
    • Research Institution
      Kyushu University
  •  Study on Formal Methods Applicable to Practical Software Development

    • Principal Investigator
      ARAKI Keijiro
    • Project Period (FY)
      2009 – 2011
    • Research Category
      Grant-in-Aid for Scientific Research (B)
    • Research Field
      Software
    • Research Institution
      Kyushu University
  •  Operating system on commodity processor using continuation-based non-interruptible threadsPrincipal Investigator

    • Principal Investigator
      KUSAKABE Shigeru
    • Project Period (FY)
      2006 – 2008
    • Research Category
      Grant-in-Aid for Scientific Research (C)
    • Research Field
      Software
    • Research Institution
      Kyushu University
  •  System Modeling and Property Interference Analysis in Software Development

    • Principal Investigator
      ARAKI Keijiro
    • Project Period (FY)
      2004 – 2006
    • Research Category
      Grant-in-Aid for Scientific Research (B)
    • Research Field
      Software
    • Research Institution
      KYUSHU UNIVERCITY
  •  A Study of Parallel Distributed Processing Kernel Ware by a Principle of the Fine-grain Multi-thread Processing

    • Principal Investigator
      AMAMIYA Makoto
    • Project Period (FY)
      2003 – 2005
    • Research Category
      Grant-in-Aid for Scientific Research (A)
    • Research Field
      Software
    • Research Institution
      KYUSHU UNIVERSITY
  •  Real-time High Precision Multi-media Integration System Using Distributed Multi-sensor Network

    • Principal Investigator
      TANIGUCHI Rin-ichiro
    • Project Period (FY)
      2002 – 2004
    • Research Category
      Grant-in-Aid for Scientific Research (B)
    • Research Field
      Intelligent informatics
    • Research Institution
      KYUSHU UNIVERSITY
  •  高性能マルチスレッドアーキテクチャへの高レベルプログラミング言語の実装Principal Investigator

    • Principal Investigator
      日下部 茂
    • Project Period (FY)
      1999 – 2000
    • Research Category
      Grant-in-Aid for Encouragement of Young Scientists (A)
    • Research Field
      計算機科学
    • Research Institution
      Kyushu University
  •  Research for Developing a Personal Assistant System based on Multi-Agent Model

    • Principal Investigator
      AMAMIYA Makoto
    • Project Period (FY)
      1998 – 2000
    • Research Category
      Grant-in-Aid for Scientific Research (B).
    • Research Field
      Intelligent informatics
    • Research Institution
      KYUSHU UNIVERSITY
  •  Massively Parallel Computer and Declarative Language

    • Principal Investigator
      AMAMIYA Makoto
    • Project Period (FY)
      1997 – 1998
    • Research Category
      Grant-in-Aid for international Scientific Research
    • Research Field
      計算機科学
    • Research Institution
      KYUSHU UNIVERCITY
  •  A realistic model generation for virtual world construction using real-time image sequence

    • Principal Investigator
      TANIGUCNI Rin-ichiro
    • Project Period (FY)
      1997 – 1999
    • Research Category
      Grant-in-Aid for Scientific Research (B)
    • Research Field
      Intelligent informatics
    • Research Institution
      KYUSHU UNIVERSITY
  •  データフロー高並列言語による構造データ操作を伴う不均質計算の並列処理の研究Principal Investigator

    • Principal Investigator
      日下部 茂
    • Project Period (FY)
      1996
    • Research Category
      Grant-in-Aid for Encouragement of Young Scientists (A)
    • Research Field
      計算機科学
    • Research Institution
      Kyushu University
  •  ON A MODELING AND APPLICATION OF HIGH LEVEL VISUAL SEARCH

    • Principal Investigator
      TSURUTA Naoyuki
    • Project Period (FY)
      1996 – 1997
    • Research Category
      Grant-in-Aid for Scientific Research (C)
    • Research Field
      Intelligent informatics
    • Research Institution
      KYUSHU UNIVERSITY
  •  データフローベース高並列プログラミング言語の汎用並列計算機上の実装方式の研究Principal Investigator

    • Principal Investigator
      日下部 茂
    • Project Period (FY)
      1995
    • Research Category
      Grant-in-Aid for Encouragement of Young Scientists (A)
    • Research Field
      計算機科学
    • Research Institution
      Kyushu University
  •  マルチメディア指向超並列マシンアーキテクチャーとそのソフトウェア実用化の研究

    • Principal Investigator
      AMAMIYA Makoto
    • Project Period (FY)
      1994 – 1996
    • Research Category
      Grant-in-Aid for Scientific Research (A)
    • Research Field
      情報システム学(含情報図書館学)
    • Research Institution
      KYUSHU UNIVERSITY
  •  A research into advanced and high-speed multi-media understanding based on a parallel processing model

    • Principal Investigator
      TANIGUCHI Rinichiro
    • Project Period (FY)
      1993 – 1994
    • Research Category
      Grant-in-Aid for General Scientific Research (C)
    • Research Field
      Intelligent informatics
    • Research Institution
      KYUSHU UNIVERSITY
  •  Research for Massively Parallel Natural Language Understanding System

    • Principal Investigator
      AMAMIYA Makoto
    • Project Period (FY)
      1992 – 1994
    • Research Category
      Grant-in-Aid for General Scientific Research (B)
    • Research Field
      情報工学
    • Research Institution
      KYUSHU UNIVERSITY
  •  A research into fine-grained object systems for computer vision and neural networks

    • Principal Investigator
      TANIGUCHI Rin-ichiro
    • Project Period (FY)
      1991 – 1992
    • Research Category
      Grant-in-Aid for General Scientific Research (C)
    • Research Field
      情報工学
    • Research Institution
      KYUSHU UNIVERSITY
  •  Research on Massively Parallel Autonomous Multi-Processor System and Neural Network

    • Principal Investigator
      AMAMIYA Makoto
    • Project Period (FY)
      1989 – 1991
    • Research Category
      Grant-in-Aid for General Scientific Research (B)
    • Research Field
      計算機工学
    • Research Institution
      Kyushu University

All 2017 2016 2015 2014 2013 2012 2011 2010 2009 2008 2007 2006 2005 2004 2003 Other

All Journal Article Presentation Book

  • [Book] はじめての STAMP/STPA(実践編)~ システム思考に基づく新しい安全解析手法 ~2017

    • Author(s)
      日下部 茂、荒木 啓二郎、他
    • Total Pages
      82
    • Publisher
      情報処理推進機構
    • Data Source
      KAKENHI-PROJECT-24220001
  • [Book] はじめての STAMP/STPA ~ システム思考に基づく新しい安全解析手法 ~2016

    • Author(s)
      日下部 茂、荒木 啓二郎、他
    • Total Pages
      63
    • Publisher
      情報処理推進機構
    • Data Source
      KAKENHI-PROJECT-24220001
  • [Journal Article] Fairness and High Performance for Tasks in General Purpose Multicore Systems2016

    • Author(s)
      Samih M. Mostafa, Hirofumi Amano, Shigeru Kusakabe
    • Journal Title

      International Journal of Research and Reviews in Applied Sciences

      Volume: 29

    • Peer Reviewed / Open Access / Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-24220001
  • [Journal Article] Visualizing Betweenness Centrality of Process Area Networks in Process Improvement Model for Service Provider Organization, CMMI-SVC2015

    • Author(s)
      Shigeru Kusakabe
    • Journal Title

      International Journal of Information Engineering Express

      Volume: Vol.1, No.4 Pages: 131-140

    • Peer Reviewed / Open Access
    • Data Source
      KAKENHI-PROJECT-25330084
  • [Journal Article] ソフトウェア開発プロセス改善モデルCMMI-DEVの関連プロセス領域ネットワークの中心性分析2015

    • Author(s)
      日下部茂、林信宏、大森洋一、荒木啓二郎
    • Journal Title

      日本ソフトウェア科学会論文誌 コンピュータソフトウェア

      Volume: 32

    • NAID

      130005097120

    • Peer Reviewed / Acknowledgement Compliant / Open Access
    • Data Source
      KAKENHI-PROJECT-24220001
  • [Journal Article] Centrality Analysis of Related Process Areas in a Process Improvement Model CMMI-DEV2015

    • Author(s)
      日下部茂,林信宏,大森洋一,荒木啓二郎
    • Journal Title

      Computer Software

      Volume: 32 Issue: 3 Pages: 3_126-3_136

    • DOI

      10.11309/jssst.32.3_126

    • NAID

      130005097120

    • ISSN
      0289-6540
    • Language
      Japanese
    • Peer Reviewed / Acknowledgement Compliant / Open Access
    • Data Source
      KAKENHI-PROJECT-24220001, KAKENHI-PROJECT-25330084
  • [Journal Article] Visualizing Betweenness Centrality of Process Area Networks in Process Improvement Model for Service Provider Organization, CMMI-SVC2015

    • Author(s)
      Shigeru Kusakabe
    • Journal Title

      International Journal of Information Engineering Express, International Institute of Applied Informatics

      Volume: 1 Pages: 131-140

    • Peer Reviewed / Open Access
    • Data Source
      KAKENHI-PROJECT-24220001
  • [Journal Article] Monitoring Hadoop by Using IEEE1888 in Implementing Energy-Aware Thread Scheduling2014

    • Author(s)
      Hiroki Takasaki, Samih M. Mostafa, Shigeru Kusakabe
    • Journal Title

      Proc. of The 14th IEEE International Conference on Scalable Computing and Communications (ScalCom-2014),

      Volume: In CD

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-25330084
  • [Journal Article] Towards Maximizing Throughput for Multithreaded Processes in Linux2014

    • Author(s)
      Samih M. Mostafa, Shigeru Kusakabe
    • Journal Title

      International Journal of New Computer Architectures and their Applications (IJNCAA)

      Volume: 4(2) Pages: 70-78

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-25330084
  • [Journal Article] Developing Core Software Requirements of Energy Management System for Smart Campus with Advanced Software Engineering2014

    • Author(s)
      Shigeru Kusakabe, Hsin-Hung Lin, Yoichi Omori, Keijiro Araki
    • Journal Title

      International Journal of New Computer Architectures and their Applications

      Volume: 4 Pages: 48-55

    • Peer Reviewed / Open Access
    • Data Source
      KAKENHI-PROJECT-24220001
  • [Journal Article] Thread Weight Readjustment Scheduler: A Proportional Share CPU Scheduler for Multithreaded Processes2014

    • Author(s)
      Samih M. Mostafa, Shigeru Kusakabe
    • Journal Title

      Proc. of the 2nd International Conference on Smart Computing and Artificial Intelligence (ICSCAI 2014)

      Volume: In CD

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-25330084
  • [Journal Article] Towards Maximizing Throughput for Multithreaded Processes in Linux2014

    • Author(s)
      Samih M. Mostafa, Shigeru Kusakabe
    • Journal Title

      International Journal of New Computer Architectures and their Applications

      Volume: 4 Pages: 70-78

    • Peer Reviewed / Open Access
    • Data Source
      KAKENHI-PROJECT-24220001
  • [Journal Article] Applying Eco-Threading Framework to Memory-Intensive Hadoop Applications2014

    • Author(s)
      Hiroki Takasaki, Samih M. Mostafa, Shigeru Kusakabe
    • Journal Title

      Proc. of the 5th International Conference on Information Science and Applications

      Volume: 1 Pages: 192-195

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-25330084
  • [Journal Article] Preliminary Evaluation of Eco-Threading Framework for Commodity Platform2013

    • Author(s)
      Shouta Nagashima, Shigeru Kusakabe
    • Journal Title

      Proc. of IEEE International Green Computing Conference (IGCC)

      Volume: 1 Pages: 1-6

    • DOI

      10.1109/igcc.2013.6604498

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-25330084
  • [Journal Article] Towards Minimizing Processes Response Time in Interactive Systems2013

    • Author(s)
      SAMIH M. MOSTAFA, SHIGERU KUSAKABE
    • Journal Title

      International Journal of Computer Science and Information Technology Research (IJCSITR)

      Volume: 1 Pages: 65-73

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-25330084
  • [Journal Article] Performance Evaluation of A Testing Framework using QuickCheck and Hadoop2012

    • Author(s)
      Yusuke Wada and Shigeru Kusakabe
    • Journal Title

      情報処理学会論文誌

      Volume: 53(2) Pages: 557-565

    • NAID

      130002073594

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-21300009
  • [Journal Article] Initial Report of the Impact of Using Overture/VDM in a Development Process in an Architecture-Oriented Approach2012

    • Author(s)
      Shigeru Kusakabe
    • Journal Title

      Proc. of the 10th Overture Workshop

      Volume: CS-TR-1345 Pages: 38-41

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-24220001
  • [Journal Article] Large Volume Testing for Executable Formal Specification using Hadoop2011

    • Author(s)
      Shigeru Kusakabe
    • Journal Title

      Proc.16th International Workshop on HIPS : High-Level Parallel Programming Models and Supportive Environments

      Volume: (採録決定)

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-21300009
  • [Journal Article] 規律を重視したソフトウェア開発プロセストレーニングコースを利用した個人レベルでの形式手法導入の試み2011

    • Author(s)
      日下部茂
    • Journal Title

      ソフトウェア・シンポジウム2011論文集

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-21300009
  • [Journal Article] Facilitating consistency check between specification and implementation with map-reduce framework2011

    • Author(s)
      Shigeru Kusakabe
    • Journal Title

      Proc.of 9th Overture Workshop

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-21300009
  • [Journal Article] QuickCheckを用いるモデルベーステスト実行のためのMapReduce型テストフレームワークの提案2010

    • Author(s)
      生田裕樹, 日下部茂
    • Journal Title

      先進的計算基盤システムシンポジウムSACSIS2010論文集

      Pages: 193-200

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-21300009
  • [Journal Article] Validation of Stepwise Refinement with Test Cases Generated from Formal Specification2010

    • Author(s)
      Shinya Yamada, Keijiro Araki, Shigeru Kusakabe, Yoichi Omori
    • Journal Title

      Proc.IEEE Region 10 Conference (TENCON2010)

      Volume: (CD-ROM)

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-21300009
  • [Journal Article] Large Scale Random Testing with QuickCheck on MapReduce Framework2010

    • Author(s)
      Shigeru Kusakabe, et al.
    • Journal Title

      Proc. of 19th Workshop on Functional and Logic Programming

      Pages: 130-138

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-21300009
  • [Journal Article] Leveraging Light-Weight Formal Methods with Functional Programming Approach on Cloud2009

    • Author(s)
      Shigeru Kusakabe, et al.
    • Journal Title

      Proc. ICSOFT Vol. 1

      Pages: 264-268

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-21300009
  • [Journal Article] A Study of a Continuation-based Fine-grain Multithreaded Operating System CEFOS2009

    • Author(s)
      Shigeru Kusakabe, Hideo Taniguchi, Makoto Amamiya
    • Journal Title

      IEEE ISPASS'09, Workshop on Unique Chips and Systems予稿集 (採録済・掲載決定)

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-18500024
  • [Journal Article] Impact of priority bonuses of Inter-Core Aggregation Scheduler on a commodity CMP platform2009

    • Author(s)
      Satoshi Yamada, Shigeru Kusakabe
    • Journal Title

      Workshop on Managed Many-Core Systems (MMCS) co-located with ASPLOS'09

    • URL

      http://www.cercs.gatech.edu/mmcs09/program.htm

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-18500024
  • [Journal Article] A Study of a Continuation-based Fine-grain Multithreaded Operating System CEFOS2009

    • Author(s)
      Shigeru Kusakabe, Hideo Taniguchi, Makoto Amamiya
    • Journal Title

      Proc. of Workshop on Unique Chips and Systems co-located with IEEE ISPASS'09

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-18500024
  • [Journal Article] Effect of Context Aware Scheduler on TLB2008

    • Author(s)
      Satoshi Yamada, Shigeru Kusakabe
    • Journal Title

      IEEE IPDPS'08, Workshop on Multi-Threaded Architectures and Applications 予稿集

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-18500024
  • [Journal Article] Effect of Context Aware Scheduler on TLB2008

    • Author(s)
      Satoshi Yamada, Shigeru Kusakabe
    • Journal Title

      Proc. of Workshop on Multi-Threaded Architectures and Applications, (Proc. of IEEE International Parallel & Distributed Processing Symposium) (Published in CD)

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-18500024
  • [Journal Article] Scalability of Continuation-based Fine-grained Multithreading in Handling Multiple I/O Requests on Fuce2007

    • Author(s)
      Shigeru Kusakabe 他
    • Journal Title

      ACM CF07 計算機科学フロンティア国際会議予稿集 (CD)

    • Data Source
      KAKENHI-PROJECT-18500024
  • [Journal Article] Scalability of Continuation-based Fine-grained Multithreading in Handling Multiple I/O Requests on Fuce2007

    • Author(s)
      Shigeru Kusakabe 他6名
    • Journal Title

      Proc. of ACM Interna- tional Conference on Computing Frontiers

      Pages: 225-235

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-18500024
  • [Journal Article] OS Mechanism for Continuation-based Fine-grained Threads on Dedicated and Commodity Processors2007

    • Author(s)
      Shigeru Kusakabe 他
    • Journal Title

      マルチスレッドアーキテクチャとアプリケーションワークショップ予稿集(IEEE IPDPS2007 並列分散処理国際会議予稿集CDに収録) (CD)

    • Data Source
      KAKENHI-PROJECT-18500024
  • [Journal Article] Scalability of Continuation-based Fine-grained Multithreading in Handling Multiple I/O Requests on Fuce2007

    • Author(s)
      Shigeru Kusakabe, 他
    • Journal Title

      ACM Computing Frontiers 2007 (CD)

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-18500024
  • [Journal Article] OS Mechanism for Continuation-based Fine-grained Threads on Dedicated and Commodity Processors2007

    • Author(s)
      Shigeru Kusakabe 他7名
    • Journal Title

      Proc. of Workshop on Multi-Threaded Architectures Applications (Proc. of IEEE International Parallel & Distributed Processing Symposium) (Published in CD)

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-18500024
  • [Journal Article] On the Row Vectors of the Set of Multiple and Simultaneous Controls with Controlled Dan/Petri Nets2007

    • Author(s)
      Eleazar Jimenez, Shigeru Kusakabe, Keijiro Araki
    • Journal Title

      Proc.IMECS 2007 Vol.II

      Pages: 1516-1521

    • Description
      「研究成果報告書概要(欧文)」より
    • Data Source
      KAKENHI-PROJECT-16300007
  • [Journal Article] Impact of Wrapped System Call Mechanism on Commodity Processors2006

    • Author(s)
      Satoshi Yamada, Shigeru Kusakabe, Hideo Taniguchi, Makoto Amamiya
    • Journal Title

      Proc. of ICSOFT 2006 Vol.1

      Pages: 308-315

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-18500024
  • [Journal Article] Controlled Dan/Petri Nets for Modeling Multiple and Simultaneous Control of Discrete Event Systems2006

    • Author(s)
      Eleazar Jimenez Serrano Shigeru Kusakabe, Keijiro Araki
    • Journal Title

      Asian Journal of Information Technology Vol.5, No.10

      Pages: 1117-1125

    • Description
      「研究成果報告書概要(欧文)」より
    • Data Source
      KAKENHI-PROJECT-16300007
  • [Journal Article] Derivative Subnets of the Valid MSC Subnet Σc(q) of Conrolled Dan/Petri Nets2006

    • Author(s)
      Eleazar Jimenez Serrano Shigeru Kusakabe, Keijiro Araki
    • Journal Title

      Proc.European Modeling and Simulation Symposium

      Pages: 171-179

    • Description
      「研究成果報告書概要(欧文)」より
    • Data Source
      KAKENHI-PROJECT-16300007
  • [Journal Article] Extracting State Machines from Model-based Formal Specifications by Focusing on Data Types2006

    • Author(s)
      Kengo Miyoshi, Shideru Kusakabe, Keijiro Araki
    • Journal Title

      Computer Software(in Japanese) Vol.23, No.2

      Pages: 211-224

    • NAID

      130004892058

    • Description
      「研究成果報告書概要(欧文)」より
    • Data Source
      KAKENHI-PROJECT-16300007
  • [Journal Article] Evaluation of Fine-Grain System System Call Scheduling in CEFOS in Commodity Processors2005

    • Author(s)
      Shigeru Kusakabe et al.
    • Journal Title

      Workshop on Operating System Interference in High Performance Applications

      Pages: 19-24

    • Data Source
      KAKENHI-PROJECT-16300007
  • [Journal Article] 継続概念を用いたゼロWAIT方式によるOS構成法の提案2005

    • Author(s)
      日下部茂 他
    • Journal Title

      情報処理学会研究報告,2005-OS-99 Vol. 99

      Pages: 69-76

    • Description
      「研究成果報告書概要(和文)」より
    • Data Source
      KAKENHI-PROJECT-16300007
  • [Journal Article] Evaluation of Fine-Grain System System Call Scheduling in CEFOS in Commodity Processors2005

    • Author(s)
      Shigeru Kusakabe et al.
    • Journal Title

      Workshop on Operating System Interference in High Performance Applications (CD-ROM)

    • Description
      「研究成果報告書概要(欧文)」より
    • Data Source
      KAKENHI-PROJECT-15200002
  • [Journal Article] Analyzing Behaviors in VDM Specifications by Focusing on User-defined Types2005

    • Author(s)
      Kengo Miyoshi, Satoru Hirachi, Shigeru Kusakabe, Keijiro Araki
    • Journal Title

      Proc.2005 International Conference on Dependable Systems and Networks, Workshop on Dependable Software-Tools and Methods

      Pages: 235-240

    • Description
      「研究成果報告書概要(欧文)」より
    • Data Source
      KAKENHI-PROJECT-16300007
  • [Journal Article] 継続概念を用いたゼロWAIT方式によるOS構成法の提案2005

    • Author(s)
      日下部茂 他
    • Journal Title

      情報処理学会研究報告,2005-OS-99 Vol.99

      Pages: 69-76

    • Data Source
      KAKENHI-PROJECT-16300007
  • [Journal Article] Prototype in high-level language as executable specification2005

    • Author(s)
      Shigeru KUSAKABE et al.
    • Journal Title

      Proceedings of the 7th International Workshop on Future Software Technologies

    • Data Source
      KAKENHI-PROJECT-16300007
  • [Journal Article] Evaluation of Fine-Grain System System Call Scheduling in CEFOS in Commodity Processors2005

    • Author(s)
      Shigeru Kusakabe et al.
    • Journal Title

      Workshop on Operating System Interference in High Performance Applications CD-ROM

    • Description
      「研究成果報告書概要(和文)」より
    • Data Source
      KAKENHI-PROJECT-15200002
  • [Journal Article] Behavial Verification for VDM Specifications with Functional Languages and Model Checking2004

    • Author(s)
      Satoru Hirachi, Kengo Miyoshi, Shigeru Kusakabe, Keijiro Araki
    • Journal Title

      Proc.Software Symposium 2004(in Japanese)

      Pages: 48-52

    • Description
      「研究成果報告書概要(欧文)」より
    • Data Source
      KAKENHI-PROJECT-16300007
  • [Journal Article] Software Development with EMbedded UML and VDM2004

    • Author(s)
      Kazuya Tabata, Yoichi Omori, Shigeru Kusakabe, Keijiro Araki
    • Journal Title

      Proc.Software Japan 2004(in Japanese)

      Pages: 23-30

    • Description
      「研究成果報告書概要(欧文)」より
    • Data Source
      KAKENHI-PROJECT-16300007
  • [Journal Article] A Case Study of Software Development with eUML and VDM++2004

    • Author(s)
      Kazuya Tabata, Yoichi Omori, Shigeru Kusakabe, Keijiro Araki
    • Journal Title

      Proc.of 3rd International Workshop on Critical Systems Development with UML

      Pages: 155-156

    • Description
      「研究成果報告書概要(欧文)」より
    • Data Source
      KAKENHI-PROJECT-16300007
  • [Journal Article] Multi-Aspect System Analysis Using State Machines Extracted from Specifications in VDM-SL2004

    • Author(s)
      Kengo Miyoshi, Satoru Hirachi, Shigeru Kusakabe, Keijiro Araki
    • Journal Title

      International Symposium on Future Software Technology 2004

      Pages: 200-205

    • NAID

      120006655352

    • Description
      「研究成果報告書概要(欧文)」より
    • Data Source
      KAKENHI-PROJECT-16300007
  • [Journal Article] Fine-grained System-Call Scheduling in CEFOS on Commodity Processors2003

    • Author(s)
      Shigeru Kusakabe et al.
    • Journal Title

      PPAM 2003 FIFTH INTERNATIONAL CONFERENCE ON PARALLEL PROCESSING AND APPLIED MATHEMATICS

      Pages: 14-19

    • Description
      「研究成果報告書概要(和文)」より
    • Data Source
      KAKENHI-PROJECT-15200002
  • [Journal Article] Development of a Thread Scheduler for Global Aggregation of Sibling Threads

    • Author(s)
      Satoshi Yamada, Shigeru Kusakabe
    • Journal Title

      Research Reports on Information Science and Electrical Engineering of Kyushu University Vol.13, No.2

      Pages: 69-74

    • NAID

      120005752829

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-18500024
  • [Presentation] 形式仕様記述を用いた系統的なプロパティベーステストの活用2017

    • Author(s)
      馬場 勇輔、荒木 啓二郎、日下部 茂、大森 洋一
    • Organizer
      情報処理学会 ウィンターワークショップ 2017
    • Place of Presentation
      岐阜県 高山市
    • Year and Date
      2017-01-19
    • Data Source
      KAKENHI-PROJECT-24220001
  • [Presentation] 要求辞書としての形式手法詳細化手法の提案2017

    • Author(s)
      幡 亮介、大森 洋一、荒木 啓二郎、日下部 茂
    • Organizer
      情報処理学会 ウィンターワークショップ 2017
    • Place of Presentation
      岐阜県 高山市
    • Year and Date
      2017-01-19
    • Data Source
      KAKENHI-PROJECT-24220001
  • [Presentation] 形式仕様記述のプロパティベーステストへの活用2016

    • Author(s)
      馬場勇輔, 荒木啓二郎, 日下部茂, 大森洋一
    • Organizer
      情報処理学会 火の国シンポジウム
    • Place of Presentation
      宮崎市
    • Year and Date
      2016-03-03
    • Data Source
      KAKENHI-PROJECT-24220001
  • [Presentation] 形式手法と、モバイルやアジャイル2016

    • Author(s)
      日下部 茂
    • Organizer
      長崎 Software Quality & Development Gathering 2016
    • Place of Presentation
      長崎市
    • Year and Date
      2016-10-07
    • Invited
    • Data Source
      KAKENHI-PROJECT-24220001
  • [Presentation] Nationality Based Context-Aware Scenario of Cultural Heritage Guidance as Informal Learning2016

    • Author(s)
      Abdul Kadir Jailani, Keijiro Araki, Shigeru Kusakabe
    • Organizer
      Fifth International Conference on E-Learning and E-Technologies in Education
    • Place of Presentation
      Kuala Lumpur, Malaysia
    • Year and Date
      2016-09-06
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-24220001
  • [Presentation] KAOSからのモデル変換に基づく形式仕様構築手法の一般化2016

    • Author(s)
      岩本侑也、大森洋一、林信宏、日下部茂、荒木啓二郎
    • Organizer
      情報処理学会 ソフトウェア工学研究会
    • Place of Presentation
      吹田市
    • Year and Date
      2016-03-14
    • Data Source
      KAKENHI-PROJECT-24220001
  • [Presentation] STAMP モデリングによるプロセス先行指標の活用2016

    • Author(s)
      日下部 茂
    • Organizer
      ソフトウェア技術者協会 第 36 回ソフトウェアシンポジウム
    • Place of Presentation
      米子市
    • Year and Date
      2016-06-05
    • Data Source
      KAKENHI-PROJECT-24220001
  • [Presentation] Fairness Scheduler for Multithreaded Programs in Virtual Machine Environment2016

    • Author(s)
      Samih M. Mostafa, Shigeru Kusakabe, Hirofumi Amano
    • Organizer
      Fourth International Japan-Egypt Conference on Electronics, Communications and Computers (JEC-ECC 2016)
    • Place of Presentation
      Cairo
    • Year and Date
      2016-05-31
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-25330084
  • [Presentation] Pre-Formal メソッドとしてのSTAMP モデリング2016

    • Author(s)
      日下部茂, 荒木啓二郎
    • Organizer
      第13回クリティカルソフトウェアワークショップ
    • Place of Presentation
      東京
    • Year and Date
      2016-01-20
    • Data Source
      KAKENHI-PROJECT-24220001
  • [Presentation] Pre-Formal メソッドとしてのSTAMP モデリング2016

    • Author(s)
      日下部茂, 荒木啓二郎
    • Organizer
      クリティカルソフトウェアワークショップ
    • Place of Presentation
      東京
    • Year and Date
      2016-01-20
    • Data Source
      KAKENHI-PROJECT-25330084
  • [Presentation] システム理論的因果律モデルに基づくプロセス改善分2016

    • Author(s)
      日下部 茂
    • Organizer
      第 14 回クリティカルソフトウェアワークショップ
    • Place of Presentation
      東京
    • Year and Date
      2016-12-12
    • Data Source
      KAKENHI-PROJECT-24220001
  • [Presentation] Analyzing Key Process Areas in Process Improvement Model for Service Provider Organization, CMMI-SVC2015

    • Author(s)
      Shigeru Kusakabe
    • Organizer
      International Conference on E-Service and Knowledge Management (ESKM 2015)
    • Place of Presentation
      Okayama
    • Year and Date
      2015-07-13
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-25330084
  • [Presentation] 式仕様記述からテスト設計してみた2015

    • Author(s)
      片山 徹郎、日下部 茂、栗田 太郎
    • Organizer
      ソフトウェアテストシンポジウム2015
    • Place of Presentation
      東京
    • Year and Date
      2015-02-20
    • Invited
    • Data Source
      KAKENHI-PROJECT-24220001
  • [Presentation] VDM++仕様から自動生成したJavaコードの振る舞い検証手法の提案2015

    • Author(s)
      大森洋一、林信宏、日下部茂、荒木啓二郎
    • Organizer
      情報処理学会ソフトウェア工学研究会
    • Place of Presentation
      川崎市
    • Year and Date
      2015-06-04
    • Data Source
      KAKENHI-PROJECT-24220001
  • [Presentation] Spinを用いたVDM仕様に対するモデル検査適用手法2015

    • Author(s)
      林信宏、大森洋一、日下部茂、荒木啓二郎
    • Organizer
      情報処理学会 ソフトウェア工学研究会
    • Place of Presentation
      札幌市
    • Year and Date
      2015-07-22
    • Data Source
      KAKENHI-PROJECT-24220001
  • [Presentation] Adaptive Context-Awareness Model for Cultural Heritage Information based on User Needs2015

    • Author(s)
      Abdul Kadir Jailani, Shigeru Kusakabe and Keijiro Araki
    • Organizer
      4th International Conference on Learning Technologies and Learning Environments
    • Place of Presentation
      岡山市
    • Year and Date
      2015-07-15
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-24220001
  • [Presentation] 大学機関調査研究 IR へのデータ管理成熟度モデル DMM の軽量な適用2015

    • Author(s)
      日下部 茂,大石 哲也,森 雅生,高田 英一
    • Organizer
      ソフトウェア技術者協会 ソフトウェアシンポジウム
    • Place of Presentation
      和歌山市
    • Year and Date
      2015-06-15
    • Data Source
      KAKENHI-PROJECT-24220001
  • [Presentation] Visualizing Centrality of Process Area Networks in CMMI-DEV2015

    • Author(s)
      Shigeru Kusakabe, Hsin-Hung Lin, Yoichi Omori and Keijiro Araki
    • Organizer
      International Conference on Software and Systems Process
    • Place of Presentation
      エストニア タリン
    • Year and Date
      2015-08-26
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-24220001
  • [Presentation] Analyzing Key Process Areas in Process Improvement Model for Service Provider Organization2015

    • Author(s)
      Shigeru Kusakabe
    • Organizer
      6th International Conference on E-Service and Knowledge Management
    • Place of Presentation
      岡山市
    • Year and Date
      2015-07-15
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-24220001
  • [Presentation] Using Hazard Analysis STAMP/STPA in Developing Model-oriented Formal Specifications Toward Reliable Cloud Service2015

    • Author(s)
      Akihiro Hata, Keijiro Araki, Shigeru Kusakabe, Yoichi Omori, Hsin-Hung Lin
    • Organizer
      International Conference on Platform Technology and Service
    • Place of Presentation
      韓国 済州島
    • Year and Date
      2015-01-28
    • Data Source
      KAKENHI-PROJECT-24220001
  • [Presentation] 自然言語ドキュメントの形式化モデリングについて2015

    • Author(s)
      林信宏、大森洋一、日下部茂、荒木啓二郎
    • Organizer
      日本ソフトウェア科学会 ソフトウェア工学の基礎研究会
    • Place of Presentation
      天童市
    • Year and Date
      2015-11-26
    • Data Source
      KAKENHI-PROJECT-24220001
  • [Presentation] ポットの例題による「手軽さ」を考慮したフォーマルメソッド適用の検討2015

    • Author(s)
      大森洋一、林信宏、日下部茂、荒木啓二郎
    • Organizer
      情報処理学会 ソフトウェア工学研究会
    • Place of Presentation
      福岡市
    • Year and Date
      2015-12-15
    • Data Source
      KAKENHI-PROJECT-24220001
  • [Presentation] Visualizing Centrality of Process Area Networks in CMMI-DEV2015

    • Author(s)
      Shigeru Kusakabe, Hsin-Hung Lin, Yoichi Omori, Keijiro Araki
    • Organizer
      International Conference on Software and Systems Process (ICSSP 2015)
    • Place of Presentation
      Tallinn
    • Year and Date
      2015-08-24
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-25330084
  • [Presentation] VDM++要求仕様に対する網羅的テストによるスレッド安全性の確認2015

    • Author(s)
      大森洋一、林信宏、荒木啓二郎、日下部茂
    • Organizer
      日本ソフトウェア科学会 ソフトウェア工学の基礎研究会
    • Place of Presentation
      天童市
    • Year and Date
      2015-11-26
    • Data Source
      KAKENHI-PROJECT-24220001
  • [Presentation] Monitoring Hadoop by Using IEEE1888 in Implementing Energy-Aware Thread Scheduling2014

    • Author(s)
      Hiroaki Takasaki, Samih M. Mostafa, Shigeru Kusakabe
    • Organizer
      IEEE International Conference on Scalable Computing and Communications
    • Place of Presentation
      インドネシア バリ
    • Year and Date
      2014-12-10
    • Data Source
      KAKENHI-PROJECT-24220001
  • [Presentation] Prototyping Core Software of Energy Management System for Smart Campus with Advanced Software Engineering Methods2014

    • Author(s)
      Shigeru Kusakabe
    • Organizer
      2nd International Conference on Green Computing, Technology and Innovation
    • Place of Presentation
      Kuala Lumpur, Malaysia
    • Data Source
      KAKENHI-PROJECT-24220001
  • [Presentation] 新しいハザード分析手法STAMP/STPAのクラウドサービスへの適用試行2014

    • Author(s)
      日下部 茂
    • Organizer
      情報処理学会 九州支部 火の国情報シンポジウム2014
    • Place of Presentation
      大分市
    • Data Source
      KAKENHI-PROJECT-24220001
  • [Presentation] Generating Supportive Hypotheses in Introducing Formal Methods using a Software Processes Improvement Model2014

    • Author(s)
      Shigeru Kusakabe, Hsin-Hung Lin, Yoichi Omori, Keijiro Araki
    • Organizer
      2nd FME Workshop on Formal Methods in Software Engineering
    • Place of Presentation
      インド ハイデラバード
    • Year and Date
      2014-06-03
    • Data Source
      KAKENHI-PROJECT-24220001
  • [Presentation] Requirements Development of Energy Management System for a Unit in Smart Campus2014

    • Author(s)
      Shigeru Kusakabe, Hsin-Hung Lin, Yoichi Omori, Keijiro Araki
    • Organizer
      3rd International Conference on Institutional Research and Institutional Management
    • Place of Presentation
      北九州市
    • Year and Date
      2014-09-02
    • Data Source
      KAKENHI-PROJECT-24220001
  • [Presentation] Thread Weight Readjustment Scheduler: A Proportional Share CPU Scheduler for Multithreaded Processes2014

    • Author(s)
      Samih M. Mostafa, Shigeru Kusakabe
    • Organizer
      2nd International Conference on Smart Computing and Artificial Intelligence
    • Place of Presentation
      北九州市
    • Year and Date
      2014-09-02
    • Data Source
      KAKENHI-PROJECT-24220001
  • [Presentation] プロセス改善における形式手法の活用の検討2013

    • Author(s)
      日下部 茂
    • Organizer
      ソフトウェア・シンポジウム 2013
    • Place of Presentation
      岐阜市
    • Data Source
      KAKENHI-PROJECT-24220001
  • [Presentation] ソフトウェア開発プロセスモデルを用いた形式手法導入の検討2013

    • Author(s)
      日下部 茂
    • Organizer
      情報処理学会 ソフトウェア工学研究会
    • Place of Presentation
      金沢市
    • Data Source
      KAKENHI-PROJECT-24220001
  • [Presentation] Illustrating the Effect of Formal Methods on Software Process with a Standard Model2013

    • Author(s)
      Shigeru Kusakabe
    • Organizer
      International Conference on Advanced Software Engineering and Information Systems
    • Place of Presentation
      Jakarta, Indonesia
    • Data Source
      KAKENHI-PROJECT-24220001
  • [Presentation] Achieving Better Fairness for Multithreaded Programs in Linux using Group Threads Scheduler2013

    • Author(s)
      SAMIH M. MOSTAFA, SHIGERU KUSAKABE
    • Organizer
      International Workshop on ICT
    • Place of Presentation
      Beppu
    • Data Source
      KAKENHI-PROJECT-25330084
  • [Presentation] 規律を重視したソフトウェア開発プロセストレーニングコースを利用した個人レベルでの形式手法導入の試み2011

    • Author(s)
      日下部茂
    • Organizer
      ソフトウェア・シンポジウム2011論文集
    • Place of Presentation
      長崎市
    • Data Source
      KAKENHI-PROJECT-21300009
  • [Presentation] Facilitating consistency check between specification and implementation with map-reduce framework2011

    • Author(s)
      Shigeru Kusakabe
    • Organizer
      Proc. 9th Overture Workshop
    • Place of Presentation
      Limerick Ireland
    • Data Source
      KAKENHI-PROJECT-21300009
  • [Presentation] 大学での科学・工学的アプローチ例,ソフトウェア・シンポジウム20102010

    • Author(s)
      日下部茂
    • Organizer
      ワーキング・グループ「ソフトウェアプロセス改善次の10年」
    • Place of Presentation
      横浜市
    • Data Source
      KAKENHI-PROJECT-21300009
  • [Presentation] JUnit向け単体テストを対象としたMapReduce型並列分散実行フレームワークの提案2010

    • Author(s)
      和田祐介、大森洋一、日下部茂、荒木啓二郎
    • Organizer
      ソフトウェア・シンポジウム2010
    • Place of Presentation
      横浜
    • Data Source
      KAKENHI-PROJECT-21300009
  • [Presentation] 応用行動分析学の知見を用いた形式手法導入2010

    • Author(s)
      日下部茂
    • Organizer
      ソフトウェアエンジニアリングシンポジウム・2010形式手法ワークショップ:形式手法の産業応用に向けて
    • Place of Presentation
      東京
    • Year and Date
      2010-08-30
    • Data Source
      KAKENHI-PROJECT-21300009
  • [Presentation] JUnit向け単体テストを対象としたMapReduce型並列分散実行フレームワークの提案2010

    • Author(s)
      和田祐介、大森洋一、日下部茂、荒木啓二郎
    • Organizer
      情報処理学会ソフトウェア工学研究会
    • Place of Presentation
      東京
    • Year and Date
      2010-06-01
    • Data Source
      KAKENHI-PROJECT-21300009
  • [Presentation] 状態遷移図の同期モデルへの詳細化および検証手法2010

    • Author(s)
      大森洋一、園田貴大、日下部茂、荒木啓二郎
    • Organizer
      情報処理学会ソフトウェア工学研究会
    • Place of Presentation
      大阪
    • Year and Date
      2010-11-11
    • Data Source
      KAKENHI-PROJECT-21300009
  • [Presentation] 大学での科学・工学的アプローチ例2010

    • Author(s)
      日下部茂
    • Organizer
      ソフトウェア・シンポジウム2010
    • Place of Presentation
      横浜
    • Data Source
      KAKENHI-PROJECT-21300009
  • [Presentation] Impact of priority bonuses of Inter-Core Aggregation Scheduler on a commodity CMP platform2009

    • Author(s)
      Satoshi Yamada, Shigeru Kusakabe
    • Organizer
      ASPLOS'09, Workshop on Managed Many-Core Systems (MMCS)
    • Place of Presentation
      米国ワシントンDC
    • Year and Date
      2009-03-07
    • Data Source
      KAKENHI-PROJECT-18500024
  • [Presentation] Leveraging Light-Weight Formal Methods with Functional Programming Approach on Cloud2009

    • Author(s)
      Shigeru Kusakabe
    • Organizer
      Proc. 4th International Conference on Software and Data Technologies
    • Place of Presentation
      Sofia Bulgaria
    • Data Source
      KAKENHI-PROJECT-21300009
  • [Presentation] Zero-Wait方式を用いた多重I/O要求に対する高並列処理の提案と評価2007

    • Author(s)
      青野光洋, 泉雅昭, 松崎隆哲, 日下部茂, 乃村能成, 谷口秀夫, 雨宮真人
    • Organizer
      火の国情報シンポジウム予稿集(in CD, C-2-4)
    • Place of Presentation
      鹿児島
    • Data Source
      KAKENHI-PROJECT-18500024
  • [Presentation] 高多重処理におけるスループット向上のためのスケジューリング機構の検証2007

    • Author(s)
      山田賢, 日下部茂, 谷口秀夫
    • Organizer
      火の国情報シンポジウム予稿集(in CD, A-2-3)
    • Place of Presentation
      鹿児島
    • Data Source
      KAKENHI-PROJECT-18500024
  • [Presentation] アドレス空間を共有するスレッドの空間的な集約を行うスケジューラの評価(,Vol.2007, No.10, 41-48)2007

    • Author(s)
      山田賢, 日下部茂
    • Organizer
      第104回情報処理学会研究報告2007-OS-104
    • Place of Presentation
      滋賀
    • Data Source
      KAKENHI-PROJECT-18500024
  • [Presentation] Zero-Wait方式による多数のI/O要求に対する処理のFuce上での実現と評価(Vol.2006 No.86, 25-32)2006

    • Author(s)
      青野光洋, 泉雅昭, 松崎隆哲, 日下部茂, 乃村能成, 谷口秀夫, 雨宮真人
    • Organizer
      情報処理学会システムソフトウェアとオペレーティング・システム研究発表会報告(2006-OS-103)
    • Place of Presentation
      高知
    • Data Source
      KAKENHI-PROJECT-18500024
  • [Presentation] Illustrating the Effect of Formal Methods on Software Processes with Standard Process Models

    • Author(s)
      Shigeru Kusakabe
    • Organizer
      Joint Seminar on Architecture-Oriented Formal Methods
    • Place of Presentation
      Fukuoka, Japan
    • Data Source
      KAKENHI-PROJECT-24220001
  • [Presentation] Applying Eco-Threading Framework to Memory-Intensive Hadoop Applications

    • Author(s)
      Hiroaki Takasaki, Samih M. Mostafa, Shigeru Kusakabe
    • Organizer
      5th International Conference on Information Science and Applications
    • Place of Presentation
      韓国 ソウル
    • Year and Date
      2014-05-06 – 2014-05-09
    • Data Source
      KAKENHI-PROJECT-24220001
  • [Presentation] Generating Supportive Hypotheses in Introducing Formal Methods using a Software Processes Improvement Model

    • Author(s)
      Shigeru Kusakabe
    • Organizer
      2nd FME Workshop on Formal Methods in Software Engineering
    • Place of Presentation
      Hyderabad, India
    • Data Source
      KAKENHI-PROJECT-24220001
  • 1.  TANIGUCHI Rin-ichiro (20136550)
    # of Collaborated Projects: 9 results
    # of Collaborated Products: 0 results
  • 2.  TSURUTA Naoyuki (60227478)
    # of Collaborated Projects: 8 results
    # of Collaborated Products: 0 results
  • 3.  AMAMIYA Makoto (90202697)
    # of Collaborated Projects: 7 results
    # of Collaborated Products: 0 results
  • 4.  MINE Tsunenori (30243851)
    # of Collaborated Projects: 5 results
    # of Collaborated Products: 0 results
  • 5.  ARAKI Keijiro (40117057)
    # of Collaborated Projects: 3 results
    # of Collaborated Products: 33 results
  • 6.  OMORI Yoichi (20309727)
    # of Collaborated Projects: 3 results
    # of Collaborated Products: 21 results
  • 7.  TOMIYASU Hiroshi (50284550)
    # of Collaborated Projects: 3 results
    # of Collaborated Products: 0 results
  • 8.  GYOUBA Jiro (50142899)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 0 results
  • 9.  HASEGAWA Ryuzo (20274483)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 0 results
  • 10.  ARITA Daisuke (70304756)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 0 results
  • 11.  MOCHIO Hiroshi (60331013)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 0 results
  • 12.  CHANG Han-Myung (90329756)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 0 results
  • 13.  YOSHIDA Norihiko (00182775)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 0 results
  • 14.  FUKUDA Akira (80165282)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 0 results
  • 15.  NAKATOH Tetsuya (20253502)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 0 results
  • 16.  FUJITA Hiroshi (70284552)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 0 results
  • 17.  SUGANUMA Akira (70235852)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 0 results
  • 18.  TANIGUCHI Hideo (70253507)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 0 results
  • 19.  MIYAZAKI Akio (70192763)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 20.  MAKINOUCHI Akifumi (30221576)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 21.  KOSHIMURA Miyuki (30274492)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 22.  KAMATA Seiichiro (00204602)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 23.  TSUTSUMI Fujio (70371664)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 24.  NAKANISHI Tsuneo (70311785)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 25.  山本 修一郎 (20523294)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 26.  片山 徹郎 (50283932)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 1 results
  • 27.  河口 英二 (90038000)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 28.  日高 達 (30037931)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 29.  LIN Hsin-Hung
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 12 results
  • 30.  ODA Tomohiro
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results

URL: 

Are you sure that you want to link your ORCID iD to your KAKEN Researcher profile?
* This action can be performed only by the researcher himself/herself who is listed on the KAKEN Researcher’s page. Are you sure that this KAKEN Researcher’s page is your page?

この研究者とORCID iDの連携を行いますか?
※ この処理は、研究者本人だけが実行できます。

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi