搜索结果: 1-4 共查到“Sensitive Analysis”相关记录4条 . 查询时间(0.078 秒)
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...
Simultaneous and sensitive analysis of inorganic and organic gaseous compounds by pulsed discharge helium ionization detector (PDHID)
micropacked column simultaneous and sensitive analysis organic gases inorganic gases
2017/4/11
A simple gas chromatographic method has been developed for the simultaneous and sensitive analysis of inorganic
(H2, CO, and CO2) and organic gaseous compounds (CH4, C2H4, C2H6, C3H6, C3H8, iso-C4H10...