2024-03-28T23:45:38Zhttps://ipsj.ixsq.nii.ac.jp/ej/?action=repository_oaipmhoai:ipsj.ixsq.nii.ac.jp:001281342023-11-17T02:17:36Z06504:08089:08091
マルチスレッド機構を用いたLOTOS仕様実行方式とその評価An Implementation and Evaluation of LOTOS Specifications using Multi-thread Mechanismjpnhttp://id.nii.ac.jp/1001/00128319/Conference Paperhttps://ipsj.ixsq.nii.ac.jp/ej/?action=repository_action_common_download&item_id=128134&item_no=1&attribute_id=1&file_no=1滋賀大学 経済学部 情報管理学科大阪大学 基礎工学部 情報工学科大阪大学 基礎工学部 情報工学科大阪市立大学 生活科学部安本, 慶一東野, 輝夫谷口, 健一松浦, 敏雄形式記述言語LOTOSによるシステムの仕様を効率良く実行するためには,マルチランデブと呼ばれる複数並列プロセス間でのイベントの同期実行を高速に実現する必要がある.本稿では,マルチスレッド機構を用いた効率の良いLOTOS仕様の実行方式を提案する.AN00349328全国大会講演論文集第51回ネットワーク97981995-09-202015-01-20