您的位置： 专家智库 > >

高妍妍

作品数：16 被引量：13H指数：2
供职机构：中国科学技术大学计算机科学与技术学院更多>>
发文基金：国家自然科学基金安徽省自然科学基金国家高技术研究发展计划更多>>
相关领域：自动化与计算机技术电子电信更多>>

合作作者

文献类型

  • 11篇期刊文章
  • 4篇会议论文
  • 1篇学位论文

领域

  • 13篇自动化与计算...
  • 1篇电子电信

主题

  • 6篇体系结构
  • 6篇体系结构描述...
  • 6篇描述语言
  • 6篇结构描述语言
  • 4篇可重构
  • 4篇可重构计算
  • 3篇调度
  • 3篇形式化
  • 3篇处理器
  • 2篇调度算法
  • 2篇形式化建模
  • 2篇形式化验证
  • 2篇指令集
  • 2篇任务调度
  • 2篇任务图
  • 2篇通信机制
  • 2篇专用指令集处...
  • 2篇进程间通信
  • 2篇进程间通信机...
  • 2篇可重构计算技...

机构

  • 16篇中国科学技术...

作者

  • 16篇高妍妍
  • 11篇周学海
  • 10篇李曦
  • 6篇余洁
  • 2篇马宏星
  • 2篇王宇旸
  • 1篇仲力
  • 1篇李星
  • 1篇张惠臻
  • 1篇熊焰
  • 1篇盛伟

传媒

  • 3篇中国科学技术...
  • 2篇计算机仿真
  • 2篇中国科学院研...
  • 1篇系统工程与电...
  • 1篇小型微型计算...
  • 1篇计算机系统应...
  • 1篇系统仿真学报
  • 1篇2005年“...

年份

  • 2篇2011
  • 6篇2010
  • 1篇2009
  • 3篇2008
  • 1篇2007
  • 1篇2006
  • 2篇2005
共 16 条 记 录，以下是 1-10
全选 清除 导出
排序方式：
基于体系结构描述语言zpADL的ASIP设计方法的研究
ASIP(Application Specific Instruction Processor)的不断涌现，其设计方法学的研究成为一个热点，其中体系结构描述语言(ADL)驱动的设计流程受到越来越多的关注.在这种设计流程中...
余洁周学海李曦高妍妍
关键词：体系结构描述语言专用指令集处理器
一种集成可重构硬件的多核片上系统的软硬件任务划分与调度算法被引量：5
2010年
提出了一种静态的软硬件任务划分与调度相结合的算法,可以同时获得给定任务集在该类平台上的软硬件任务划分和任务调度方案.算法的时间复杂度为O(V(E+V)+V2logV+PVlogV).实验结果表明了该算法的可行性和有效性.
马宏星周学海高妍妍张惠臻
关键词：任务图任务调度可重构计算
访问控制策略语言—EGACPL
2010年
随着访问控制技术的发展以及安全需求的多样化,访问控制模型的组合应用日益成为安全操作系统设计的重要目标,由此对策略描述语言提出了统一易用的新要求。通过对现有安全策略语言和访问控制模型的研究,设计了一种应用于安全操作系统领域的访问控制策略语言EGACPL(Easily Use andGeneral Access Control Policy language)。EGACPL采用结构化以及面向对象的设计思想,便于开发者理解和使用;统一描述策略元素和安全规则,支持多种访问控制模型,体现了良好的通用性。
李星李曦高妍妍
关键词：安全操作系统访问控制策略语言面向对象
基于体系结构描述语言xpADL的ASIP设计方法的研究
随着ASIP(Application Specific Instruction Processor)的不断涌现,其设计方法学的研究成为一个热点,其中体系结构描述语言(ADL)驱动的设计流程受到越来越多的关注。在这种设计流...
余洁周学海李曦高妍妍
关键词：体系结构描述语言ARM
ASIP体系结构形式化建模与验证方法研究
专用指令集处理器/(Application Specific Instructions Set Processor,ASIP/)是专为某个或某类应用而设计的处理器。随着ASIP体系结构的不断发展,设计的复杂性不断增加,如...
高妍妍
关键词：ASIP形式化验证PETRI网
文献传递
基于可重构计算技术的实时图像识别系统研究被引量：1
2010年
提出了一种基于特征模板匹配的自动识别算法并将其在可重构平台上实现.实验表明,所设计的自动目标识别系统可以显著的提高识别率、减少识别时间并有效的降低了功耗.
王宇旸周学海高妍妍
关键词：可重构计算自动目标识别SVM分类器FPGA
基于可重构计算技术的图像分类系统研究
2010年
考虑到图像分类方法是计算密集型算法,设计使用可重构方法对图像分类系统加速.再由纹理参数本身的特性,利用基于差异的动态重构方法以有效利用芯片.实验表明,所设计的图像分类系统与通用处理器相比,显著减少了分类时间;同时在不增加运行时间的前提下,与传统实现方法相比,能更有效地利用芯片面积.
王宇旸周学海高妍妍
关键词：可重构计算图像分类灰度共生矩阵FPGA
L4进程间通信机制的模型检测方法
2011年
采用模型检测方法验证微内核操作系统的进程间通信机制,提出了一种从源码提取验证模型的方法.该方法以L4操作系统的进程间通信机制的C++源码实现为检验对象,从源码实现直接提取形式化模型,得到Promela语言的模型描述,可以直接应用模型检测器Spin对其进行正确性检测.实验表明了该方法的可行性和实用性.
高妍妍李曦周学海
关键词：进程间通信机制SPIN
基于体系结构描述语言xpADL的ASIP设计方法的研究
随着ASIP(Application Specific Instruction Processor)的不断涌现,其设计方法学的研究成为一个热点,其中体系结构描述语言(ADL)驱动的设计流程受到越来越多的关注。在这种设计流...
余洁周学海李曦高妍妍
关键词：体系结构描述语言ARM
文献传递
可重构计算平台上软硬件任务划分与调度算法被引量：2
2010年
软硬件任务划分和任务调度是保证任务集合在可重构计算平台上高效运行的重要技术。传统上软硬件任务划分与任务调度独立进行,划分方案和调度方案不一定匹配,加速效果难以保证。提出了一种将软硬件任务划分与任务调度相结合的算法。该算法综合考虑了任务的执行时间、任务间的通信开销、任务间的依赖关系以及计算资源间的并发关系,可以同时获得给定任务集的软硬件任务划分方案和任务调度方案,加速效果良好。算法开销与传统的任务调度算法相当,时间复杂度为O(V2log2V+PVlog2V)。实验结果表明了该算法的可行性和有效性。
马宏星周学海高妍妍
关键词：计算机系统结构可重构计算任务图任务调度
全选 清除 导出
共2页<12>
聚类工具0