搜索筛选:
搜索耗时0.1742秒,为你在为你在102,285,761篇论文里面共找到 4 篇相符的论文内容
发布年度:
[学位论文] 作者：周筱羽,,
来源：南京大学 年份：2014
实时嵌入系统被广泛用于安全关键系统中,这类系统一旦发生错误,将会造成重大的生命及财产损失,因此实时嵌入系统的可靠性保障至关重要。实时系统的正确性不仅仅依赖于系统逻...
[期刊论文] 作者：周筱羽,顾斌,赵建华,杨孟飞,,
来源：软件学报 年份：2015
针对一类中断驱动的航天控制系统,给出了有界模型检验的算法.这类系统由中断处理程序和操作系统调度的任务组成.当中断发生时,对应的中断处理程序响应中断事件,并可以修改控...
[期刊论文] 作者：周筱羽,顾斌,赵建华,杨孟飞,李宣东,
来源：软件学报 年份：2015
针对一类中断驱动系统提出了一种建模和模型检验的方法．该系统通常由中断处理程序和操作系统调度的任务组成，前者由中断源触发后处理中断事件，后者则负责处理系统的日常任务以及......
[期刊论文] 作者：周业茂, 李忠金, 葛季栋, 李传艺, 周筱羽, 骆斌,,
来源：软件学报 年份：2018
云计算和移动互联网的不断融合,促进了移动云计算的产生与发展.在移动云计算环境下,用户可将工作流的任务迁移到云端执行,这样不但能够提升移动设备的计算能力,而且可以减少...
相关搜索：
