搜索结果: 1-3 共查到“工学 Using Symbolic”相关记录3条 . 查询时间(0.078 秒)
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...
Automatically Generating Malicious Disks using Symbolic Execution
Automatically Generating Malicious Disks Symbolic Execution
2015/8/7
Many current systems allow data produced by potentially malicious sources to be mounted as a file system. File system code must check this data for dangerous values or invariant violations before usin...
Extraction and Recognition of Nonlinear Interval-Type Features Using Symbolic KDA Algorithm with Application to Face Recognition
Nonlinear Interval-Type Features Symbolic KDA Algorithm Face Recognition
2009/9/4
We present symbolic kernel discriminant analysis (symbolic KDA) for face recognition in the framework of symbolic data analysis. Classical KDA extracts features, which are single-valued in nature to r...