Keyword [Concurrent programs] Result: 21 - 40 | Page: 2 of 3 21.  Testing-concurrent Programs Based On Mutation Testing And Empirical Study 22.  Research Of Data Race Detection In Concurrent Programs 23.  Research On Formal Verification Of Concurrent Avionics Software Based On Abstract Interpretation 24.  A Research Of Concurrent Program Regression Testing 25.  Dataflow analysis for concurrent programs using data-race detection 26.  Abstract trace analysis for concurrent programs 27.  Efficient dynamic verification of concurrent programs 28.  Interprocedural analysis and the verification of concurrent programs 29.  A framework for testing concurrent programs 30.  Deductive mechanical verification of concurrent systems 31.  Compile-time schedulability analysis of communicating concurrent programs 32.  Systematic and Scalable Testing of Concurrent Programs 33.  A counterexample guided abstraction refinement framework for verifying concurrent C programs 34.  An empirical evaluation of adequacy criteria for testing concurrent programs 35.  Trace driven approach for testing and debugging concurrent programs 36.  Techniques for developing verified concurrent programs based on monitors and semaphores 37.  Simplified Semantics and Debugging of Concurrent Programs via Targeted Race Detection 38.  State-space tool: Understanding concurrent programs through state-space 39.  An extended CSPE-based method for specification-based testing of concurrent programs 40.  Applications of abstraction for concurrent programs   <<First  <Prev  Next>  Last>>  Jump to

Globe Thesis Copyright © 2023. All Rights Reserved. | Privacy | Copyright | Contribute | About | Contact | RSS