搜索筛选:
搜索耗时0.0301秒,为你在为你在57,122,000篇论文里面共找到 2 篇相符的论文内容
发布年度:
[学位论文] 作者:耶国栋,
来源:西安电子科技大学 年份:2005
设备驱动程序是实现计算机与外部设备间正常通信的重要保障。本文介绍并且简要分析了PCI总线和USB总线协议;分析了WDM驱动程序的结构、工作原理和特点,介绍了WDM驱动程序设计中...
[期刊论文] 作者:谯婷婷,王乐,耶国栋,,
来源:计算机应用 年份:2012
针对软件可靠性面临的安全等级和流延迟两类问题,提出了一种基于结构分析与设计语言(AADL)的软件可靠性验证方法。首先建立两类问题的需求模型,并将需求模型转化为设计模型;其次是调用分析插件对设计模型进行分析,查找模型中存在的问题;最后根据存在的问题对设......
相关搜索: