搜索筛选:
搜索耗时0.8280秒,为你在为你在102,285,761篇论文里面共找到 3 篇相符的论文内容
发布年度:
[期刊论文] 作者：高妍妍, 李曦, 周学海,,
来源：中国科学院研究生院学报 年份：2011
采用模型检测方法验证微内核操作系统的进程间通信机制,提出了一种从源码提取验证模型的方法.该方法以L4操作系统的进程间通信机制的C++源码实现为检验对象,从源码实现直接提...
[期刊论文] 作者：王肖蓉,王聪,高妍妍,
来源：企业经济 年份：2011
低碳经济时代的来临以及我国城市化进程的进一步加快,使人们普遍意识到要加快＂低碳城市＂创建步伐。本文通过对唐山市发展低碳经济情况的调查与分析,了解到唐山市在建设低碳型城......
[期刊论文] 作者：盛伟,李曦,高妍妍,周学海,
来源：中国科学技术大学学报 年份：2011
随着多核架构在实时系统中的应用,多核实时调度已成为研究热点.在多核全局调度中,任务在多核间迁移通常会引起缓存预热.在严格实时调度中,这部分时间可能导致任务错过截止时...
相关搜索：
