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

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

,  

[発表日]2000/5/12
[資料番号]
目次

,  

[発表日]2000/5/12
[資料番号]
実時間システムの演繹的検証

山ノ口 崇,  山根 智,  

[発表日]2000/5/12
[資料番号]SS2000-6
OSスケジューラプログラムの自動検証の実験的研究

菅藤 真,  山根 智,  

[発表日]2000/5/12
[資料番号]SS2000-7
打切りのある繰返しをもつプログラム構造の形式化

佐藤 匡正,  

[発表日]2000/5/12
[資料番号]SS2000-8
ユーザにごみ集めを意識させないCライブラリの設計法

西田 直樹,  酒井 正彦,  坂部 俊樹,  

[発表日]2000/5/12
[資料番号]SS2000-9
分散並列処理による素因数分解の高速化

鶴沢 偉伸,  坂ノ上 守夫,  由井薗 隆也,  渕田 孝康,  中山 茂,  村島 定行,  

[発表日]2000/5/12
[資料番号]SS2000-10
[OTHERS]

,  

[発表日]2000/5/12
[資料番号]