中国优秀硕士学位论文全文数据库 共找到 27 条

[1]	占晓璐. 一种DSP建模及时序分析工具的设计与实现[D]西安电子科技大学, 2010 .
[2]	张曦. 基于WCET分析技术的程序实时性模型检验方法研究[D]国防科学技术大学, 2011 .
[3]	王锡安. WSN中节点资源调度机制研究及其在现场感知中的应用[D]长沙理工大学, 2012 .
[4]	王鹦鹉. 基于智能传感器的实时系统任务调度分析[D]浙江大学, 2006 .
[5]	周炎淼. SmartOSEK IDE3.0及其模型检查和协同工作[D]浙江大学, 2007 .
[6]	赵坚. 支持汽车电子的状态图验证工具—Smart Automata[D]浙江大学, 2008 .
[7]	王新雨. Java虚拟机异常机制及其实时性的研究与实现[D]江南大学, 2008 .
[8]	南兆阔. 嵌入式实时JAVA研究[D]江南大学, 2008 .
[9]	程潇. 支持RTSJ的Java处理器的研究与设计[D]江南大学, 2008 .
[10]	李阳. Java的实时性研究[D]江南大学, 2008 .

中国博士学位论文全文数据库 共找到 9 条

[1]	罗晓华. 支持无线网络传感器的γOS操作系统若干关键软件技术的研究和实现[D]浙江大学, 2006 .
[2]	王馨. 基于实时规约的测试预言自动生成技术的研究[D]国防科学技术大学, 2005 .
[3]	姚鑫骅. 数控实时系统调度理论及应用研究[D]浙江大学, 2006 .
[4]	姬孟洛. 实时系统最差情况执行时间分析的研究[D]国防科学技术大学, 2006 .
[5]	易会战. 低功耗技术研究—体系结构和编译优化[D]国防科学技术大学, 2006 .
[6]	蒋湘涛. 编译期SPM管理方法及功耗模型研究[D]中南大学, 2009 .
[7]	郑淑涛. 飞行模拟机实时仿真管理系统的研究[D]哈尔滨工业大学, 2010 .
[8]	胡光. 硬Java实时嵌入式平台及其关键技术研究[D]复旦大学, 2012 .
[9]	陈芳园. 基于多核处理器平台的实时系统WCET分析研究[D]国防科学技术大学, 2011 .

中国期刊全文数据库 共找到 8 条

[1]	姬孟洛,齐治昌. 实时系统程序最差情况执行时间(WCET)的分析[J]计算机科学, 2006,(10) .
[2]	姬孟洛,齐治昌. 基于抽象解释自动导出针对WCET分析的程序流信息的方法[J]计算机工程与科学, 2006,(12) .
[3]	陈芳园,丁亚军,张冬松,吴飞,任秀江. 面向WCET分析的实时多核体系结构研究[J]计算机工程与科学, 2014,(03) .
[4]	李想,范玉顺,王宏安,乔颖. 实时复杂事件处理的最坏响应时间估算[J]计算机研究与发展, 2012,(10) .
[5]	姬孟洛,齐治昌,王怀民. 包含依赖输入分支程序的符号化WCET分析[J]软件学报, 2006,(03) .
[6]	王馨,姬孟洛,王戟,齐治昌. 基于WCET分析的实时系统轨迹获取技术[J]软件学报, 2006,(05) .
[7]	刘辉,张立臣,许阳. 信息物理系统实时任务WCET的研究[J]计算机技术与发展, 2012,(04) .
[8]	张静. 基于支持无线网络传感器的γOS操作系统若干关键软件技术的研究和实现[J]新技术新工艺, 2015,(09) .