搜索筛选:
搜索耗时0.7719秒,为你在为你在102,285,761篇论文里面共找到 68 篇相符的论文内容
发布年度:
[期刊论文] 作者：张建民, 黎铁军, 张峻, 庞征斌, 李思昆,,
来源：计算机应用 年份：2014
随着软硬件设计的规模越来越大,功能越来越复杂,往往导致形式化验证出现"组合爆炸"问题,而谓词抽象方法是解决状态空间"组合爆炸"问题的重要技术之一。面向硬件的谓词抽象方...
[期刊论文] 作者：夏军,徐炜遐,庞征斌,张峻,常俊胜,,
来源：国防科技大学学报 年份：2015
为减少远程Cache访问延迟,提高共享存储系统的性能,提出了一种新的基于程序内在写突发特性的最后一次写访问预测方法,并对一个具体的目录协议进行了改造,以支持该预测方法。...
[期刊论文] 作者：常俊胜,庞征斌,徐炜遐,夏军,尹刚,
来源：国防科技大学学报 年份：2014
增强信誉机制对信誉信息的有效聚合能力是信誉系统成功的基础。已有的基于局部信誉信息的信誉系统难以有效处理节点的复杂策略不诚实推荐行为,并且可能把提供诚实推荐的节点...
[期刊论文] 作者：屈婉霞,庞征斌,郭阳,李暾,杨晓东,
来源：国防科技大学学报 年份：2010
针对参数化系统状态空间爆炸问题提出了一个通用的参数化系统二维抽象框架TDA。对所有进程单独进行抽象，利用参数化系统的设计思想，隐藏系统参数构建全系统的抽象模型，最大限度......
[期刊论文] 作者：曹继军,肖立权,王克非,庞征斌,陈琳,,
来源：计算机学报 年份：2016
互连网络是超级计算系统的关键部件,其易管理性将直接影响整个系统的RAS特性（可靠性、可用性和服务性）.“天河二号”超级计算系统采用了定制的高速互连网络,该网络由大约5856块......
[期刊论文] 作者：杨明英,雷斐,董德尊,沈胜宇,庞征斌,,
来源：计算机工程与科学 年份：2014
随着高性能互连网络规模的增大,如何通过互连网络拓扑结构的设计来提升系统的性能和降低物理开销成为了系统设计的关键之一。传统的拓扑结构（可分为直接网络和间接网络）在网络......
[期刊论文] 作者：张建民,张峻,夏军,庞征斌,徐炜遐,
来源：上海交通大学学报 年份：2013
针对微处理器的高速缓冲存储器（Cache），提出了一种可综合的伪随机功能验证方法，对其在实际芯片中的性能进行测试，并与常见的基于软件模拟的随机功能验证方法进行了对比．结果表明，与......
[期刊论文] 作者：夏军,庞征斌,李小芳,潘国腾,李永进,
来源：计算机工程与科学 年份：2010
DDR2是由JEDEC制定的新一代DDR内存技术标准。本文深入研究了DDR2的特点和规范，设计并实现了一个支持体并发和Openpage调度策略的高性能DDR2控制器。性能评测结果表明，所设计和...
[期刊论文] 作者：王绍刚,徐炜遐,吴丹,庞征斌,夏军,,
来源：湖南大学学报(自然科学版) 年份：2015
大数据量的远程内存访问（RDMA）传输是并行计算机中最基本的通信模式之一,对系统整体性能的影响很大.随着并行计算机系统的规模扩大,系统的容错性设计面临着很大的挑战,互连网络......
[会议论文] 作者：常俊胜,庞征斌,夏军,张峻,徐炜遐,
来源：第十七届计算机工程与工艺年会暨第三届微处理器技术论坛 年份：2013
针对网络接口芯片(NIC)中寄存器多源访问机制面临的三个方面的需求，即不同类型寄存器的访问速度差异化处理、多种寄存器访问请求源的合理调度、实现机制利于芯片后端设计...
[会议论文] 作者：屈婉霞,谭坚,郭阳,庞征斌,杨晓东,
来源：全国第15届计算机辅助设计与图形学学术会议 年份：2008
针对参数化Cache一致性协议状态空间爆炸问题,本文提出共享集合伪临界值(pseudo-cutoff)的概念,有效优化了参数化目录Cache协议状态空间,并提出了解决小概率的大共享度事件的...
[期刊论文] 作者：张建民,黎铁军,徐炜遐,庞征斌,李思昆,,
来源：国防科技大学学报 年份：2015
求解布尔不可满足子式在超大规模集成电路设计与验证领域都具有非常重要的理论与应用价值,帮助EDA工具迅速定位错误与不一致。针对求解不可满足子式的非完全方法,提出了消解...
[期刊论文] 作者：许超龙,李晋文,罗章,王克非,庞征斌,,
来源：计算机工程与科学 年份：2016
由于高速光开关在光互连通信中越来越广泛的应用，光开关的开关速度直接影响了整个光链路的传输速率，因此对驱动光开关产生长周期窄脉冲光信号的驱动电路的性能及集成度有了更高......
[期刊论文] 作者：娄辉,肖灿文,董德尊,庞征斌,李存禄,,
来源：计算机工程与科学 年份：2015
多播通信在片上多核系统中占据很重要的地位,并会对多核系统上并行应用程序的性能产生很大影响。现有的多播路由算法大多存在资源利用不均衡的不足,从而导致片上缓存资源的利...
[期刊论文] 作者：陆平静,李宝,易任娇,张英,王绍刚,庞征斌,,
来源：计算机工程与科学 年份：2015
高级程序变换是提高程序性能的重要手段，很多涉及到优化参数的选择问题，如为循环分块选择适当的分块因子。由于优化参数搜索问题本身是NP难问题，目前尚没有确定性的算法可以有效......
[期刊论文] 作者：夏竟，徐炜遐，张俊，庞征斌，XIAJing，XUWei-xia，ZHANGJun，PANGZheng-bin,
来源：计算机工程与科学 年份：2009
...
[期刊论文] 作者：张建民，黎铁军，张峻，庞征斌，李思昆，ZHANGJianmi,
来源：计算机应用 年份：2014
...
[会议论文] 作者：王永庆[1]王克非[1]肖立权[1]庞征斌[2],
来源：2013全国高性能计算学术年会 年份：2013
高性能互连网络的研究表明,高阶路由器可以显著缩短网络直径,减小网络构建成本,是当前高性能计算的研究热点之一.高阶路由器设计面临的主要挑战之一是队头阻塞,它使N×N交叉...
[期刊论文] 作者：王绍刚,徐炜遐,庞征斌,吴丹,戴艺,陆平静,
来源：国防科技大学学报 年份：2013
并行应用程序中绝大部分的访存是对私有数据的访问,在cache一致性协议上不会产生冲突。传统一致性协议没有根据程序私有数据的访问模式进行针对性设计,存在着很大的优化空间...
[期刊论文] 作者：张英, 李根, 庞征斌, 李永进, 张俊, 夏军, 杨学军,,
来源：计算机工程与科学 年份：2009
研究科学计算应用在流处理器上的适用性已成为当前研究热点之一。本文首先分析了流处理器处理科学计算应用的优势以及在流处理器上开发科学计算面临的重大挑战；然后针对不同类......
相关搜索：
