連結式全域述句偵測中無用事件之排除

完整後設資料紀錄

DC 欄位	值	語言
dc.contributor.author	黃廷祿	en_US
dc.date.accessioned	2014-12-13T10:38:06Z	-
dc.date.available	2014-12-13T10:38:06Z	-
dc.date.issued	1998	en_US
dc.identifier.govdoc	NSC87-2213-E009-009	zh_TW
dc.identifier.uri	http://hdl.handle.net/11536/95050	-
dc.identifier.uri	https://www.grb.gov.tw/search/planDetail?id=356178&docId=63780	en_US
dc.description.abstract	針對分散式程式進行除錯及測試工作時, 一項很重要的關鍵技術是偵測全域述句(globalpredicates) 的真偽值。因為一般形式的全域述句須處理呈組合爆炸(combinatorialexplosion) 成長的可能狀態, 故傳統上多以偵測表達能力較弱但可處理 (tractable) 的連結式 (conjunctive) 全域述句。這種作法將全域述句在邏輯層次上分解成多個區域述句, 每個區域述句皆可由單一的程序來個別偵測。各個程式會將引發區域述句成立的事件統一送至一偵測程序 (checker process), 由偵測程序來決定這些個別的區域事件是否可形成一致的全域事件, 進而決定此全域述句是否成立。本計畫即針對傳統連結式全域述句的偵測方法, 提出可以利用偵測程序的空閒時間 (idle time), 預先找出並除去事件佇列中無用 (useless) 事件的改進方法。這個方法可以減低佇列的空間需求並加快述句偵測的處理時間。以往研究者所做的結果並無法找出並除去所有無用的事件。我們計畫改進這個缺點,找出所有不必要的事件, 而且希望所提出的方法可以平行處理, 以減低演算法本身的複雜度。	zh_TW
dc.description.sponsorship	行政院國家科學委員會	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	Distributed program	en_US
dc.subject	Distributed testing	en_US
dc.subject	Distributed debugging	en_US
dc.subject	Global predicate	en_US
dc.subject	Consistent globe event	en_US
dc.subject	Consistent event set	en_US
dc.title	連結式全域述句偵測中無用事件之排除	zh_TW
dc.title	Removing Useless Events in Detecting Conjunctive Global Predicates	en_US
dc.type	Plan	en_US
dc.contributor.department	交通大學資訊工程系	zh_TW
顯示於類別：	研究計畫

文件中的檔案：

872213E009009.pdf

若為 zip 檔案，請下載檔案解壓縮後，用瀏覽器開啟資料夾中的 index.html 瀏覽全文。