搜索结果: 1-3 共查到“工学 Sensitive Analysis”相关记录3条 . 查询时间(0.172 秒)
Sound, Complete and Scalable Path-Sensitive Analysis
Static analysis path- and context-sensitive analysis strongest necessary/weakest sufficient conditions
2016/5/24
We present a new, precise technique for fully path- and contextsensitive program analysis. Our technique exploits two observations:First, using quantified, recursive formulas, path- and contextsensiti...
ARCHER:Using Symbolic,Path-sensitive Analysis to Detect Memory Access Errors
ARCHER Using Symbolic Path-sensitive Analysis Detect Memory Access Errors
2015/8/7
Memory corruption errors lead to non-deterministic, elusive crashes. This paper describes ARCHER (ARray CHeckER) a static, effective memory access checker. ARCHER usespath-sensitive, interprocedural s...
Sensitive Analysis of Observation Model for Human Tracking Using a Stochastic Process
Observations Modelling Tracking Image Analysis Close Range
2014/7/30
This paper aims at obtaining basic knowledge about characteristics of observation models for human tracking method as a stochastic process. As human tracking in actual cases are complicated, we cannot...