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

WATANABE Katsumasa  渡邉 勝正

ORCIDConnect your ORCID iD *help
Researcher Number 60026078
Other IDs
External Links
Affiliation (based on the past Project Information) *help 2003 – 2005: 奈良先端科学技術大学院大学, 情報科学研究科, 教授
1995 – 2001: 奈良先端科学技術大学院大学, 情報科学研究科, 教授
Review Section/Research Field
Principal Investigator
計算機科学 / Software
Keywords
Principal Investigator
ソフトウェア協調設計 / ハードウェア / OBDD / アクティブソフトウェア / High Level Synthesis / 論理合成 / 高位合成 / 能動関数 / 汎用コプロセッサ / Pocエディタ … More / 細胞プログラミング / Active computer architecture / Re-configurable architecture / Monitoring execution states / Safe program / Language processor / π-expression / Active function / Active software / モバイルプログラム / アクティブオブジェクト / 実行の保証 / アクティブコンピュータアーキテクチャ / 再構成可能アーキテクチャ / 実行状況の監視 / 安全なプログラム / 言語プロセッサ / π計算表示 / Quantum Computing / Timing Verification / Dynamical Re-construction / Re-configurability / Environmental Adaptability / 量子計算 / ハードウェアのタイミング検証 / 知識ベース / 能動形プログラム / 環境適用 / 量子アルゴリズム / タイミング検証 / 動的変更機構 / 再構成可能性 / 環境適応 / C compiler / General Purpose Co-processor / Field Programmable Gate Array (FPGA) / Hardware Accelerator / Reconfigurable System / Software Co-operation / Software Codesign / Hardware / コプロセッサ / エミュレーション / コデザイン / 並列化コンパイラ / ハードウェア記述言語 / 汎用コブロセッサ / Cコンパイラ / FPGA / ハードウェアアクセラレータ / 再構成可能システム / ソフトウェア協調動作 / ソフトウェアコデザイン / 再構成可能プロセッサ / 動的結合機構 / 能動形計算モデル / 発展するソフトウェア構成法 / 手指動作記述文 / 前条件・後条件 / パターン細胞 / 発展的ソフトウェア構成法 Less
  • Research Projects

    (5 results)
  • Research Products

    (23 results)
  • Co-Researchers

    (7 People)
  •  Support Environment for Active SoftwarePrincipal Investigator

    • Principal Investigator
      WATANABE Katsumasa
    • Project Period (FY)
      2003 – 2005
    • Research Category
      Grant-in-Aid for Scientific Research (C)
    • Research Field
      Software
    • Research Institution
      Nara Institute of Science and Technology
  •  Implementation of Adaptable Hardware and Software for Changing EnvironmentPrincipal Investigator

    • Principal Investigator
      WATANABE Katsumasa
    • Project Period (FY)
      1999 – 2001
    • Research Category
      Grant-in-Aid for Scientific Research (B)
    • Research Field
      計算機科学
    • Research Institution
      NARA INSTITUTE OF SCIENCE AND TECHNOLOGY
  •  コンテンフに適応する発展的ソフトウェアの構成法Principal Investigator

    • Principal Investigator
      渡邉 勝正
    • Project Period (FY)
      1997
    • Research Category
      Grant-in-Aid for Scientific Research on Priority Areas
    • Research Institution
      Nara Institute of Science and Technology
  •  コンテンツに適応する発展的ソフトウェアの構成法Principal Investigator

    • Principal Investigator
      渡邉 勝正
    • Project Period (FY)
      1997 – 1998
    • Research Category
      Grant-in-Aid for Scientific Research on Priority Areas (A)
    • Research Institution
      Nara Institute of Science and Technology
  •  Research on Reconfigurable General Purpose Co-processor Systems and Their Optimized Hardware/Software Codesign CompilerPrincipal Investigator

    • Principal Investigator
      WATANABE Katsumasa
    • Project Period (FY)
      1995 – 1997
    • Research Category
      Grant-in-Aid for Scientific Research (B)
    • Research Field
      計算機科学
    • Research Institution
      Nara Institute of Science and Technology

All 2006 2005 2004 2003

