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

渡邉 勝正  WATANABE Katsumasa

ORCIDORCID連携する *注記
… 別表記

渡邊 勝正  WATANABE Katsumasa

隠す
研究者番号 60026078
その他のID
外部サイト
所属 (過去の研究課題情報に基づく) *注記 2003年度 – 2005年度: 奈良先端科学技術大学院大学, 情報科学研究科, 教授
1995年度 – 2001年度: 奈良先端科学技術大学院大学, 情報科学研究科, 教授
審査区分/研究分野
研究代表者
計算機科学 / ソフトウエア
キーワード
研究代表者
ソフトウェア協調設計 / ハードウェア / OBDD / アクティブソフトウェア / High Level Synthesis / 論理合成 / 高位合成 / 能動関数 / 汎用コプロセッサ / Pocエディタ … もっと見る / 細胞プログラミング / 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 / ハードウェアアクセラレータ / 再構成可能システム / ソフトウェア協調動作 / ソフトウェアコデザイン / 再構成可能プロセッサ / 動的結合機構 / 能動形計算モデル / 発展するソフトウェア構成法 / 手指動作記述文 / 前条件・後条件 / パターン細胞 / 発展的ソフトウェア構成法 隠す
  • 研究課題

    (5件)
  • 研究成果

    (23件)
  • 共同研究者

    (7人)
  •  アクティブソフトウェアの開発環境の構成に関する研究研究代表者

    • 研究代表者
      渡邉 勝正
    • 研究期間 (年度)
      2003 – 2005
    • 研究種目
      基盤研究(C)
    • 研究分野
      ソフトウエア
    • 研究機関
      奈良先端科学技術大学院大学
  •  環境適応型のハードウェアとソフトウェアの構成手法に関する研究研究代表者

    • 研究代表者
      渡邉 勝正
    • 研究期間 (年度)
      1999 – 2001
    • 研究種目
      基盤研究(B)
    • 研究分野
      計算機科学
    • 研究機関
      奈良先端科学技術大学院大学
  •  コンテンフに適応する発展的ソフトウェアの構成法研究代表者

    • 研究代表者
      渡邉 勝正
    • 研究期間 (年度)
      1997
    • 研究種目
      重点領域研究
    • 研究機関
      奈良先端科学技術大学院大学
  •  コンテンツに適応する発展的ソフトウェアの構成法研究代表者

    • 研究代表者
      渡邉 勝正
    • 研究期間 (年度)
      1997 – 1998
    • 研究種目
      特定領域研究(A)
    • 研究機関
      奈良先端科学技術大学院大学
  •  内部構造が可変な汎用コプロセッサシステムおよびその最適化コンパイラに関する研究研究代表者

    • 研究代表者
      渡邊 勝正 (渡邉 勝正)
    • 研究期間 (年度)
      1995 – 1997
    • 研究種目
      基盤研究(B)
    • 研究分野
      計算機科学
    • 研究機関
      奈良先端科学技術大学院大学

すべて 2006 2005 2004 2003

