SAKUMA Yutaka | Aerodynamics Laboratory, Railway Technical Research Institute
スポンサーリンク
概要
論文 | ランダム
- プログラム検証支援のためのプレスブルガー文真偽判定ルーチンの高速化
- マルチスレッド機構を用いたLOTOS仕様実行方式とその評価
- マルチスレッド化目的コードを生成するLOTOSコンパイラの評価
- 全ての変数が存在記号で束縛された冠頭標準形プレスブルガー文の真偽判定プログラム
- 時間制約付LOTOSで記述された分散システムの全体仕様から各ノードの動作仕様の自動生成