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

CHERIF Adel  ADEL Cherif

ORCIDConnect your ORCID iD *help
Researcher Number 10303322
Affiliation (based on the past Project Information) *help 1999 – 2002: 北陸先端科学技術大学院大学, 情報科学研究科, 助手
2001: 北陸先端科学技術大学院大学, 情報科学研究科・文部科学教官, 助手
Review Section/Research Field
Principal Investigator
計算機科学
Except Principal Investigator
計算機科学
Keywords
Principal Investigator
グループコミュニケーション / 分散システム / アトミック・ブロードキャスト / ネットワークセントリックコンピューティング / グループメンバシップサービス / モバイルエージェント / wide-area networks / fault tolerance / e-commerce / Net-centric computing … More / Failure detectors / Group communication / Mobile computing / Dependable computing / Mobile Agents / 並列計算 / リプリカマネージメント / リプリケーション / レプリケーション / レプリカ マネージメント / スケジューリング / グレープコミュニケーション / フォールトトレランス … More
Except Principal Investigator
concurrent object / thread / concurrent regular expression / theorem proving system / formal method / analysis model / embedded system / object-oriented method / 実時間OS / オブジェクト / 形式的オブジェクト指向方法論 / 定理証明 / 組み込みシステム / 並行オブジェクト / スレッド / 並行正規表現 / 定理証明システム / 形式的方法論 / 分析モデル / 組込みシステム / オブジェクト指向方法論 Less
  • Research Projects

    (3 results)
  • Co-Researchers

    (3 People)
  •  ネットワークセントリックアプリケーションのためのシステムサポートに関する研究Principal Investigator

    • Principal Investigator
      CHERIF Adel
    • Project Period (FY)
      2001 – 2002
    • Research Category
      Grant-in-Aid for Young Scientists (B)
    • Research Field
      計算機科学
    • Research Institution
      Japan Advanced Institute of Science and Technology
  •  Research on construction of embedded software using formal object-oriented methods

    • Principal Investigator
      KATAYAMA Takuya
    • Project Period (FY)
      2000 – 2002
    • Research Category
      Grant-in-Aid for Scientific Research (B)
    • Research Field
      計算機科学
    • Research Institution
      JAPAN ADVANCED INSTITUTE OF SCIENCE AND TECHNOLOGY
  •  フォールトトレランスを実現するためのレプリカマネージメントに関する研究Principal Investigator

    • Principal Investigator
      CHERIF Adel
    • Project Period (FY)
      1999 – 2000
    • Research Category
      Grant-in-Aid for Encouragement of Young Scientists (A)
    • Research Field
      計算機科学
    • Research Institution
      Japan Advanced Institute of Science and Technology
  • 1.  KATAYAMA Takuya (70016468)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 2.  AOKI Toshiaki (20313702)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 3.  伊藤 恵 (30303324)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 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