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

    (23 results)
  • Research Products

    (70 results)
  • Co-Researchers

    (27 People)
  •  RTOS利用システムのフルハードウェア化の実用化に関する研究Principal Investigator

    • Principal Investigator
      石浦 菜岐佐
    • Project Period (FY)
      2024 – 2026
    • Research Category
      Grant-in-Aid for Scientific Research (C)
    • Review Section
      Basic Section 60040:Computer system-related
    • Research Institution
      Kwansei Gakuin University
  •  Synthesis of Full Hardware Implementation of RTOS-Based SystemsPrincipal Investigator

    • Principal Investigator
      Ishiura Nagisa
    • 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 2023 2022 2021 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: 9 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] Automatic Generation of Management Module for Full Hardware Implementation of RTOS-Based Systems2023

    • Author(s)
      H. Minamiguchi, N. Ishiura, H. Tomiyama, and H. Kanbara
    • Organizer
      International Technical Conference on Circuit/Systems, Computers and Communications (ITC-CSCC 2023)
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-19H04081
  • [Presentation] 一般化並列カウンタ木に基づく2値化ニューラルネットワークの効率的FPGA実装2023

    • Author(s)
      谷川貴弘, 野田麦, 石浦菜岐佐
    • Organizer
      電子情報通信学会総合大会
    • Data Source
      KAKENHI-PROJECT-19H04081
  • [Presentation] RTOS 利用システムのフルハードウェア化における優先度継承ミューテックスの実装2023

    • Author(s)
      志賀光, 石浦菜岐佐
    • Organizer
      電子情報通信学会総合大会
    • Data Source
      KAKENHI-PROJECT-19H04081
  • [Presentation] 一般化並列カウンタ追加によるコンプレッサツリーの効率的FPGA実装2023

    • Author(s)
      野田麦, 石浦菜岐佐
    • Organizer
      電子情報通信学会総合大会
    • Data Source
      KAKENHI-PROJECT-19H04081
  • [Presentation] Arrival Order Processing of Service Requests in Full Hardware Implementation of RTOS-Based Systems2023

    • Author(s)
      M. Nakahara and N. Ishiura
    • Organizer
      International Technical Conference on Circuit/Systems, Computers and Communications (ITC-CSCC 2023)
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-19H04081
  • [Presentation] Full Hardware Implementation of RTOS-Based Systems Using General High-Level Synthesizer2022

    • Author(s)
      T. Ando, I. Muguruma, Y. Ishii, N. Ishiura, H. Tomiyama, and H. Kambara
    • Organizer
      SASIMI 2022
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-19H04081
  • [Presentation] Hardware RTOS Services for Full Hardware Implementation of RTOS-Based Systems2022

    • Author(s)
      H. Minamiguchi, M. Nakahara, Y. Ishii, Y. Shinohara, I. Muguruma, and N. Ishiura
    • Organizer
      SASIMI 2022
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-19H04081
  • [Presentation] RTOS 利用システムのフルハードウェア化における管理ハードウェアの自動生成2022

    • Author(s)
      南口比呂, 石浦菜岐佐, 冨山宏之, 神原弘之
    • Organizer
      情報処理学会 DAシンポジウム
    • Data Source
      KAKENHI-PROJECT-19H04081
  • [Presentation] Binary Synthesis Using High-Level Synthesizer as its Back-End2022

    • Author(s)
      R. Nakamichi, S. Kishimoto, N. Ishiura, and T. Kondo
    • Organizer
      SASIMI 2022
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-19H04081
  • [Presentation] RTOS 利用システムのフルハードウェア化におけるサービス要求の到着順待ち解除2022

    • Author(s)
      中原正樹, 石浦 菜岐佐
    • Organizer
      情報処理学会 DAシンポジウム
    • Data Source
      KAKENHI-PROJECT-19H04081
  • [Presentation] RTOS利用システムのフルハートドウェア化におけるミューテックスの実装2021

    • Author(s)
      南口比呂, 石浦菜岐佐
    • Organizer
      電子情報通信学会ソサイエティ大会
    • Data Source
      KAKENHI-PROJECT-19H04081
  • [Presentation] Compact FPGA Implementation of Popcounter for BNN Using Linear Feedback Shift Register2021

    • Author(s)
      N. Ishiura and R. Saimyoji
    • Organizer
      Workshop on Synthesis And System Integration of Mixed Information Technologies (SASIMI 2021)
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-19H04081
  • [Presentation] RTOS 利用システムのフルハートドウェア化におけるイベントフラグの実装2021

    • Author(s)
      中原正樹, 石浦菜岐佐
    • Organizer
      電子情報通信学会ソサイエティ大会
    • Data Source
      KAKENHI-PROJECT-19H04081
  • [Presentation] 汎用高位合成系をバックエンドとする RISC-V 機械語からのバイナリ合成2021

    • Author(s)
      中道凌, 石浦菜岐佐, 近藤匠
    • Organizer
      情報処理学会DAシンポジウム
    • Data Source
      KAKENHI-PROJECT-19H04081
  • [Presentation] Full Hardware Implementation of FreeRTOS-Based Real-Time Systems2021

    • Author(s)
      W. Nakano, Y. Shinohara, and N. Ishiura
    • Organizer
      IEEE Region 10 Conference (TENCON 2021)
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-19H04081
  • [Presentation] RTOS 利用システムのフルハードウェア化におけるサービス処理機能の集約2021

    • Author(s)
      六車伊織, 石浦菜岐佐, 安堂拓也, 冨山宏之, 神原弘之
    • Organizer
      電子情報通信学会VLSI設計技術研究会
    • Data Source
      KAKENHI-PROJECT-19H04081
  • [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: 20 results
  • 9.  TOMIYAMA Hiroyuki (80362292)
    # of Collaborated Projects: 3 results
    # of Collaborated Products: 9 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 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