情報・システム-ソフトウェアサイエンス(開催日：2001/05/21)

タイトル/著者/発表日/資料番号
表紙

,  

[発表日]2001/5/21
[資料番号]
目次

,  

[発表日]2001/5/21
[資料番号]
真の並行プロセス代数のためのプロセス論理における充足可能性の決定不能性

磯部 祥尚,  大蒔 和仁,  

[発表日]2001/5/21
[資料番号]SS2001-1
演繹的モデル検査による自動詳細化検証手法

梅田 謹公,  山根 智,  

[発表日]2001/5/21
[資料番号]SS2001-2
プログラムスライシングによるプログラムのモデル検査手法

菅藤 真,  瀬口 俊和,  山根 智,  

[発表日]2001/5/21
[資料番号]SS2001-3
マルチプロセッサシステムにおける並列タスクスケジューリングについての一考察

多田 昭雄,  中村 良三,  

[発表日]2001/5/21
[資料番号]SS2001-4
連立方程式による周波数分析における数値計算アルゴリズムの比較

太田 諦二,  

[発表日]2001/5/21
[資料番号]SS2001-5
[OTHERS]

,  

[発表日]2001/5/21
[資料番号]