C Programs - Globe Thesis

Font Size: a A A

Keyword [C Programs] Result: 21 - 34 \| Page: 2 of 2
21.	Research And Implementation Of Runtime Detection Of Memory Errors For C Programs
22.	Counterexample Guided Memory-Leak Fixing In C Programs
23.	Research On CEGAR Based Model Checking For C Programs
24.	Detection And Repair Of Integer Defects In C Programs
25.	Symbolic Execution For C++ Programs
26.	An Intelligent Approach For Detecting Memory Leaks In C Programs
27.	Compiler transformations to generate reentrant C programs to assist software parallelization
28.	Compiled acceleration of C programs on FPGAs
29.	A counterexample guided abstraction refinement framework for verifying concurrent C programs
30.	Runtime monitoring of C programs for security and correctness
31.	Abstraction-based generation of finite state models from C programs
32.	An Automated Vulnerability Verification System For C/C++ Programs
33.	Upper Bound Analysis Of Dynamically Allocated Resources For C Programs
34.	Research On Lightweight Interprocedural Escape Analysis For C Programs
<<First <Prev Next> Last>> Jump to