Abstract Interpretation - Globe Thesis

Keyword [Abstract Interpretation] Result: 1 - 20 \| Page: 1 of 2
1.	Worst-Case Execution Time Analysis Of Real-Time Systems
2.	Constraint Based Prolog Semantics And Its Applications In The Testing, Analysis And Verification Of Prolog Programs
3.	Research On Code Obfuscation And Its Semantics
4.	Sound Floating-point And Non-convex Static Analysis Using Interval Linear Abstract Domains
5.	Research On Software Testing Technology Based On Defect Pattern
6.	Research On Analysis And Verification Techniques For Heap-Manipulating Programs
7.	Research On Related Issues Of Software Protec Tion By Abstract Interpretation
8.	Study Of Secure Information Flow In C Language Based On Model Checking
9.	Research On Anomaly Detection Based On Static Analysis
10.	Research On WCET Of Real-Time Software Based On Abstract Interpretation
11.	Static Analysis For A Class Of Floating-point Range Constraint
12.	Design And Implementation Of Reverse Analysis Platform For Trusted Computing Mechanism
13.	Research On Technologies Of Control Flow Reconstruction And Control Structure Recovery In Decompilation
14.	Research On Key Technologies Of Improving The Accuracy Of Static Defect Detecting
15.	Research On Defect Pattern And Corresponding Static Analyzing Technology Of BPEL Processes
16.	Research And Implementation Of Embedded Program Invariant For Static Testing Based On Abstract Interpretation
17.	Weakly Relational Absolute Value Numerical Abstract Domain
18.	Interval Analysis Method For Floating-point C Programs
19.	Integer Implementation And Efficiency Improvement For Polyhedron Abstract Domain
20.	Research On Detection Techniques Of Instruction-triggered Hardware Trojan Horse
<<First <Prev Next> Last>> Jump to