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

ISHIURA Nagisa  石浦 菜岐佐

ORCIDConnect your ORCID iD *help
… Alternative Names

Nagisa ISHIURA  石浦 菜岐佐

Less
Researcher Number 60193265
External Links
Affiliation (Current) 2022: 関西学院大学, 工学部, 教授
Affiliation (based on the past Project Information) *help 2021: 関西学院大学, 工学部, 教授
2013 – 2020: 関西学院大学, 理工学部, 教授
2008 – 2010: Kwansei Gakuin University, 理工学部, 教授
2002 – 2004: Kwansei Gakuin University School of Science and Technology, 理工学部, 教授
1998 – 2001: Osaka University, Department of Information Systems Engineering Associate Professor, 大学院・工学研究科, 助教授 … More
1994 – 1997: 大阪大学, 工学部, 助教授
1991 – 1992: Osaka University, Faculty of Engineering, Lecturer, 工学部, 講師
1987 – 1990: Research Associate, Faculty of Engineering, Kyoto University, 工学部, 助手 Less
Review Section/Research Field
Principal Investigator
計算機科学 / Computer system/Network / Computer system / Basic Section 60040:Computer system-related
Except Principal Investigator
計算機工学 / 情報工学 / 情報通信工学 / System engineering
Keywords
Principal Investigator
DSP / 高位合成 / 二分決定グラフ / 論理関数 / 組み込みシステム / リターゲッタブルコンパイラ / 組込みプロセッサ / マルチコア / 組込みシステム / ディジタル信号処理 … More / 協調設計 / retargetable compiler / digital signal processing / embedded processor / codesign / ASIP Meister / 論理回路 / 論理合成 / 設計検証 / モデルチェッキング / マイクロプロセッサ / 機能合成 / アーキテクチャ設計 / 動作合成 / HW/SW協調設計 / ハードウェア / ソフトウェア協調設計 / ANSI-C / 組込みシスラム設計 / ソフトウェア互換ハードウェア / ソフトウェア / ハードウェア協調設計 / 組み込みシステム設計 / コンパイラ / ランダムテスト / テストスイート / 等価変換 / 不具合検出 / 最適化機会抽出 / Orange4 / CF3 / 最適化機会検出 / 期待値計算 / Orange3 / Cコンパイラ / 算術最適化 / アセンブリの記号実行 / 制御合成 / high-level synthesis / control synthesis / embedded systems / code compression / 組み込みプロセッサ / ターゲッタブルコンパイラ / VLIWアーキテクチャ / カスタムプロセッサ / Retargetable Compiler / VLIW Architecture / Custom Processor / Embedded System / バイナリ合成 / 割り込み処理 / 分散制御 / 動的スケジューリング / 投機的実行 / バインディング / 関数型言語からの高位合成 / IoT / 割り込み処理のハードウェア化 / RTOSのハードウェア化 / Erlang / 割込み処理のハードウェア化 / MIPS / リアルタイムシステム / リアルタイムOS / フルハードウェア実装 … More
Except Principal Investigator
VLSI / 論理設計検証 / Logic Design Verification / 時相論理 / 記号シミュレ-ション / Temporal Logic / 論理シミュレ-ション / Logic Simulation / VLSI implementation / MPEG-4 / 形式的検証 / 論理設計 / 仕様記述 / Formal Verification / Logic Design / タイミング検証 / Timing Verification / Symbolic Simulation / 二分決定グラフ / 計算機援用設計 / Binary Decision Diagram / CAD / 故障シミュレ-ション / MPEG2 / MPEG / 低消費電力 / low power / retargetable compiler / 論理シミュレーション / モデル検査 / 設計検証 / 正則集合 / 順序機械 / 共有二分決定グラフ / Model Checking / 非同期式順序回路 / ハザ-ド / 論立設計検証 / Asynchronous Sequential Circuit / Hazard / 論理関数 / 論理関数処理 / 計算複雑さ / Boolean Function / Boolean Function Manipulation / computer Aided Design / Computational complexity / 並列処理 / 回路シミュレ-ション / 自動配線 / VLSI自動配線 / Computer-Aided Design / Parallel Processing / Circuit Simulation / Logic simulation / Fault / Simulation / Routing / 計算機援設計 / ベクトル計算機 / Computer Aided Design / 高位合成 / 多重スレッド / プロセッサ / 画像生成 / 高速合成 / マルチスレッド / ASIC / high-level synthesis / multithreaded architecture / processor / ディジタル信号処理 / VLSI化設計 / FIRフィルタ / ディジタル記号処理 / digital signal processing / FIR filter / リターゲッタブル・コンパイラ / DSP / リターゲッタブルコンパイラ / MPEG4 / コンパイラ / 離散ウェーブレット変換 / 4相NMOS / ウエーブレット変換 / 画像圧縮 / JPEG2000 / discrete wavelet transform / ベクトルプロセッサ / ワークステーション / マルチスクリーン / 論理シミュレータ / 高水準ハードウェア記述 / 正則時相論理 / 代数的仕様記述 / Vector Processof / Specification Desctiption / Workstation / 算術演算回路 / ハ-ドウェアアルゴリズム / 耐故障設計 / オンライン誤り検出 / テスト生成 / 冗長符号化 / ハードウェアアルゴリズム / 故障シミュレーション / Arithmetic Circuits / Hardware Algorithm / Fault-Tolerant Design / On-Line Error Detection / Fault Simulation / Test Generation / Redundant Coding Less
  • Research Projects

    (22 results)
  • Research Products

    (54 results)
  • Co-Researchers

    (27 People)
  •  Synthesis of Full Hardware Implementation of RTOS-Based SystemsPrincipal Investigator

    • Principal Investigator
      石浦 菜岐佐
    • Project Period (FY)
      2019 – 2021
    • Research Category
      Grant-in-Aid for Scientific Research (B)
    • Review Section
      Basic Section 60040:Computer system-related
    • Research Institution
      Kwansei Gakuin University
  •  Interrupt handling and dynamic scheduling for binary synthesisPrincipal Investigator

    • Principal Investigator
      Ishiura Nagisa
    • Project Period (FY)
      2016 – 2018
    • Research Category
      Grant-in-Aid for Scientific Research (C)
    • Research Field
      Computer system
    • Research Institution
      Kwansei Gakuin University
  •  Random testing of compilers based on precise computation of expected values and symbolic execution of generated codesPrincipal Investigator

    • Principal Investigator
      Nagisa ISHIURA
    • Project Period (FY)
      2013 – 2016
    • Research Category
      Grant-in-Aid for Scientific Research (C)
    • Research Field
      Computer system
    • Research Institution
      Kwansei Gakuin University
  •  High-Level Synthesis System Autogenerating Software Compatible HardwarePrincipal Investigator

    • Principal Investigator
      ISHIURA Nagisa
    • Project Period (FY)
      2008 – 2010
    • Research Category
      Grant-in-Aid for Scientific Research (C)
    • Research Field
      Computer system/Network
    • Research Institution
      Kwansei Gakuin University
  •  Research on retargetable code generation for custom VLIW DSPsPrincipal Investigator

    • Principal Investigator
      ISHIURA Nagisa
    • Project Period (FY)
      2003 – 2004
    • Research Category
      Grant-in-Aid for Scientific Research (C)
    • Research Field
      Computer system/Network
    • Research Institution
      Kwansei Gakuin University
  •  Codesign Methodology of Application Specific DSPs Based on a Retargetable CompilerPrincipal Investigator

    • Principal Investigator
      ISHIURA Nagisa
    • Project Period (FY)
      2001 – 2002
    • Research Category
      Grant-in-Aid for Scientific Research (C)
    • Research Field
      計算機科学
    • Research Institution
      Kwansei Gakuin University
      Osaka University
  •  VLSI Architecture for Video Codec Based on Discrete Wavelet Transform

    • Principal Investigator
      SHIRAKAWA Isao
    • Project Period (FY)
      2000 – 2001
    • Research Category
      Grant-in-Aid for Scientific Research (B)
    • Research Field
      情報通信工学
    • Research Institution
      Osaka University
  •  Research on Code Generation Algorithms for Retargetable Compilers for DSPsPrincipal Investigator

    • Principal Investigator
      ISHIURA Nagisa
    • Project Period (FY)
      1999 – 2000
    • Research Category
      Grant-in-Aid for Scientific Research (C)
    • Research Field
      計算機科学
    • Research Institution
      Osaka University
  •  VLSI architecture for MPEG-4 Audio Visual Codec

    • Principal Investigator
      SHIRAKAWA Isao
    • Project Period (FY)
      1998 – 1999
    • Research Category
      Grant-in-Aid for Scientific Research (B)
    • Research Field
      情報通信工学
    • Research Institution
      Osaka University
  •  Research on Control Dominant High-Level SynthesisPrincipal Investigator

    • Principal Investigator
      ISHIURA Nagisa
    • Project Period (FY)
      1997 – 1998
    • Research Category
      Grant-in-Aid for Scientific Research (C)
    • Research Field
      計算機科学
    • Research Institution
      Osaka University
  •  条件分岐と繰り返し構造を含む動作記述からの高位合成手法に関する研究Principal Investigator

    • Principal Investigator
      石浦 菜岐佐
    • Project Period (FY)
      1996
    • Research Category
      Grant-in-Aid for Encouragement of Young Scientists (A)
    • Research Field
      計算機科学
    • Research Institution
      Osaka University
  •  VLSI Implementation for Digital Video Transmission and Compression

    • Principal Investigator
      SHIRAKAWA Isao
    • Project Period (FY)
      1996 – 1997
    • Research Category
      Grant-in-Aid for Scientific Research (B)
    • Research Field
      情報通信工学
    • Research Institution
      Osaka University
  •  論理関数処理による記号シミュレーションと無解釈評価に基づくプロセッサの形式的検証Principal Investigator

    • Principal Investigator
      石浦 菜岐佐
    • Project Period (FY)
      1995
    • Research Category
      Grant-in-Aid for Encouragement of Young Scientists (A)
    • Research Field
      計算機科学
    • Research Institution
      Osaka University
  •  二分決定グラフに基づく組合せ論理回路の合成法に関する研究Principal Investigator

    • Principal Investigator
      石浦 菜岐佐
    • Project Period (FY)
      1994
    • Research Category
      Grant-in-Aid for Encouragement of Young Scientists (A)
    • Research Field
      計算機科学
    • Research Institution
      Osaka University
  •  VLSI Implementation of New Architectures Using High-Level Synthesis System-Design of Multithreaded Processor

    • Principal Investigator
      SHIRAKAWA Isao
    • Project Period (FY)
      1994 – 1995
    • Research Category
      Grant-in-Aid for General Scientific Research (B)
    • Research Field
      System engineering
    • Research Institution
      Osaka University
  •  Research on Computer Aided Formal Verification Based on Temporal Logics

    • Principal Investigator
      HIRAISHI Hiromi
    • Project Period (FY)
      1991 – 1992
    • Research Category
      Grant-in-Aid for General Scientific Research (C)
    • Research Field
      情報工学
    • Research Institution
      Kyoto Sangyo University
  •  Research on Efficient Manipulation of Boolean Functions Using Shared Binary Decision Diagrams and Its Application to Computer Aided Logic Design

    • Principal Investigator
      YAJIMA Shuzo
    • Project Period (FY)
      1990 – 1991
    • Research Category
      Grant-in-Aid for General Scientific Research (B)
    • Research Field
      情報工学
    • Research Institution
      Kyoto University
  •  Research on Parallel Processing Techniques for Computer-Aided Design of VLSIs

    • Principal Investigator
      SHIAKAWA Isao
    • Project Period (FY)
      1990 – 1991
    • Research Category
      Grant-in-Aid for Developmental Scientific Research (B)
    • Research Field
      情報工学
    • Research Institution
      Osaka University
  •  Researches on Formal Logic Design Verification Based on Regular Temporal Logic

    • Principal Investigator
      HIRAISHI Hiromi
    • Project Period (FY)
      1989 – 1990
    • Research Category
      Grant-in-Aid for General Scientific Research (C)
    • Research Field
      計算機工学
    • Research Institution
      Kyoto University
  •  Research on Development of a Logic Design Verification System Based on Time-Symbolic Simulation

    • Principal Investigator
      YAJIMA Shuzo
    • Project Period (FY)
      1989 – 1990
    • Research Category
      Grant-in-Aid for Developmental Scientific Research (B).
    • Research Field
      計算機工学
    • Research Institution
      Kyoto University
  •  Researches on the Design of Highly Reliable High-Speed Arithmetic Circuits with Redundant Coding

    • Principal Investigator
      YAJIMA Shuzo
    • Project Period (FY)
      1988 – 1989
    • Research Category
      Grant-in-Aid for General Scientific Research (B)
    • Research Field
      計算機工学
    • Research Institution
      KYOTO UNIVERSITY
  •  Research on Development of High-Speed Logic Simulators Using a Vector Processor and Logic Design Verification Systems

    • Principal Investigator
      YAJIMA Shuzo
    • Project Period (FY)
      1986 – 1987
    • Research Category
      Grant-in-Aid for Developmental Scientific Research
    • Research Field
      計算機工学
    • Research Institution
      Kyoto University

