| 题名: | detection of a set of states in distributed systems |
| 作者: | Huang Hongtao
|
| 会议文集: | Proceedings - Asia-Pacific Software Engineering Conference, APSEC
|
| 会议名称: | 15th Asia-Pacific Software Engineering Conference
|
| 会议日期: | DEC 02-05,
|
| 出版日期: | 2008
|
| 会议地点: | Beijing, PEOPLES R CHINA
|
| 关键词: | disjunctive normal form
; distributed system debugging
; distributed system testing
; predicate detection
; state space detection
; distributed processing
; program debugging
; program testing
|
| 出版者: | APSEC 2008:15TH ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE, PROCEEDINGS
|
| 出版地: | 10662 LOS VAQUEROS CIRCLE, PO BOX 3014, LOS ALAMITOS, CA 90720-1264 USA
|
| ISSN: | 1530-1362
|
| ISBN: | 978-0-7695-3446-6
|
| 部门归属: | Huang, Hongtao Chinese Acad Sci, State Key Lab Comp Sci, Inst Software, Beijing 100190, Peoples R China.
|
| 主办者: | Natl Nat Sci Fdn China, Chinese Acad Sci, Inst Software
|
| 英文摘要: | This paper discusses detection of a set of states in Definitely modality in a distributed system, which means determining whether all paths from the initial state to the final state in the state space of the distributed computation pass throug |
| 内容类型: | 会议论文
|
| URI标识: | http://ir.iscas.ac.cn/handle/311060/10610
|
| Appears in Collections: | 计算机科学国家重点实验室 _会议论文
|
| File Name/ File Size |
Content Type |
Version |
Access |
License |
|
|---|
| 04724558.pdf（242KB） | -- | -- | 限制开放 | -- | 联系获取全文 |
|
| Recommended Citation: | |
Huang Hongtao. detection of a set of states in distributed systems[C]. 见:15th Asia-Pacific Software Engineering Conference. Beijing, PEOPLES R CHINA. DEC 02-05,.
|
|
|
