| Title: | detection of a set of states in distributed systems |
| Author: | Huang Hongtao
|
| Source: | Proceedings - Asia-Pacific Software Engineering Conference, APSEC
|
| Conference Name: | 15th Asia-Pacific Software Engineering Conference
|
| Conference Date: | DEC 02-05,
|
| Issued Date: | 2008
|
| Conference Place: | Beijing, PEOPLES R CHINA
|
| Keyword: | disjunctive normal form
; distributed system debugging
; distributed system testing
; predicate detection
; state space detection
; distributed processing
; program debugging
; program testing
|
| Publisher: | APSEC 2008:15TH ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE, PROCEEDINGS
|
| Publish Place: | 10662 LOS VAQUEROS CIRCLE, PO BOX 3014, LOS ALAMITOS, CA 90720-1264 USA
|
| ISSN: | 1530-1362
|
| ISBN: | 978-0-7695-3446-6
|
| Department: | Huang, Hongtao Chinese Acad Sci, State Key Lab Comp Sci, Inst Software, Beijing 100190, Peoples R China.
|
| Sponsorship: | Natl Nat Sci Fdn China, Chinese Acad Sci, Inst Software
|
| English Abstract: | 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 |
| Content Type: | 会议论文
|
| 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,.
|
|
|
