WATANABE Katsumasa 渡邉勝正

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

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

WATANABE Katsumasa 渡邉 勝正

Research Projects

Research Products

Co-Researchers

Support Environment for Active SoftwarePrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Implementation of Adaptable Hardware and Software for Changing EnvironmentPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

コンテンフに適応する発展的ソフトウェアの構成法Principal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Institution

コンテンツに適応する発展的ソフトウェアの構成法Principal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Institution

Research on Reconfigurable General Purpose Co-processor Systems and Their Optimized Hardware/Software Codesign CompilerPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

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

Author(s)

Journal Title

NAID

Data Source

[Journal Article] Reconfigurable 1-Bit Processor Array with Reduced Wiring Area2005

Author(s)

Journal Title

NAID

Description

Data Source

[Journal Article] 能動関数によるアサーション検証設計2005

Author(s)

Journal Title

NAID

Description

Data Source

[Journal Article] Event-Oriented Computing with Reconfigurable Platform2005

Author(s)

Journal Title

Description

Data Source

[Journal Article] Reconfigurable 1-Bit Processor Array with Reduced Wiring Area2005

Author(s)

Journal Title

NAID

Data Source

[Journal Article] Reconfigurable 1-Bit Processor Array with Reduced Wiring Area2005

Author(s)

Journal Title

NAID

Description

Data Source

[Journal Article] 配線リソースを考慮した再構成可能1bitプロセッサアレイ2005

Author(s)

Journal Title

NAID

Data Source

[Journal Article] 能動関数によるアサーション検証設計2005

Author(s)

Journal Title

NAID

Data Source

[Journal Article] 不正者を識別可能な量子秘密分散法2005

Author(s)

Journal Title

NAID

Data Source

WATANABE Katsumasa 渡邉勝正