期刊导航
期刊开放获取
上海教育软件发展有限公..
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
4
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式:
文摘
详细
列表
相关度排序
被引量排序
时效性排序
分布式存储管理在多核设计中的高层建模
被引量:
1
1
作者
李磊
沈海斌
+3 位作者
黄凯
严晓浪
Han Sangil
Ahmed A Jerraya
《电子与信息学报》
EI
CSCD
北大核心
2008年第11期2750-2754,共5页
该文提出了将分布式存储管理系统融入基于Simulink的多核设计流程的方法,改变了多核设计中数据通信部分采用全局存储器(GFIFO)来完成的做法,提高了系统间通信的效率。针对Motion JPEG解码器的实验结果表明,分布式存储管理系统使各个子...
该文提出了将分布式存储管理系统融入基于Simulink的多核设计流程的方法,改变了多核设计中数据通信部分采用全局存储器(GFIFO)来完成的做法,提高了系统间通信的效率。针对Motion JPEG解码器的实验结果表明,分布式存储管理系统使各个子系统之间的通信效率相对于GFIFO提高了50%,解码时间降低了30%。同时,分布式存储管理系统作为库单元加入到多核设计流程中,为高效、快速地完成高性能多核设计提供了便利。
展开更多
关键词
分布式存储管理
多核设计
Motion—JPEG解码器
在线阅读
下载PDF
职称材料
多核设计中的共享与分布式存储系统
被引量:
1
2
作者
李磊
沈海斌
严晓浪
《江南大学学报(自然科学版)》
CAS
2008年第3期253-257,共5页
在多核系统设计初期为存储结构的选择提供依据,将共享式存储结构与分布式存储结构在基于Simulink的多核设计模型中进行高层建模并量化对比.Motion-JPEG解码器的实验表明,共享式存储结构能够在多种抽象级别建模仿真,与分布式存储结构相比...
在多核系统设计初期为存储结构的选择提供依据,将共享式存储结构与分布式存储结构在基于Simulink的多核设计模型中进行高层建模并量化对比.Motion-JPEG解码器的实验表明,共享式存储结构能够在多种抽象级别建模仿真,与分布式存储结构相比,实现简单,开发周期短;分布式存储结构则缩短了解码时间和数据通信时间.该量化结果为多核设计初期对存储器的选择提供了数据支持,为高性能多核设计提供参考.
展开更多
关键词
多核设计
共享式存储结构
分布式存储结构
Motion-JPEG解码器
在线阅读
下载PDF
职称材料
多核处理器架构下面向监控的软件运行时验证方法研究
被引量:
3
3
作者
张剑
胡军
郭丽娟
《小型微型计算机系统》
CSCD
北大核心
2012年第1期102-109,共8页
面向监控的软件运行时验证(Monitor-oriented Runtime Verification:MRV)方法可以有效的提高系统可靠性,但是在传统基于单核处理器架构的嵌入式系统中采用MRV方法会给目标系统性能造成较大的影响.本文对基于多核处理器架构的MRV方法进...
面向监控的软件运行时验证(Monitor-oriented Runtime Verification:MRV)方法可以有效的提高系统可靠性,但是在传统基于单核处理器架构的嵌入式系统中采用MRV方法会给目标系统性能造成较大的影响.本文对基于多核处理器架构的MRV方法进行了初步研究,分析并设计了在线验证、离线验证以及单监视器设计与多监视器设计等多种模式的MRV方法,给出了相应的MRV实现方案,并在几个开源项目中进行了MRV实例应用.实验数据分析表明,在不同模式下,基于多核处理器架构的MRV方法能够从不同程度上有效提高系统运行时验证的性能.本文工作为进一步设计有效的多核架构下MRV方法提供了基础.
展开更多
关键词
面向监控的运行时验证
嵌入式软件
多核
程序
设计
软件分析与验证
在线阅读
下载PDF
职称材料
高性能嵌入式处理器技术
被引量:
3
4
作者
赖铭强
聂新义
段国东
《计算机工程》
CAS
CSCD
北大核心
2009年第14期280-282,共3页
介绍面向分布式集群计算机的高性能嵌入式处理器产业链,分析该产业链中CPU核提供商、处理器芯片开发商、系统软件提供商、嵌入式计算机制造商等各个环节的技术特点,并在高性能嵌入式处理器开发上做了有益的探索。提出要积极与系统软件...
介绍面向分布式集群计算机的高性能嵌入式处理器产业链,分析该产业链中CPU核提供商、处理器芯片开发商、系统软件提供商、嵌入式计算机制造商等各个环节的技术特点,并在高性能嵌入式处理器开发上做了有益的探索。提出要积极与系统软件、嵌入式计算机制造商协作,充分发挥软硬件协同设计能力,以开发出面向分布式集群计算机的高性能嵌入式处理器。进一步指出多核设计与高速总线电路是高性能嵌入式处理器发展的未来之路。
展开更多
关键词
分布式集群计算机
高性能嵌入式处理器
多核设计
高速总线电路
在线阅读
下载PDF
职称材料
题名
分布式存储管理在多核设计中的高层建模
被引量:
1
1
作者
李磊
沈海斌
黄凯
严晓浪
Han Sangil
Ahmed A Jerraya
机构
浙江大学超大规模集成电路设计研究所
韩国汉城威大学Sillim-dong
CEA-LETI
出处
《电子与信息学报》
EI
CSCD
北大核心
2008年第11期2750-2754,共5页
文摘
该文提出了将分布式存储管理系统融入基于Simulink的多核设计流程的方法,改变了多核设计中数据通信部分采用全局存储器(GFIFO)来完成的做法,提高了系统间通信的效率。针对Motion JPEG解码器的实验结果表明,分布式存储管理系统使各个子系统之间的通信效率相对于GFIFO提高了50%,解码时间降低了30%。同时,分布式存储管理系统作为库单元加入到多核设计流程中,为高效、快速地完成高性能多核设计提供了便利。
关键词
分布式存储管理
多核设计
Motion—JPEG解码器
Keywords
Distributed memory service
Multi-processor design
Motion-JPEG decoder
分类号
TP336 [自动化与计算机技术—计算机系统结构]
在线阅读
下载PDF
职称材料
题名
多核设计中的共享与分布式存储系统
被引量:
1
2
作者
李磊
沈海斌
严晓浪
机构
浙江大学超大规模集成电路设计研究所
出处
《江南大学学报(自然科学版)》
CAS
2008年第3期253-257,共5页
基金
国家863计划项目(2005AAA1Z1260)
浙江省科技计划项目(2004C11043)
文摘
在多核系统设计初期为存储结构的选择提供依据,将共享式存储结构与分布式存储结构在基于Simulink的多核设计模型中进行高层建模并量化对比.Motion-JPEG解码器的实验表明,共享式存储结构能够在多种抽象级别建模仿真,与分布式存储结构相比,实现简单,开发周期短;分布式存储结构则缩短了解码时间和数据通信时间.该量化结果为多核设计初期对存储器的选择提供了数据支持,为高性能多核设计提供参考.
关键词
多核设计
共享式存储结构
分布式存储结构
Motion-JPEG解码器
Keywords
multi-processor design
global shared-memory
distributed shared-memory
motion-JPEG decoder
分类号
TP316.4 [自动化与计算机技术—计算机软件与理论]
TP333 [自动化与计算机技术—计算机系统结构]
在线阅读
下载PDF
职称材料
题名
多核处理器架构下面向监控的软件运行时验证方法研究
被引量:
3
3
作者
张剑
胡军
郭丽娟
机构
南京航空航天大学信息科学与技术学院
计算机软件新技术国家重点实验室(南京大学)
出处
《小型微型计算机系统》
CSCD
北大核心
2012年第1期102-109,共8页
基金
教育部博士点基金项目(20070287052)资助
南京航空航天大学青年科技创新基金项目(NS2010095)资助
文摘
面向监控的软件运行时验证(Monitor-oriented Runtime Verification:MRV)方法可以有效的提高系统可靠性,但是在传统基于单核处理器架构的嵌入式系统中采用MRV方法会给目标系统性能造成较大的影响.本文对基于多核处理器架构的MRV方法进行了初步研究,分析并设计了在线验证、离线验证以及单监视器设计与多监视器设计等多种模式的MRV方法,给出了相应的MRV实现方案,并在几个开源项目中进行了MRV实例应用.实验数据分析表明,在不同模式下,基于多核处理器架构的MRV方法能够从不同程度上有效提高系统运行时验证的性能.本文工作为进一步设计有效的多核架构下MRV方法提供了基础.
关键词
面向监控的运行时验证
嵌入式软件
多核
程序
设计
软件分析与验证
Keywords
monitoring-oriented runtime verification
embedded software
multi-core programming
software analysis and verification
分类号
TP311 [自动化与计算机技术—计算机软件与理论]
在线阅读
下载PDF
职称材料
题名
高性能嵌入式处理器技术
被引量:
3
4
作者
赖铭强
聂新义
段国东
机构
海军驻上海地区电子设备军事代表室
华东计算技术研究所
出处
《计算机工程》
CAS
CSCD
北大核心
2009年第14期280-282,共3页
文摘
介绍面向分布式集群计算机的高性能嵌入式处理器产业链,分析该产业链中CPU核提供商、处理器芯片开发商、系统软件提供商、嵌入式计算机制造商等各个环节的技术特点,并在高性能嵌入式处理器开发上做了有益的探索。提出要积极与系统软件、嵌入式计算机制造商协作,充分发挥软硬件协同设计能力,以开发出面向分布式集群计算机的高性能嵌入式处理器。进一步指出多核设计与高速总线电路是高性能嵌入式处理器发展的未来之路。
关键词
分布式集群计算机
高性能嵌入式处理器
多核设计
高速总线电路
Keywords
distributed cluster computer
high performance embedded processor
design of multi-core
high speed bus circuit
分类号
N945 [自然科学总论—系统科学]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
分布式存储管理在多核设计中的高层建模
李磊
沈海斌
黄凯
严晓浪
Han Sangil
Ahmed A Jerraya
《电子与信息学报》
EI
CSCD
北大核心
2008
1
在线阅读
下载PDF
职称材料
2
多核设计中的共享与分布式存储系统
李磊
沈海斌
严晓浪
《江南大学学报(自然科学版)》
CAS
2008
1
在线阅读
下载PDF
职称材料
3
多核处理器架构下面向监控的软件运行时验证方法研究
张剑
胡军
郭丽娟
《小型微型计算机系统》
CSCD
北大核心
2012
3
在线阅读
下载PDF
职称材料
4
高性能嵌入式处理器技术
赖铭强
聂新义
段国东
《计算机工程》
CAS
CSCD
北大核心
2009
3
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部