すべて 雑誌論文 産業財産権

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

    • 著者名/発表者名
      渡邉勝正, 駱 福全, 中西正樹, 山下茂
    • 雑誌名

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

      ページ: 31-36

    • NAID

      110004662812

    • データソース
      KAKENHI-PROJECT-15500023
  • [雑誌論文] Reconfigurable 1-Bit Processor Array with Reduced Wiring Area2005

    • 著者名/発表者名
      N.Nakai, M.Nakanishi, S.Yamashita, K.Watanabe
    • 雑誌名

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

      ページ: 225-231

    • NAID

      110003295373

    • 説明
      「研究成果報告書概要(和文)」より
    • データソース
      KAKENHI-PROJECT-15500023
  • [雑誌論文] 能動関数によるアサーション検証設計2005

    • 著者名/発表者名
      渡邉勝正, 井上晶広, 伴野 充, 蔵川 圭, 中西正樹, 山下 茂
    • 雑誌名

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

      ページ: 76-91

    • NAID

      110008016661

    • 説明
      「研究成果報告書概要(和文)」より
    • データソース
      KAKENHI-PROJECT-15500023
  • [雑誌論文] Event-Oriented Computing with Reconfigurable Platform2005

    • 著者名/発表者名
      M.Tomono, M.Nakanishi, S.Yamashita, K.Watanabe
    • 雑誌名

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

      ページ: 1248-1251

    • 説明
      「研究成果報告書概要(欧文)」より
    • データソース
      KAKENHI-PROJECT-15500023
  • [雑誌論文] Reconfigurable 1-Bit Processor Array with Reduced Wiring Area2005

    • 著者名/発表者名
      N.Nakai, M.Nakanishi, S.Yamashita, K.Watanabe
    • 雑誌名

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

      ページ: 225-231

    • NAID

      110003295373

    • データソース
      KAKENHI-PROJECT-15500023
  • [雑誌論文] Reconfigurable 1-Bit Processor Array with Reduced Wiring Area2005

    • 著者名/発表者名
      N.Nakai, M.Nakanishi, S.Yamashita, K.Watanabe
    • 雑誌名

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

      ページ: 225-231

    • NAID

      110003295373

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

    • 著者名/発表者名
      中井伸郎, 中西正樹, 山下茂, 渡邉勝正
    • 雑誌名

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

      ページ: 7-12

    • NAID

      110003295373

    • データソース
      KAKENHI-PROJECT-15500023
  • [雑誌論文] 能動関数によるアサーション検証設計2005

    • 著者名/発表者名
      渡邉勝正, 井上晶広, 伴野 充, 蔵川 圭, 中西正樹, 山下 茂
    • 雑誌名

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

      ページ: 76-91

    • NAID

      110008016661

    • データソース
      KAKENHI-PROJECT-15500023
  • [雑誌論文] 不正者を識別可能な量子秘密分散法2005

    • 著者名/発表者名
      村上ユミコ, 中西正樹, 山下 茂, 渡邉勝正
    • 雑誌名

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

      ページ: 89-92

    • NAID

      110003298621

    • データソース
      KAKENHI-PROJECT-15500023
  • [雑誌論文] 拡張に適したアクティブソフトウェアの設計解析法2005

    • 著者名/発表者名
      渡邉勝正, 井上晶広, 伴野 充, 蔵川 圭, 中西正樹, 山下 茂
    • 雑誌名

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

    • NAID

      130004638927

    • 説明
      「研究成果報告書概要(和文)」より
    • データソース
      KAKENHI-PROJECT-15500023
  • [雑誌論文] Method of Analysis and Design of extensible Active Software2005

    • 著者名/発表者名
      K.Watanabe, A.Inoue, K, Kurakawa, M.Nakanishi, S.Yamashita
    • 雑誌名

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

    • 説明
      「研究成果報告書概要(欧文)」より
    • データソース
      KAKENHI-PROJECT-15500023
  • [雑誌論文] Assertion Verification Design by Active Software2005

    • 著者名/発表者名
      K.Watanabe, A.Inoue, M.Tomono, K.Kurakawa, M.Nakanishi, S.Yamashita
    • 雑誌名

      Computer Software Vol.22, No.3

      ページ: 76-91

    • 説明
      「研究成果報告書概要(欧文)」より
    • データソース
      KAKENHI-PROJECT-15500023
  • [雑誌論文] 拡張に適したアクテイブソフトウェアの設計解析法2005

    • 著者名/発表者名
      渡邉勝正, 井上晶広, 蔵川 圭, 中西正樹, 山下 茂
    • 雑誌名

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

    • データソース
      KAKENHI-PROJECT-15500023
  • [雑誌論文] Online FPGA Placement under I/O Timing Constraints2005

    • 著者名/発表者名
      M.Tomono, M.Nakanishi, S.Yamashita, K.Watanabe
    • 雑誌名

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

      ページ: 7-12

    • NAID

      110004019726

    • データソース
      KAKENHI-PROJECT-15500023
  • [雑誌論文] Event-Oriented Computing with Reconfigurable Platform2005

    • 著者名/発表者名
      M.Tomono, M.Nakanishi, S.Yamashita, K.Watanabe
    • 雑誌名

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

      ページ: 1248-1251

    • 説明
      「研究成果報告書概要(和文)」より
    • データソース
      KAKENHI-PROJECT-15500023
  • [雑誌論文] 耐タンパCPUによるプログラム実行の証明2004

    • 著者名/発表者名
      岡崎篤也, 中西正樹, 山下茂, 渡邉勝正
    • 雑誌名

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

      ページ: 165-170

    • NAID

      110003296477

    • データソース
      KAKENHI-PROJECT-15500023
  • [雑誌論文] CPUによるマルウェアコードの実行防止2004

    • 著者名/発表者名
      岡崎篤也, 中西正樹, 山下茂, 渡邉勝正
    • 雑誌名

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

      ページ: 421-426

    • 説明
      「研究成果報告書概要(和文)」より
    • データソース
      KAKENHI-PROJECT-15500023
  • [雑誌論文] Blocking Malware Code Execution by CPU2004

    • 著者名/発表者名
      A.Okazaki, M.Nakanishi, S.Yamashita, K.Watanabe
    • 雑誌名

      Computer Security Symposium 2004 (CSS2004)

      ページ: 421-426

    • 説明
      「研究成果報告書概要(欧文)」より
    • データソース
      KAKENHI-PROJECT-15500023
  • [雑誌論文] ソフトウェアの自己変更を支援する機構について2004

    • 著者名/発表者名
      渡邉勝正, 井上晶広, 山田洋平, 中西正樹, 山下茂
    • 雑誌名

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

      ページ: 1-6

    • NAID

      110003277239

    • データソース
      KAKENHI-PROJECT-15500023
  • [雑誌論文] コンポーネントベース開発のためのアプリケーションフレームワーク2004

    • 著者名/発表者名
      井上晶広, 蔵川圭, 中西正樹, 渡邉勝正
    • 雑誌名

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

      ページ: 9-11

    • データソース
      KAKENHI-PROJECT-15500023
  • [雑誌論文] Active Software with arrays of Active Functions2003

    • 著者名/発表者名
      K.Watanabe, Lo Fuchuan, A.Inoue, K, Kuwakawa, T.Mizuhara, M.Nakanishi
    • 雑誌名

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

    • NAID

      130004638807

    • 説明
      「研究成果報告書概要(欧文)」より
    • データソース
      KAKENHI-PROJECT-15500023
  • [雑誌論文] 能動関数の配列によるアクティブソフトウェアの構成2003

    • 著者名/発表者名
      渡邉勝正, 駱 福全, 井上晶広, 桑川栄一, 水原隆道, 中西正樹
    • 雑誌名

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

    • NAID

      130004638807

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

    • 発明者名
      岡崎, 中西, 山下, 渡邉
    • 権利者名
      岡崎, 中西, 山下, 渡邉
    • 産業財産権番号
      2005-013190
    • 出願年月日
      2005-01-20
    • 説明
      「研究成果報告書概要(和文)」より
    • データソース
      KAKENHI-PROJECT-15500023
  • 1.  高木 一義 (70273844)
    共同の研究課題数: 4件
    共同の研究成果数: 0件
  • 2.  木村 晋二 (20183303)
    共同の研究課題数: 4件
    共同の研究成果数: 0件
  • 3.  國島 丈生 (20263436)
    共同の研究課題数: 2件
    共同の研究成果数: 0件
  • 4.  中西 正樹 (40324967)
    共同の研究課題数: 2件
    共同の研究成果数: 22件
  • 5.  堀山 貴史 (60314530)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 6.  山下 茂 (30362833)
    共同の研究課題数: 1件
    共同の研究成果数: 19件
  • 7.  蔵川 圭 (10332769)
    共同の研究課題数: 1件
    共同の研究成果数: 7件

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