• 研究課題をさがす
  • 研究者をさがす
  • KAKENの使い方
  1. 前のページに戻る

前田 俊行  Maeda Toshiyuki

ORCIDORCID連携する *注記
研究者番号 50436557
所属 (現在) 2025年度: 千葉工業大学, 人工知能・ソフトウェア技術研究センター, 副所長
所属 (過去の研究課題情報に基づく) *注記 2015年度: 国立研究開発法人理化学研究所, 計算科学研究機構, チームリーダー
2013年度 – 2014年度: 独立行政法人理化学研究所, 計算科学研究機構, チームリーダー
審査区分/研究分野
研究代表者
ソフトウェア
キーワード
研究代表者
プログラミング言語 / プログラム検証 / 型システム / メモリ一貫性モデル
  • 研究課題

    (1件)
  • 研究成果

    (5件)
  •  ゆるいメモリ一貫性モデルのための簡潔で柔軟な型システムに関する研究研究代表者

    • 研究代表者
      前田 俊行
    • 研究期間 (年度)
      2013 – 2015
    • 研究種目
      若手研究(B)
    • 研究分野
      ソフトウェア
    • 研究機関
      国立研究開発法人理化学研究所

すべて 2016 2015 2014 2013 その他

すべて 雑誌論文 学会発表

  • [雑誌論文] A General Model Checking Framework for Various Memory Consistency Models2016

    • 著者名/発表者名
      Tatsuya Abe and Toshiyuki Maeda
    • 雑誌名

      International Journal on Software Tools for Technology Transfer

      巻: TBD

    • 査読あり / 謝辞記載あり
    • データソース
      KAKENHI-PROJECT-25730050
  • [学会発表] Towards a Unified Verification Theory for Various Memory Consistency Models2015

    • 著者名/発表者名
      Tatsuya Abe and Toshiyuki Maeda
    • 学会等名
      6th Workshop on Syntax and Semantics of Low-Level Languages
    • 発表場所
      Kyoto, Japan
    • 年月日
      2015-07-05
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-25730050
  • [学会発表] A general model checking framework for various memory consistency models2014

    • 著者名/発表者名
      Tatsuya Abe and Toshiyuki Maeda
    • 学会等名
      19th International Workshop on High-Level Parallel Programming Models and Supportive Environments
    • 発表場所
      Phoenix, Arizona, USA
    • 年月日
      2014-05-09
    • データソース
      KAKENHI-PROJECT-25730050
  • [学会発表] Model Checking with User-Definable Memory Consistency Models2013

    • 著者名/発表者名
      Tatsuya Abe and Toshiyuki Maeda
    • 学会等名
      7th International Conference on PGAS Programming Models
    • 発表場所
      Edinburgh, Scotland, UK
    • データソース
      KAKENHI-PROJECT-25730050
  • [学会発表] Optimization of a general model checking framework for various memory consistency models

    • 著者名/発表者名
      Tatsuya Abe and Toshiyuki Maeda
    • 学会等名
      8th International Conference on Partitioned Global Address Space Programming Models
    • 発表場所
      Eugene, Oregon, USA
    • 年月日
      2014-10-07 – 2014-10-10
    • データソース
      KAKENHI-PROJECT-25730050

URL: 

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

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?

サービス概要 検索マニュアル よくある質問 お知らせ 利用規程 科研費による研究の帰属

Powered by NII kakenhi