Please use this identifier to cite or link to this item:
http://hdl.handle.net/10397/105728
DC Field | Value | Language |
---|---|---|
dc.contributor | Department of Computing | - |
dc.creator | Zhu, W | - |
dc.creator | Cao, J | - |
dc.creator | Raynal, M | - |
dc.date.accessioned | 2024-04-15T07:36:16Z | - |
dc.date.available | 2024-04-15T07:36:16Z | - |
dc.identifier.issn | 0018-9340 | - |
dc.identifier.uri | http://hdl.handle.net/10397/105728 | - |
dc.language.iso | en | en_US |
dc.publisher | Institute of Electrical and Electronics Engineers | en_US |
dc.rights | © 2015 IEEE. Personal use of this material is permitted. Permission from IEEE must be obtained for all other uses, in any current or future media, including reprinting/republishing this material for advertising or promotional purposes, creating new collective works, for resale or redistribution to servers or lists, or reuse of any copyrighted component of this work in other works. | en_US |
dc.rights | The following publication W. Zhu, J. Cao and M. Raynal, "Predicate Detection in Asynchronous Distributed Systems: A Probabilistic Approach," in IEEE Transactions on Computers, vol. 65, no. 1, pp. 173-186, 1 Jan. 2016 is available at https://doi.org/10.1109/TC.2015.2409839. | en_US |
dc.subject | Asynchronous distributed systems | en_US |
dc.subject | Occurrence probability | en_US |
dc.subject | Occurrence times | en_US |
dc.subject | Predicate detection | en_US |
dc.title | Predicate detection in asynchronous distributed systems : a probabilistic approach | en_US |
dc.type | Journal/Magazine Article | en_US |
dc.identifier.spage | 173 | - |
dc.identifier.epage | 186 | - |
dc.identifier.volume | 65 | - |
dc.identifier.issue | 1 | - |
dc.identifier.doi | 10.1109/TC.2015.2409839 | - |
dcterms.abstract | In an asynchronous distributed system, a number of processes communicate with each other via message passing that has a finite but arbitrary long delay. There is no global clock in that system. Predicates, denoting the states of processes and their relations, are often used to specify the information of interest in such a system. Due to the lack of a global clock, the temporal relations between the states at different processes cannot be uniquely determined, but have multiple possible circumstances. Existing works of predicate detection are based on the definitely modality or the possibly modality, denoting that a predicate holds in all of the possible circumstances or in one of them, respectively. No information is provided about the probability that a predicate will hold, which hinders the taking of countermeasures for different situations. Moreover, the detection is based on single occurrence of a predicate, so the results are heavily affected by environmental noise and detection errors. In this paper, we propose a new approach to predicate detection to address these two issues. We generalize the definitely and possibly modalities to an occurrence probability to provide more detailed information, and further investigate how to detect multiple occurrences of a predicate. We propose a unified algorithm framework for detecting various types of predicates and demonstrate the use of it for three typical types of predicates, including simple predicates, simple sequences, and interval-constrained sequences. Theoretical proofs and simulation results show that our approach is effective and outperforms existing approaches. | - |
dcterms.accessRights | open access | en_US |
dcterms.bibliographicCitation | IEEE transactions on computers, Jan. 2016, v. 65, no. 1, p. 173-186 | - |
dcterms.isPartOf | IEEE transactions on computers | - |
dcterms.issued | 2016-01 | - |
dc.identifier.scopus | 2-s2.0-84961708293 | - |
dc.identifier.eissn | 1557-9956 | - |
dc.description.validate | 202402 bcch | - |
dc.description.oa | Accepted Manuscript | en_US |
dc.identifier.FolderNumber | COMP-1627 | en_US |
dc.description.fundingSource | RGC | en_US |
dc.description.fundingSource | Others | en_US |
dc.description.fundingText | Outstanding Academic Talents Startup Funds of Wuhan University; ANR/RGC Joint Research Scheme; Germany/HK Joint Research Scheme | en_US |
dc.description.pubStatus | Published | en_US |
dc.identifier.OPUS | 6629078 | en_US |
dc.description.oaCategory | Green (AAM) | en_US |
Appears in Collections: | Journal/Magazine Article |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
Cao_Predicate_Detection_Asynchronous.pdf | Pre-Published version | 716.57 kB | Adobe PDF | View/Open |
Page views
13
Citations as of May 19, 2024
Downloads
3
Citations as of May 19, 2024
SCOPUSTM
Citations
10
Citations as of May 17, 2024
Google ScholarTM
Check
Altmetric
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.