Throughput based temporal verification for monitoring large batch of parallel processes

Liu, Xiao, Wang, Dingxian, Yuan, Dong, Wang, Futian and Yang, Yun 2014, Throughput based temporal verification for monitoring large batch of parallel processes, in ICSSP 2014 : Proceedings of the Software and Systems Process 2014 Conference, ACM,, pp. 124-133, doi: 10.1145/2600821.2600834.

Attached Files
Name Description MIMEType Size Downloads

Title Throughput based temporal verification for monitoring large batch of parallel processes
Author(s) Liu, XiaoORCID iD for Liu, Xiao orcid.org/0000-0001-8400-5754
Wang, Dingxian
Yuan, Dong
Wang, Futian
Yang, Yun
Conference name Software and Systems Process. Conference (2014 : Nanjing, China)
Conference location Nanjing, China
Conference dates 2014/05/26 - 2014/05/28
Title of proceedings ICSSP 2014 : Proceedings of the Software and Systems Process 2014 Conference
Editor(s) [Unknown]
Publication date 2014
Start page 124
End page 133
Total pages 10
Publisher ACM
Keyword(s) Temporal Verification
Checkpoint Selection
Parallel Processes
ISBN 9781450327541
Language eng
DOI 10.1145/2600821.2600834
Field of Research 080608 Information Systems Development Methodologies
HERDC Research category E1.1 Full written paper - refereed
ERA Research output type E Conference publication
Copyright notice ©2014, ACM
Persistent URL http://hdl.handle.net/10536/DRO/DU:30087731

Connect to link resolver
 
Unless expressly stated otherwise, the copyright for items in DRO is owned by the author, with all rights reserved.

Versions
Version Filter Type
Citation counts: TR Web of Science Citation Count  Cited 0 times in TR Web of Science
Scopus Citation Count Cited 15 times in Scopus
Google Scholar Search Google Scholar
Access Statistics: 173 Abstract Views, 2 File Downloads  -  Detailed Statistics
Created: Thu, 24 Aug 2017, 14:08:02 EST

Every reasonable effort has been made to ensure that permission has been obtained for items included in DRO. If you believe that your rights have been infringed by this repository, please contact drosupport@deakin.edu.au.