Concurrent programs - Globe Thesis

Font Size: a A A

Keyword [Concurrent programs] Result: 1 - 20 \| Page: 1 of 3
1.	Research On Testing Theories And Technologies Of Concurrent Programs
2.	Research On Key Technologies For Concurrent Programs Testing
3.	Tracing And Replay Mechanism For Concurrent Programs' Debugging
4.	Research On Reachability Testing Of Concurrent Programs Based On Asynchronous Communication
5.	Model Extraction And Model Checking Research For Java Concurrent Programs
6.	Concurrent Bug Reproduction And Detection Based On Replay Analysis
7.	A Self-adaptive Test Framework For Concurrent Programs
8.	Generation Of Concurrent Program Test-cases Based On Petri Nets
9.	Based Stga Concurrent Program Testing
10.	Petri Net Based Deadlock Prevention Policy Of A Class Of Concurrent Programs
11.	Reliability Computing Of Concurrent Software Based On Program Invariants
12.	Refinement Verification Of Concurrent Programs And Its Applications
13.	Coderebuilder: The Research And Implementation Of An Automated Java Concurrent Program Refactoring Tool
14.	Study Of Concurrent Programs Testing Technology Based On Mutation
15.	Software Stepwise Refinement And Refinement Verification Of Concurrent Programs
16.	Research On Detecting Bugs In Concurrent Programs
17.	An Approach To Detecting Concurrency Bugs Based On Constraint Solving
18.	Detecting Bugs Of Concurrent Programs With Program Invariants
19.	Verification Of Separate Compilation For Concurrent Programs
20.	Understanding Shared Memory Dependences In Concurrent Programs
<<First <Prev Next> Last>> Jump to