並行程式的規格與設計之研究

完整後設資料紀錄

DC 欄位	值	語言
dc.contributor.author	趙善中	en_US
dc.contributor.author	Zhao, Shan-Zhong	en_US
dc.contributor.author	楊鍵樵	en_US
dc.contributor.author	Yang, Jian-Qiao	en_US
dc.date.accessioned	2014-12-12T02:02:00Z	-
dc.date.available	2014-12-12T02:02:00Z	-
dc.date.issued	1980	en_US
dc.identifier.uri	http://140.113.39.130/cdrfb3/record/nctu/#NT694241039	en_US
dc.identifier.uri	http://hdl.handle.net/11536/51352	-
dc.description.abstract	本文提出一「公式化抽象描述方法」來對順序程式和並行程式做描述與驗證。通常一個程式是由一些功能運算和資料結構所組成; 而藉著功能運算和資料結構的分別描述, 我們可以建立起順序程式的描述。同樣地, 利用「公式化抽象描述方法」, 我們也能建立並行程式的描述, 且進一步地設計出一些應用管理者的并行程式, 這些管理者是用來控制並行程式中眾多程序間的交互作用。最後, 用公式化的證明方法, 我們所設計的並行程式是可以被驗證和其當初的描述符合。	zh_TW
dc.language.iso	zh_TW	en_US
dc.subject	並行	zh_TW
dc.subject	程式	zh_TW
dc.subject	規格	zh_TW
dc.subject	設計	zh_TW
dc.subject	公式化	zh_TW
dc.subject	抽像	zh_TW
dc.subject	描述	zh_TW
dc.subject	方法	zh_TW
dc.subject	電腦	zh_TW
dc.subject	資訊科學	zh_TW
dc.subject	COMPUTER	en_US
dc.subject	INFORMATION	en_US
dc.title	並行程式的規格與設計之研究	zh_TW
dc.type	Thesis	en_US
dc.contributor.department	資訊科學與工程研究所	zh_TW
顯示於類別：	畢業論文