云南高校图书馆联盟文献共享服务平台- 中断驱动程序

中断驱动程序: 作品数：8被引量：15H指数：2; 导出分析报告; 相关领域：自动化与计算机技术更多>>; 相关作者：霍玮陆旭田聪陈志李宣东更多>>; 相关机构：南京大学中国科学院西安电子科技大学国防科学技术大学更多>>; 相关期刊：《计算机研究与发展》《电脑爱好者》《电子技术应用》《微电子学与计算机》更多>>; 相关基金：国家自然科学基金国家重点基础研究发展计划国家高技术研究发展计划国家科技重大专项更多>>

检索结果分析

选择条件：

共条记录，以下是1-1

全选清除导出

视图：

排序：

静态检测中断驱动程序的数据竞争被引量：9: 《计算机研究与发展》2011年第12期2290-2299,共10页霍玮于洪涛冯晓兵张兆庆; 国家"八六三"高技术研究发展计划基金项目(2008AA01Z115);"核高基"国家重大科技专项基金项目(2009ZX01036-001-002);国家"九七三"重点基础研究发展计划基金项目(2011CB302504);国家自然科学基金项目(60921002); 直接运行于微控制器上的中断驱动程序中可能存在一种重要的程序错误:数据竞争.然而当前主流的数据竞争静态检测技术因其服务于多线程模型程序而不适用.设计简明、易用的中断特征描述语言可以使得竞争检测具有平台无关性;同时,提出了一...; 关键词：微控制器中断驱动程序数据竞争检测过程间数据流分析副作用分析