All Journal Article Patent

  • [Journal Article] π計算表示から能動形プログラムの枠組みの生成2006

    • Author(s)
      渡邉勝正, 駱 福全, 中西正樹, 山下茂
    • Journal Title

      電子情報通信学会技術研究報告, SS 2006-6

      Pages: 31-36

    • NAID

      110004662812

    • Data Source
      KAKENHI-PROJECT-15500023
  • [Journal Article] Reconfigurable 1-Bit Processor Array with Reduced Wiring Area2005

    • Author(s)
      N.Nakai, M.Nakanishi, S.Yamashita, K.Watanabe
    • Journal Title

      In. Proc. of International Conference on Engineering of Reconfigurable Systems and Algorithms (ERSA2005) 2005

      Pages: 225-231

    • NAID

      110003295373

    • Description
      「研究成果報告書概要(和文)」より
    • Data Source
      KAKENHI-PROJECT-15500023
  • [Journal Article] 能動関数によるアサーション検証設計2005

    • Author(s)
      渡邉勝正, 井上晶広, 伴野 充, 蔵川 圭, 中西正樹, 山下 茂
    • Journal Title

      コンピュータソフトウェア 22,3

      Pages: 76-91

    • NAID

      110008016661

    • Description
      「研究成果報告書概要(和文)」より
    • Data Source
      KAKENHI-PROJECT-15500023
  • [Journal Article] Event-Oriented Computing with Reconfigurable Platform2005

    • Author(s)
      M.Tomono, M.Nakanishi, S.Yamashita, K.Watanabe
    • Journal Title

      Proc.of the 10th Asia and South Pacific Design Automation Conference (ASP-DAC 2005)

      Pages: 1248-1251

    • Description
      「研究成果報告書概要(欧文)」より
    • Data Source
      KAKENHI-PROJECT-15500023
  • [Journal Article] Reconfigurable 1-Bit Processor Array with Reduced Wiring Area2005

    • Author(s)
      N.Nakai, M.Nakanishi, S.Yamashita, K.Watanabe
    • Journal Title

      In.Proc.of International Conference on Engineering of Reconfigurable Systems and Algorithms (ERSA2005) 2005

      Pages: 225-231

    • NAID

      110003295373

    • Data Source
      KAKENHI-PROJECT-15500023
  • [Journal Article] Reconfigurable 1-Bit Processor Array with Reduced Wiring Area2005

    • Author(s)
      N.Nakai, M.Nakanishi, S.Yamashita, K.Watanabe
    • Journal Title

      Proc.of International Conference on Engineering of Reconfigurable Systems and Algorithms (ERSA2005)

      Pages: 225-231

    • NAID

      110003295373

    • Description
      「研究成果報告書概要(欧文)」より
    • Data Source
      KAKENHI-PROJECT-15500023
  • [Journal Article] 配線リソースを考慮した再構成可能1bitプロセッサアレイ2005

    • Author(s)
      中井伸郎, 中西正樹, 山下茂, 渡邉勝正
    • Journal Title

      電子情報通信学会,信学技法 SLDM2005-1

      Pages: 7-12

    • NAID

      110003295373

    • Data Source
      KAKENHI-PROJECT-15500023
  • [Journal Article] 能動関数によるアサーション検証設計2005

    • Author(s)
      渡邉勝正, 井上晶広, 伴野 充, 蔵川 圭, 中西正樹, 山下 茂
    • Journal Title

      コンピュータソフトウェア 22・3

      Pages: 76-91

    • NAID

      110008016661

    • Data Source
      KAKENHI-PROJECT-15500023
  • [Journal Article] 不正者を識別可能な量子秘密分散法2005

    • Author(s)
      村上ユミコ, 中西正樹, 山下 茂, 渡邉勝正
    • Journal Title

      電子情報通信学会技術研究報告,ISEC 2005-55

      Pages: 89-92

    • NAID

      110003298621

    • Data Source
      KAKENHI-PROJECT-15500023
  • [Journal Article] 拡張に適したアクティブソフトウェアの設計解析法2005

    • Author(s)
      渡邉勝正, 井上晶広, 伴野 充, 蔵川 圭, 中西正樹, 山下 茂
    • Journal Title

      日本ソフトウェア科学会第22回大会論文集 2005、Spe(CD-ROM)

    • NAID

      130004638927

    • Description
      「研究成果報告書概要(和文)」より
    • Data Source
      KAKENHI-PROJECT-15500023
  • [Journal Article] Method of Analysis and Design of extensible Active Software2005

    • Author(s)
      K.Watanabe, A.Inoue, K, Kurakawa, M.Nakanishi, S.Yamashita
    • Journal Title

      22-th Conference of Japan Society for Software Science and Technology (CD-ROM)

    • Description
      「研究成果報告書概要(欧文)」より
    • Data Source
      KAKENHI-PROJECT-15500023
  • [Journal Article] Assertion Verification Design by Active Software2005

    • Author(s)
      K.Watanabe, A.Inoue, M.Tomono, K.Kurakawa, M.Nakanishi, S.Yamashita
    • Journal Title

      Computer Software Vol.22, No.3

      Pages: 76-91

    • Description
      「研究成果報告書概要(欧文)」より
    • Data Source
      KAKENHI-PROJECT-15500023
  • [Journal Article] 拡張に適したアクテイブソフトウェアの設計解析法2005

    • Author(s)
      渡邉勝正, 井上晶広, 蔵川 圭, 中西正樹, 山下 茂
    • Journal Title

      日本ソフトウェア科学会第22回大会論文集 2005,Sep(CD-ROM)

    • Data Source
      KAKENHI-PROJECT-15500023
  • [Journal Article] Online FPGA Placement under I/O Timing Constraints2005

    • Author(s)
      M.Tomono, M.Nakanishi, S.Yamashita, K.Watanabe
    • Journal Title

      電子情報通信学会技術研究報告,RECONF 2005-73

      Pages: 7-12

    • NAID

      110004019726

    • Data Source
      KAKENHI-PROJECT-15500023
  • [Journal Article] Event-Oriented Computing with Reconfigurable Platform2005

    • Author(s)
      M.Tomono, M.Nakanishi, S.Yamashita, K.Watanabe
    • Journal Title

      In Proc. of the 10th Asia and South Pacific Design Automation Conference ASP-DAC 2005

      Pages: 1248-1251

    • Description
      「研究成果報告書概要(和文)」より
    • Data Source
      KAKENHI-PROJECT-15500023
  • [Journal Article] 耐タンパCPUによるプログラム実行の証明2004

    • Author(s)
      岡崎篤也, 中西正樹, 山下茂, 渡邉勝正
    • Journal Title

      情報処理学会研究会報告CSECコンピュータセキュリティ Vol.2004, No.75

      Pages: 165-170

    • NAID

      110003296477

    • Data Source
      KAKENHI-PROJECT-15500023
  • [Journal Article] CPUによるマルウェアコードの実行防止2004

    • Author(s)
      岡崎篤也, 中西正樹, 山下茂, 渡邉勝正
    • Journal Title

      コンピュータセキュリティシンポジウム2004 CSS2004

      Pages: 421-426

    • Description
      「研究成果報告書概要(和文)」より
    • Data Source
      KAKENHI-PROJECT-15500023
  • [Journal Article] Blocking Malware Code Execution by CPU2004

    • Author(s)
      A.Okazaki, M.Nakanishi, S.Yamashita, K.Watanabe
    • Journal Title

      Computer Security Symposium 2004 (CSS2004)

      Pages: 421-426

    • Description
      「研究成果報告書概要(欧文)」より
    • Data Source
      KAKENHI-PROJECT-15500023
  • [Journal Article] ソフトウェアの自己変更を支援する機構について2004

    • Author(s)
      渡邉勝正, 井上晶広, 山田洋平, 中西正樹, 山下茂
    • Journal Title

      電子情報通信学会 ソフトウェアサイエンス研究会 信学技報 SS2004-34

      Pages: 1-6

    • NAID

      110003277239

    • Data Source
      KAKENHI-PROJECT-15500023
  • [Journal Article] コンポーネントベース開発のためのアプリケーションフレームワーク2004

    • Author(s)
      井上晶広, 蔵川圭, 中西正樹, 渡邉勝正
    • Journal Title

      情報科学技術フォーラムFIT,情報科学技術レターズ 3

      Pages: 9-11

    • Data Source
      KAKENHI-PROJECT-15500023
  • [Journal Article] Active Software with arrays of Active Functions2003

    • Author(s)
      K.Watanabe, Lo Fuchuan, A.Inoue, K, Kuwakawa, T.Mizuhara, M.Nakanishi
    • Journal Title

      20-th Conference of Japan Society for Software Science and Technology (CD-ROM)

    • NAID

      130004638807

    • Description
      「研究成果報告書概要(欧文)」より
    • Data Source
      KAKENHI-PROJECT-15500023
  • [Journal Article] 能動関数の配列によるアクティブソフトウェアの構成2003

    • Author(s)
      渡邉勝正, 駱 福全, 井上晶広, 桑川栄一, 水原隆道, 中西正樹
    • Journal Title

      日本ソフトウェア科学会第20回大会論文集 2003、Sep(CD-RIM)

    • NAID

      130004638807

    • Description
      「研究成果報告書概要(和文)」より
    • Data Source
      KAKENHI-PROJECT-15500023
  • [Patent] マイクロプロセッサ、ノード端末、コンピュータシステム及びプログラム実行証明方法2005

    • Inventor(s)
      岡崎, 中西, 山下, 渡邉
    • Industrial Property Rights Holder
      岡崎, 中西, 山下, 渡邉
    • Industrial Property Number
      2005-013190
    • Filing Date
      2005-01-20
    • Description
      「研究成果報告書概要(和文)」より
    • Data Source
      KAKENHI-PROJECT-15500023
  • 1.  TAKAGI Kazuyoshi (70273844)
    # of Collaborated Projects: 4 results
    # of Collaborated Products: 0 results
  • 2.  KIMURA Shinji (20183303)
    # of Collaborated Projects: 4 results
    # of Collaborated Products: 0 results
  • 3.  KUNISHIMA Takeo (20263436)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 0 results
  • 4.  NAKANISHI Masaki (40324967)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 22 results
  • 5.  HORIYAMA Takashi (60314530)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 6.  YAMASHITA Shigeru (30362833)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 19 results
  • 7.  KURAKAWA Kei (10332769)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 7 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