All 2020 2019 2018 2017 2016 2015 2014 2011 2010 2009 2008 Other

All Journal Article Presentation Patent

  • [Journal Article] Synthesis of Full Hardware Implementation of RTOS-Based Systems2018

    • Author(s)
      Y. Oosako, N. Ishiura, H. Tomiyama, and H. Kanbara
    • Journal Title

      Proc. International Symposium on Rapid System Prototyping (RSP 2018)

      Volume: - Pages: 1-7

    • DOI

      10.1109/rsp.2018.8631993

    • NAID

      40021841150

    • Peer Reviewed / Open Access
    • Data Source
      KAKENHI-PROJECT-16K00088
  • [Journal Article] Extended Distributed Control for Dynamic Scheduling across Dataflow Graphs2018

    • Author(s)
      W. Nakano and N. Ishiura
    • Journal Title

      Proc. the Workshop on Synthesis And System Integration of Mixed Information Technologies 2018

      Volume: 1 Pages: 35-36

    • Peer Reviewed / Open Access
    • Data Source
      KAKENHI-PROJECT-16K00088
  • [Journal Article] High-Level Synthesis of Side Channel Attack Resistant RSA Decryption Circuit2018

    • Author(s)
      N. Osako, S. OTA, S. Yura, and N. Ishiura
    • Journal Title

      Proc. the Workshop on Synthesis And System Integration of Mixed Information Technologies 2018

      Volume: 1 Pages: 159-160

    • Peer Reviewed / Open Access
    • Data Source
      KAKENHI-PROJECT-16K00088
  • [Journal Article] CF3: Test Suite for Arithmetic Optimization of C Compilers (letter)2017

    • Author(s)
      Y. Hibino, H. Ikeo, and N. Ishiura
    • Journal Title

      IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences (July, 2017, to appear)

      Volume: E100-A

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-25330073
  • [Journal Article] Speculative Execution in Distributed Controllers for High-Level Synthesis2017

    • Author(s)
      M. Shimizu, N. Ishiura, S. Ota, and W. Nakano
    • Journal Title

      Proc. International Symposium on Rapid System Prototyping 2017

      Volume: 1 Pages: 99-105

    • DOI

      10.1145/3130265.3130319

    • NAID

      170000173423

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-16K00088
  • [Journal Article] Distributed Memory Architecture for High-Level Synthesis of Embedded Controllers from Erlang2017

    • Author(s)
      K. Azuma, N. Ishiura, N. Yoshida, and H. Kanbara
    • Journal Title

      Proc. ACM SIGPLAN International Workshop on Erlang 2017

      Volume: 1 Pages: 13-19

    • DOI

      10.1145/3123569.3123574

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-16K00088
  • [Journal Article] Binary Synthesis Implementing External Interrupt Handler as Independent Module2017

    • Author(s)
      N. Ito, Y. Oosako, N. Ishiura, H. Tomiyama, and H. Kanbara
    • Journal Title

      Proc. International Symposium on Rapid System Prototyping 2017

      Volume: 1 Pages: 92-98

    • DOI

      10.1145/3130265.3130317

    • NAID

      40020736742

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-16K00088
  • [Journal Article] Detecting Arithmetic Optimization Opportunities for C Compilers by Randomly Generated Equivalent Programs2016

    • Author(s)
      A. Hashimoto and N. Ishiura
    • Journal Title

      IPSJ Transactions on System LSI Design Methodology

      Volume: 7 Issue: 0 Pages: 21-29

    • DOI

      10.2197/ipsjtsldm.9.21

    • NAID

      130005126056

    • ISSN
      1882-6687
    • Language
      English
    • Peer Reviewed / Acknowledgement Compliant / Open Access
    • Data Source
      KAKENHI-PROJECT-25330073
  • [Journal Article] Reinforcing Random Testing of Arithmetic Optimization of C Compilers by Scaling up Size and Number of Expressions2014

    • Author(s)
      E. Nagai, A. Hashimoto, and N. Ishiura
    • Journal Title

      IPSJ Transactions on System LSI Design Methodology

      Volume: 7 Issue: 0 Pages: 91-100

    • DOI

      10.2197/ipsjtsldm.7.91

    • NAID

      130004679062

    • ISSN
      1882-6687
    • Language
      English
    • Peer Reviewed / Open Access
    • Data Source
      KAKENHI-PROJECT-25330073
  • [Journal Article] Stat ic Scheduling of Dynamic Execution for High-Level Synthesis2009

    • Author(s)
      Y.Toda, N.Ishiura, K.Sone
    • Journal Title

      Proc.the Workshop on Synthesis and System Integration of Mixed Inf ormation Technologies 2

      Pages: 107-11

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20500058
  • [Journal Article] High-Level Synthesis of Software Function Calls2008

    • Author(s)
      M.Nishimura, N.Ishiura, Y.Ishimori, H.Kanbara, H.Tomiyama
    • Journal Title

      IEICE Trans.Fundamentals No.E91-A

      Pages: 3556-3558

    • NAID

      10026853994

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20500058
  • [Patent] リアルタイム処理装置及びその作製方法2018

    • Inventor(s)
      石浦菜岐佐, 大迫裕樹
    • Industrial Property Rights Holder
      学校法人関西学院
    • Industrial Property Rights Type
      特許
    • Industrial Property Number
      2018-029244
    • Filing Date
      2018
    • Data Source
      KAKENHI-PROJECT-16K00088
  • [Presentation] 電流兆候解析に基づくDCモーターのオンライン故障検知2020

    • Author(s)
      大窄直樹, 神原弘之, 石浦菜岐佐
    • Organizer
      電子情報通信学会技術研究報告
    • Data Source
      KAKENHI-PROJECT-19H04081
  • [Presentation] シングルコア向け排他制御記述を含むRTOS利用システムのフルハードウェア化2020

    • Author(s)
      篠原由季乃, 大迫裕樹, 石浦菜岐佐
    • Organizer
      電子情報通信学会総合大会
    • Data Source
      KAKENHI-PROJECT-19H04081
  • [Presentation] プログラマブルSoCにおけるErlangからのハードウェア制御2020

    • Author(s)
      若林秀和, 石浦菜岐佐
    • Organizer
      電子情報通信学会技術研究報告
    • Data Source
      KAKENHI-PROJECT-19H04081
  • [Presentation] FreeRTOSを用いたシステムのフルハードウェア合成2020

    • Author(s)
      中野和香子, 石浦菜岐佐, 冨山宏之, 神原弘之
    • Organizer
      電子情報通信学会技術研究報告
    • Data Source
      KAKENHI-PROJECT-19H04081
  • [Presentation] RISC-V機械語プログラムからのバイナリ合成2020

    • Author(s)
      浜名将輝, 石浦菜岐佐
    • Organizer
      電子情報通信学会技術研究報告
    • Data Source
      KAKENHI-PROJECT-19H04081
  • [Presentation] RTOS を用いたシステムのフルハードウェア実装とその自動化2019

    • Author(s)
      大迫裕樹, 石浦菜岐佐, 冨山宏之, 神原弘之
    • Organizer
      電子情報通信学会VLSI設計技術研究会
    • Data Source
      KAKENHI-PROJECT-16K00088
  • [Presentation] 複数データフローグラフにまたがる動的スケジューリングを実現する分散制御回路の自動合成2019

    • Author(s)
      太田小百合, 石浦菜岐佐
    • Organizer
      電子情報通信学会VLSI設計技術研究会
    • Data Source
      KAKENHI-PROJECT-16K00088
  • [Presentation] Erlangからの高位合成のためのメモリ分散アーキテクチャ2018

    • Author(s)
      東香実, 浜名将輝, 若林秀和, 石浦菜岐佐, 吉田信明, 神原弘之
    • Organizer
      電子情報通信学会VLSI設計技術研究会
    • Data Source
      KAKENHI-PROJECT-16K00088
  • [Presentation] 分散制御による動的スケジューリングの適用範囲の拡大2017

    • Author(s)
      中野和香子, 石浦菜岐佐
    • Organizer
      電子情報通信学会ソサイエティ大会
    • Data Source
      KAKENHI-PROJECT-16K00088
  • [Presentation] モンゴメリ法及び並列化を適用した耐サイドチャネル攻撃RSA復号回路の高位合成2017

    • Author(s)
      大窄直樹, 石浦菜岐佐
    • Organizer
      電子情報通信学会ソサイエティ大会
    • Data Source
      KAKENHI-PROJECT-16K00088
  • [Presentation] Erlang からの高位合成のための関数レベル並列化2017

    • Author(s)
      若林秀和, 石浦菜岐佐, 吉田信明, 神原弘之
    • Organizer
      電子情報通信学会ソサイエティ大会
    • Data Source
      KAKENHI-PROJECT-16K00088
  • [Presentation] Erlang からの高位合成のためのライブラリモジュールの回路規模削減2017

    • Author(s)
      浜名将輝, 石浦菜岐佐, 吉田信明, 神原弘之
    • Organizer
      電子情報通信学会ソサイエティ大会
    • Data Source
      KAKENHI-PROJECT-16K00088
  • [Presentation] RTOS を用いたシステムの高位合成によるフルハードウェア化2017

    • Author(s)
      大迫裕樹, 石浦菜岐佐, 神原弘之, 冨山宏之
    • Organizer
      組込みシステム技術に関するサマーワークショップ (SWEST)
    • Data Source
      KAKENHI-PROJECT-16K00088
  • [Presentation] 割り込み駆動のモータ制御プログラムからの高位合成2016

    • Author(s)
      大迫裕樹, 神原弘之, 石浦菜岐佐
    • Organizer
      情報処理学会関西支部大会
    • Place of Presentation
      大阪大学中之島センター (大阪府 大阪市)
    • Year and Date
      2016-09-26
    • Data Source
      KAKENHI-PROJECT-16K00088
  • [Presentation] Introducing Real Constraints in Partitioned ILP-Based Biding in High-Level Synthesis (short paper)2016

    • Author(s)
      N. Ishiura and Y. Oosako
    • Organizer
      Workshop on Synthesis And System Integration of Mixed Information Technologies (SASIMI 2016)
    • Place of Presentation
      京都リサーチパーク (京都府 京都市)
    • Year and Date
      2016-10-25
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-16K00088
  • [Presentation] 等価変換に基づくCコンパイラのランダムテストにおける変数の複数回参照の導入2016

    • Author(s)
      高倉正悟, 石浦菜岐佐
    • Organizer
      電子情報通信学会ソサイエティ大会
    • Place of Presentation
      北海道大学 (北海道 札幌市)
    • Year and Date
      2016-09-21
    • Data Source
      KAKENHI-PROJECT-25330073
  • [Presentation] Random Testing of C Compilers Based on Test Program Generation by Equivalence Transformation2016

    • Author(s)
      K. Nakamura and N. Ishiura
    • Organizer
      Asia and Pacific Conference on Circuits and Systems (APCCAS 2016)
    • Place of Presentation
      Ramada Plaza Hotel (大韓民国 済州市)
    • Year and Date
      2016-10-27
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-25330073
  • [Presentation] 不定サイクル演算に対応した分散制御における投機的実行2016

    • Author(s)
      清水美帆, 石浦菜岐佐
    • Organizer
      情報処理学会 DAシンポジウム 2016
    • Place of Presentation
      ゆのくに天祥 (石川県 加賀市)
    • Year and Date
      2016-09-14
    • Data Source
      KAKENHI-PROJECT-16K00088
  • [Presentation] コンパイラのランダムテストシステムOrange3の拡張によるJava処理系のテスト2016

    • Author(s)
      清水遼太朗, 池尾弘史, 石浦菜岐佐
    • Organizer
      電子情報通信学会ソサイエティ大会
    • Place of Presentation
      北海道大学 (北海道 札幌市)
    • Year and Date
      2016-09-21
    • Data Source
      KAKENHI-PROJECT-25330073
  • [Presentation] Erlang による組込みシステムの制御記述とその高位合成2016

    • Author(s)
      東香実, 石浦菜岐佐, 竹林陽, 吉田信明, 神原弘之
    • Organizer
      組込みシステム技術に関するサマーワークショップ (SWEST)
    • Place of Presentation
      水明館 (岐阜県 下呂市)
    • Year and Date
      2016-08-25
    • Data Source
      KAKENHI-PROJECT-16K00088
  • [Presentation] Extending Distributed Control for High-Level Synthesis beyond Borders of Dataflow Graphs2016

    • Author(s)
      M. Shimizu and N. Ishiura
    • Organizer
      Workshop on Synthesis And System Integration of Mixed Information Technologies (SASIMI 2016)
    • Place of Presentation
      京都リサーチパーク (京都府 京都市)
    • Year and Date
      2016-10-25
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-16K00088
  • [Presentation] 電力解析攻撃/故障利用攻撃耐性RSA 復号回路の高位合成2016

    • Author(s)
      太田小百合, 由良駿, 石浦菜岐佐
    • Organizer
      電子情報通信学会ソサイエティ大会
    • Place of Presentation
      北海道大学 (北海道 札幌市)
    • Year and Date
      2016-09-20
    • Data Source
      KAKENHI-PROJECT-16K00088
  • [Presentation] 高位合成のバインディングの整数線形計画法による分割解法における実数制約の導入2016

    • Author(s)
      大迫裕樹, 石浦菜岐佐
    • Organizer
      電子情報通信学会ソサイエティ大会
    • Place of Presentation
      北海道大学 (北海道 札幌市)
    • Year and Date
      2016-09-20
    • Data Source
      KAKENHI-PROJECT-16K00088
  • [Presentation] Random Testing Back-end of Compiler Infrastructure LLVM (short paper)2016

    • Author(s)
      K. Tanaka, N. Ishiura, M. Nishimura, and A. Fukui
    • Organizer
      Workshop on Synthesis And System Integration of Mixed Information Technologies (SASIMI 2016)
    • Place of Presentation
      京都リサーチパーク (京都府 京都市)
    • Year and Date
      2016-10-24
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-25330073
  • [Presentation] 等価変換に基づくテストプログラム生成を用いたCコンパイラのランダムテスト2016

    • Author(s)
      中村和博, 石浦菜岐佐
    • Organizer
      電子情報通信学会VLSI設計技術研究会
    • Place of Presentation
      沖縄県青年会館 (沖縄県・那覇市)
    • Year and Date
      2016-02-29
    • Data Source
      KAKENHI-PROJECT-25330073
  • [Presentation] High-Level Synthesis of Embedded Systems Controller from Erlang2016

    • Author(s)
      H. Takebayashi, N. Ishiura, K. Azuma, N. Yoshida, and H. Kanbara
    • Organizer
      Workshop on Synthesis And System Integration of Mixed Information Technologies (SASIMI 2016)
    • Place of Presentation
      京都リサーチパーク (京都府 京都市)
    • Year and Date
      2016-10-25
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-16K00088
  • [Presentation] コンパイラ基盤 LLVM バックエンドのランダムテスト2016

    • Author(s)
      田中健司, 石浦菜岐佐, 西村啓成, 福井昭也
    • Organizer
      電子情報通信学会総合大会
    • Place of Presentation
      九州大学 (福岡県・福岡市)
    • Year and Date
      2016-03-17
    • Data Source
      KAKENHI-PROJECT-25330073
  • [Presentation] Cコンパイラの最適化のリグレッションテストのためのアセンブリコード比較法2016

    • Author(s)
      北浦幸太, 岩辻光功, 石浦菜岐佐
    • Organizer
      電子情報通信学会ソサイエティ大会
    • Place of Presentation
      北海道大学 (北海道 札幌市)
    • Year and Date
      2016-09-21
    • Data Source
      KAKENHI-PROJECT-25330073
  • [Presentation] Detecting Missed Arithmetic Optimization in C Compilers by Differential Random Testing (short paper)2016

    • Author(s)
      M. Iwatsuji, A. Hashimoto, and N. Ishiura
    • Organizer
      Workshop on Synthesis And System Integration of Mixed Information Technologies (SASIMI 2016)
    • Place of Presentation
      京都リサーチパーク (京都府 京都市)
    • Year and Date
      2016-10-24
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-25330073
  • [Presentation] C コンパイラ用テストスイート CF3 の検出能力向上2015

    • Author(s)
      池尾弘史, 石浦菜岐佐
    • Organizer
      電子情報通信学会ソサイエティ大会
    • Place of Presentation
      東北大学 (宮城県・仙台市)
    • Year and Date
      2015-09-10
    • Data Source
      KAKENHI-PROJECT-25330073
  • [Presentation] Cコンパイラの算術最適化を対象としたテストスイートCF32015

    • Author(s)
      日比野佑亮, 石浦菜岐佐
    • Organizer
      電子情報通信学会VLSI設計技術研究会
    • Place of Presentation
      慶應義塾大学 (神奈川県・横浜市)
    • Year and Date
      2015-01-29
    • Data Source
      KAKENHI-PROJECT-25330073
  • [Presentation] 差分ランダムテストに基づくコンパイラの最適化機会の検出2015

    • Author(s)
      岩辻光功, 橋本淳史, 石浦菜岐佐
    • Organizer
      電子情報通信学会ソサイエティ大会
    • Place of Presentation
      東北大学 (宮城県・仙台市)
    • Year and Date
      2015-09-10
    • Data Source
      KAKENHI-PROJECT-25330073
  • [Presentation] Introducing Loop Statements in Random Testing of C Compilers Based on Expected Value Calculation (short paper)2015

    • Author(s)
      K. Nakamura and N. Ishiura
    • Organizer
      Workshop on Synthesis And System Integration of Mixed Information Technologies (SASIMI 2015)
    • Place of Presentation
      宜蘭(台湾)
    • Year and Date
      2015-03-17
    • Data Source
      KAKENHI-PROJECT-25330073
  • [Presentation] ランダムテストによるCコンパイラの算術最適化機会の検出2015

    • Author(s)
      橋本淳史, 石浦菜岐佐
    • Organizer
      電子情報通信学会VLSI設計技術研究会
    • Place of Presentation
      慶應義塾大学 (神奈川県・横浜市)
    • Year and Date
      2015-01-30
    • Data Source
      KAKENHI-PROJECT-25330073
  • [Presentation] 高位合成における可変スケジューリングの近似手法2011

    • Author(s)
      曽根康介,石浦菜岐佐
    • Organizer
      電子情報通信学会VLSI 設計技術研究会
    • Place of Presentation
      慶応義塾大学(神奈川県)
    • Year and Date
      2011-01-17
    • Data Source
      KAKENHI-PROJECT-20500058
  • [Presentation] CPUと密に結合したコプロセッサに基づくハードウェア/ソフトウェア協調設計2010

    • Author(s)
      戸田勇希,石浦菜岐佐,神原弘之,冨山宏之
    • Organizer
      情報処理学会組込みシステム研究会
    • Place of Presentation
      株式会社東芝(東京都)
    • Year and Date
      2010-01-29
    • Data Source
      KAKENHI-PROJECT-20500058
  • [Presentation] MIPSアセンブリを中間表現とする高位合成システムの実装2010

    • Author(s)
      入谷賢孝,池上達也,石浦菜岐佐,神原弘之,冨山宏之
    • Organizer
      情報処理学会組込みシステム研究会
    • Place of Presentation
      八丈シーパークリゾート(東京都)
    • Year and Date
      2010-03-28
    • Data Source
      KAKENHI-PROJECT-20500058
  • [Presentation] 高位合成における可変スケジューリングの近似アルゴリズム2009

    • Author(s)
      曽根康介,石浦菜岐佐,入谷賢孝,戸田勇希
    • Organizer
      情報処理学会関西支部大会, A-06
    • Place of Presentation
      神戸大学(兵庫県)
    • Year and Date
      2009-09-29
    • Data Source
      KAKENHI-PROJECT-20500058
  • [Presentation] 高位合成システムCCAPのAMPマルチコアシステム設計のための拡張2009

    • Author(s)
      石守祥之,石浦菜岐佐,冨山宏之,神原弘之
    • Organizer
      電子情報通信学会VLSI設計技術研究会
    • Place of Presentation
      慶応義塾大学(神奈川県)
    • Year and Date
      2009-01-29
    • Data Source
      KAKENHI-PROJECT-20500058
  • [Presentation] 不定サイクル演算を考慮した高位合成の可変スケジューリング・バインディング2008

    • Author(s)
      戸田勇希,石浦菜岐佐,曽根康介
    • Organizer
      電子情報通信学会VLSI設計技術研究会
    • Place of Presentation
      北九州市学術研究都市(福岡県)
    • Year and Date
      2008-11-19
    • Data Source
      KAKENHI-PROJECT-20500058
  • [Presentation] Cコンパイラの算術最適化のランダムテストにおける浮動小数点演算の導入

    • Author(s)
      橋本淳史, 石浦菜岐佐
    • Organizer
      電子情報通信学会ソサイエティ大会
    • Place of Presentation
      福岡工業大学 (福岡市)
    • Data Source
      KAKENHI-PROJECT-25330073
  • [Presentation] Scaling up Size and Number of Expressions in Random Testing of Arithmetic Optimization of C Compilers Workshop on Synthesis And System Integration of Mixed Information Technologies

    • Author(s)
      E. Nagai, A. Hashimoto, and N. Ishiura
    • Organizer
      Workshop on Synthesis And System Integration of Mixed Information Technologies (SASIMI 2013)
    • Place of Presentation
      ホテル札幌ガーデンパレス (札幌市)
    • Data Source
      KAKENHI-PROJECT-25330073
  • 1.  HIRAISHI Hiromi (40093299)
    # of Collaborated Projects: 6 results
    # of Collaborated Products: 0 results
  • 2.  SHIAKAWA Isao (10029100)
    # of Collaborated Projects: 5 results
    # of Collaborated Products: 0 results
  • 3.  OGINO Hiroyuki (40144323)
    # of Collaborated Projects: 5 results
    # of Collaborated Products: 0 results
  • 4.  TAKAGI Naofumi (10171422)
    # of Collaborated Projects: 5 results
    # of Collaborated Products: 0 results
  • 5.  YAJIMA Shuzo (20025901)
    # of Collaborated Projects: 4 results
    # of Collaborated Products: 0 results
  • 6.  ONOYE Takao (60252590)
    # of Collaborated Projects: 4 results
    # of Collaborated Products: 0 results
  • 7.  YAMAUCHI Hitoshi (10275373)
    # of Collaborated Projects: 3 results
    # of Collaborated Products: 0 results
  • 8.  KANBARA Hiroyuki (80373497)
    # of Collaborated Projects: 3 results
    # of Collaborated Products: 17 results
  • 9.  TOMIYAMA Hiroyuki (80362292)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 5 results
  • 10.  KAWAKUBO Kazuo (10186067)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 0 results
  • 11.  IWAMA Kazuo (50131272)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 0 results
  • 12.  SHIGEHIRO Yuji (40243175)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 0 results
  • 13.  FUJITA Gen (30304025)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 0 results
  • 14.  吉田 信明 (00373506)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 6 results
  • 15.  TAKENAGA Yasuhiko (20236491)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 16.  DEGUCHI Hiroshi (30197826)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 17.  ARAKI Toshiro (70107077)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 18.  KUMAGAI Sadatoshi (10093410)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 19.  MIYAHARA Hideo (90029314)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 20.  TAKAHASHI Kazuko (30330400)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 21.  MIWA Hiroyoshi (40351738)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 22.  YASUURA Hiroto (80135540)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 23.  Shimizu Miho
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 3 results
  • 24.  Azuma Kagumi
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 4 results
  • 25.  Oosako Yuuki
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 7 results
  • 26.  Ota Sayuri
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 4 results
  • 27.  Nakano Wakako
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 3 results

URL: 

Are you sure that you want to connect your ORCID iD to this researcher?
* This action can be performed only by the researcher themselves.

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

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi