SCOPUS 정보 검색 플랫폼

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 3036, Issue , 2004, Pages 405-408

Dependence analysis of concurrent programs based on reachability graph and its applications

(2) Qi, Xiaofang a Xu, Baowen a

a SOUTHEAST UNIVERSITY (China)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER AIDED SOFTWARE ENGINEERING; PROGRAM DEBUGGING;

CONCURRENT PROGRAM; DEPENDENCE ANALYSIS; DEPENDENCE RELATION; ITS APPLICATIONS; PROGRAM DEPENDENCE GRAPH; PROGRAM UNDERSTANDING; REACHABILITY GRAPHS; TASK SYNCHRONIZATION;

APPLICATION PROGRAMS;

EID: 35048819978 PISSN: 03029743 EISSN: 16113349 Source Type: Book Series
DOI: 10.1007/978-3-540-24685-5_52 Document Type: Article

Times cited : (3)

References (8)

1
- 34147208698
- Task dependence nets for concurrent systems with Ada 95 and its applications
- St. Louis, Missouri, USA: ACM Press
- Cheng, J.: Task dependence nets for concurrent systems with Ada 95 and its applications. In: ACM TRI-Ada International Conference, St. Louis, Missouri, USA: ACM Press (1997) 67-78
- (1997) ACM TRI-Ada International Conference , pp. 67-78
- Cheng, J.¹

2
- 0000990322
- A Survey of Program Slicing Techniques
- Tip, F.: A Survey of Program Slicing Techniques. Journal of Programming Languages, Vol. 3 (1995) 121-189
- (1995) Journal of Programming Languages , vol.3 , pp. 121-189
- Tip, F.¹

3
- 0031617414
- Static slicing of threaded program
- Krinke, J.: Static slicing of threaded program. ACM SIGPLAN Notices, Vol. 7 (1998) 35-42
- (1998) ACM SIGPLAN Notices , vol.7 , pp. 35-42
- Krinke, J.¹

4
- 0034592715
- Slicing concurrent programs
- Nanda, M.G., Ramesh, S.: Slicing concurrent programs. ACM SIGSOFT Software Engineering Notes, Vol. 25 (2000) 180-190
- (2000) ACM SIGSOFT Software Engineering Notes , vol.25 , pp. 180-190
- Nanda, M.G.¹ Ramesh, S.²

5
- 0032593061
- Multithreaded dependence graphs for concurrent Java programs
- Los Angeles, California, USA: IEEE CS press
- Zhao, J.: Multithreaded dependence graphs for concurrent Java programs. In: International Symposium on Software Engineering for Parallel and Distributed Systems, Los Angeles, California, USA: IEEE CS press (1999)13-23
- (1999) International Symposium on Software Engineering for Parallel and Distributed Systems , pp. 13-23
- Zhao, J.¹

6
- 0036465484
- An Approach to Analyzing Dependence of Concurrent Programs
- Chen, Z.Q., Xu, B.W.: An Approach to Analyzing Dependence of Concurrent Programs. Journal of Computer Research and Development, Vol. 39 (2002) 159-164
- (2002) Journal of Computer Research and Development , vol.39 , pp. 159-164
- Chen, Z.Q.¹ Xu, B.W.²

7
- 35048882384
- A Petri Net Representation of Concurrent Ada Program and Its Application for Communication Slice
- Qi, X.F, Chen, Z.Q., Xu, B.W.: A Petri Net Representation of Concurrent Ada Program and Its Application for Communication Slice. Journal of Nanjing University, Vol. 38 (2002) 37-42
- (2002) Journal of Nanjing University , vol.38 , pp. 37-42
- Qi, X.F.¹ Chen, Z.Q.² Xu, B.W.³

8
- 0030288136
- A Compact Petri Net Representation and Its Implication for Analysis
- Dwyer, M. B., Clarke, L. A.: A Compact Petri Net Representation and Its Implication for Analysis. IEEE Transaction on Software Engineering, Vol. 22 (1996) 794-811
- (1996) IEEE Transaction on Software Engineering , vol.22 , pp. 794-811
- Dwyer, M.B.¹ Clarke, L.A.²

* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.