论文部分内容阅读
基于复杂控制流的源代码内存泄漏静态检测
【出 处】
:
计算机科学
【发表日期】
:
2019年z2期
其他文献
木麻黄(Casuarina equisetifolia J.R.Forst.&G.Forst.)木麻黄科(Casuarinaceae)木麻黄属(Casuari-na Adans.),乔木,高可达30 m,大树根部无萌蘖;树干通直,直径达70 cm;树冠狭
水稻有机栽培具有改良土壤理化性质、维护水资源、环境保护、废弃物再利用及适应大众消费需求等多重意义,现将目前应用于水稻有机栽培的可行技术分述如下,供农民朋友参考。 1.整地作业: 整地应力求平整,这有利于灌排水处理,并可利用淹水防治杂草发生。整地平整亦可确保秧苗成活率,避免造成补植时的成本浪费。 2.有机质肥料施用技术: 有机质肥料如果能够自行制造,是最符合经济成本,然而实际执行却不太容易。
目的了解2011年郴州市手足口病病原学特征及EV71型分离株基因特性,为郴州地区手足口病防治工作提供依据。方法收集郴州市手足口病临床诊断病例的咽拭子或肛拭子、粪便标本,采
系统介绍了松墨天牛的捕食性和寄生性天敌昆虫的种类、组成及其生防利用情况,重点阐述了管氏肿腿蜂、川硬皮肿腿蜂和花绒寄甲及几种具有开发应用潜力的天敌对松墨天牛的控制
稀疏矩阵向量乘SpMV在科学计算和工程问题中有着广泛的应用.稀疏矩阵的非零元素分布会极大地影响SpMV的计算效率,针对不同的数据分布模式使用特定算法进行加速可以获得显著的
Hot Data Identification with Multiple Bloom Filters: Block-Level Decision vs I/O Request-Level Decis
Hot data identification is crucial for many applications though few investigations have examined the subject. All existing studies focus almost exclusively on f
目的 了解沈阳市艾滋病自愿咨询检测(VCT)人群的社会人口统计学特征和艾滋病病毒感染情况,有针对性地制定健康教育干预计划,为开展艾滋病的防治工作提供科学依据. 方法 对沈