Rchr
J-GLOBAL ID:200901023652457914   Update date: Aug. 26, 2020

HIROMI HIRAISHI

ヒライシ ヒロミ | HIROMI HIRAISHI
Affiliation and department:
Job title: Director of Research Institute of Advanced Technology, Kyoto Sangyo Univ.,Professor of Faculty of Engineering
Research field  (3): Information networks ,  Computer systems ,  Information theory
Research keywords  (3): 形式的設計検証 並列アルゴリズム ,  Parallel Algorithm ,  Formal Verification
Research theme for competitive and other funds  (4):
  • 1998 - 並列計算に関する研究
  • 1998 - Study on Parallel Computing
  • 1984 - 形式的設計検証に関する研究
  • 1984 - Study on Formal Design Verification
MISC (91):
Patents (6):
  • マルチスクリーン図形表示装置および方法
  • グラフィック表示方式
  • ライトペングラフィックス方式
  • Multi-Screen Display Device and Architecture
  • Graphic Display Architecture
more...
Books (39):
  • Performance Evaluation of Parallel Bitonic Sorting Algorithm on Cluster System
    Report of Research Institute of Advanced Sciense and Technology 2003
  • Symbolic Model Checking of Deadlock Free Property of Task Control Architecture
    IEICE Trans. Information and Systems 2002
  • Verification of Deadlock Free Property of Asynchronous Robot Control Program
    Report of Research Institute of Advanced Sciense and Technology 2002
  • Verification of Deadlock Free Property of High Level Robot Control
    Proc.9th Asian Test Symposium 2000
  • Yet More Image Computations for SMV, the Symbolic Model Verifier
    Systems and Computers in Japan 2000
more...
Lectures and oral presentations  (113):
  • 無限状態遷移システムの設計検証 -ケース・スタディ: ランポートのパン屋アルゴリズムのモデル検査-
    (DTC研究会 2015)
  • ケーススタディ反例を利用した抽象モデルの構築ービザンチン将軍問題ー
    (DTC研究会 2014)
  • 記号モデル検査による形式的論理設計検証
    (第25回京都産業大学コンピュータ理工学部コロキウム 2013)
  • 反例を利用した抽象モデルの構築に向けて
    (DTC研究会 2013)
  • GPGPUによる組合せ論理回路の論理シミュレーション
    (DTC研究会 2012)
more...
Works (8):
  • モデル検査を用いた大規模システム検証技術の開発研究
    2007 - 2012
  • システム検証技術の実用化に関する研究
    2005 - 2007
  • スーパクラスタシステムの効率化とその応用
    2000 - 2005
  • 情報技術革命を支える高性能・高効率計算システムの研究
    2001 - 2004
  • 超高速ネットワークによるマルチメディアシステムの研究
    1998 - 1999
more...
Education (4):
  • - 1975 京都大学大学院 電気工学第II専攻
  • - 1975 Kyoto University Electric Engineering II
  • - 1973 Kyoto University
  • - 1973 Kyoto University Electronic Engineering
Professional career (1):
  • Doctor of Engineering (Kyoto University)
Work history (13):
  • 2008 - 現在 Kyoto Sangyo University Faculty of Computer Science and Engineering
  • 2011 - 2014 京都産業大学大学院先端情報学研究科長
  • 2008 - 2014 Kyoto Sangyo University Faculty of Computer Science and Engineering
  • 1991 - 2008 Kyoto Sangyo University Faculty of Engineering
  • 2001 - 2004 Kyoto Sangyo University Institute of Advanced Technology
Show all
Committee career (8):
  • 2006 - 第15回アジアテストシンポジウム実行委員長 2006年
  • 2002 - 第47回FTC研究会開催担当幹事 2002年
  • 2002 - 電子情報通信学会英文論文誌D「Special Issue on Test and Verification of VLSI」特集号編集委員長 2002年
  • 2001 - 第10回アジアテストシンポジウムプログラム委員長 2001年
  • ATS国際会議プログラム委員
Show all
Awards (3):
  • 2007 - IEEE CS 感謝状
  • 2001 - アジアテストシンポジウム功労賞 (Certificate of Appreciation for dedicated service to the Asian Test Symposium and the Asian Activities of the IEEE TTTC)
  • 2001 - Certificate of Appreciation for dedicated service to the Asian Test Symposium and the Asian Activities of the IEEE TTTC
Association Membership(s) (8):
ACM ,  IEEE ,  電子情報通信学会 ,  情報処理学会 ,  ACM ,  IEEE ,  IEICE ,  IPSJ
※ Researcher’s information displayed in J-GLOBAL is based on the information registered in researchmap. For details, see here.

Return to Previous Page