搜索筛选:
搜索耗时0.8640秒,为你在为你在102,285,761篇论文里面共找到 7 篇相符的论文内容
类      型:
[期刊论文] 作者:李星,李曦,高妍妍,, 来源:计算机系统应用 年份:2010
随着访问控制技术的发展以及安全需求的多样化,访问控制模型的组合应用日益成为安全操作系统设计的重要目标,由此对策略描述语言提出了统一易用的新要求。通过对现有安全策略...
[会议论文] 作者:高妍妍,李曦,周学海, 来源:第三届中国计算机网络与信息安全学术会议(CCNIS2010) 年份:2010
  进程间通信机制是微内核操作系统的关键功能之一。本文采用模型检测方法验证微内核操作系统的进程问通信机制,提出了一种从源码提取验证模型的方法。该方法以L4操作系统的......
[期刊论文] 作者:王宇旸,周学海,高妍妍,, 来源:中国科学技术大学学报 年份:2010
提出了一种基于特征模板匹配的自动识别算法并将其在可重构平台上实现.实验表明,所设计的自动目标识别系统可以显著的提高识别率、减少识别时间并有效的降低了功耗....
[期刊论文] 作者:王宇旸,周学海,高妍妍,, 来源:中国科学技术大学学报 年份:2010
考虑到图像分类方法是计算密集型算法,设计使用可重构方法对图像分类系统加速.再由纹理参数本身的特性,利用基于差异的动态重构方法以有效利用芯片.实验表明,所设计的图像分类系统与通用处理器相比,显著减少了分类时间;同时在不增加运行时间的前提下,与传统实现......
[期刊论文] 作者:马宏星, 周学海, 高妍妍,, 来源:系统工程与电子技术 年份:2010
软硬件任务划分和任务调度是保证任务集合在可重构计算平台上高效运行的重要技术。传统上软硬件任务划分与任务调度独立进行,划分方案和调度方案不一定匹配,加速效果难以保证...
[期刊论文] 作者:王宇晻,周学海,高妍妍,, 来源:中国科学技术大学学报 年份:2010
提出了一种基于特征模板匹配的自动识别算法并将其在可重构平台上实现.实验表明,所设计的自动目标识别系统可以显著的提高识别率、减少识别时间并有效的降低了功耗....
[期刊论文] 作者:马宏星,周学海,高妍妍,张惠臻, 来源:中国科学院研究生院学报 年份:2010
提出了一种静态的软硬件任务划分与调度相结合的算法,可以同时获得给定任务集在该类平台上的软硬件任务划分和任务调度方案.算法的时间复杂度为O(V(E+V)+V2logV+PVlogV).实验...
相关搜索: