搜索筛选:
搜索耗时0.8578秒,为你在为你在102,285,761篇论文里面共找到 29 篇相符的论文内容
发布年度:
[期刊论文] 作者：屈婉霞,
来源：计算机应用 年份：2001
传统的客户 /服务器通讯模式不适用于具有相同地位、又需要相互通讯的进程。本文提出一种可移动的网络通讯策略 ,从软件方面隐藏客户机与服务器之间的主从约束 ,动态获得参与通讯的进程的地址信息 ,较好地解决了应用中遇到的问题。......
[期刊论文] 作者：屈婉霞,
来源：计算机工程与应用 年份：2000
鉴于日益复杂的设计数据和在地域及时间上存在着别的设计团队迫切需要分布的集成设计环境，提出了一种基于ＷＥＢ的电子设计环境的结构，阐述了基于ＷＥＢ的设计过程管理和数据安全性管理的思......
[期刊论文] 作者：屈婉霞,蒋句平,
来源：计算机工程与科学 年份：2000
本文分析了并行计算机系统调试的传统方法，指出了其中存在的问题，并着重讨论了利用ＵＮＩＸ系统Ｖ的ＩＰＣ消息机制对已有调度方案所进行的改进及其实现。...
[会议论文] 作者：张龙,屈婉霞,郭阳,
来源：第十七届全国计算机辅助设计与图形学学术会议(CAD/CG’ 2012)暨第九届全国智能CAD与数字娱乐学术会议(CID’ 年份：2012
针对参数化系统验证的状态空间爆炸问题，本文提出自动抽象方法化简参数化系统状态空间。首先，进行Y-抽象建立单进程状态机模型，然后，通过对多个Y-抽象模型的合成运算得到异步......
[期刊论文] 作者：王慧丽, 郭阳, 屈婉霞,,
来源：中国科学:信息科学 年份：2019
随着深度学习在众多领域发挥着越来越重要的作用,如何设计高性能、低功耗、低延迟的深度学习硬件加速器成为体系结构领域的研究热点.本文基于深度学习算法模型的结构和优化方...
[期刊论文] 作者：郭阳,李思昆,屈婉霞,,
来源：计算机辅助设计与图形学学报 年份：2012
随着集成电路工艺水平的不断提升以及应用对处理器性能要求的日益增长,验证已成为未来片上多核处理器发展的主要技术瓶颈.文中深入分析了片上多核处理器验证中状态空间大、完备性不足、存储结构与互连网络验证复杂、硅后验证困难等突出问题,系统地总结了片上多......
[会议论文] 作者：屈婉霞,窦强,李琼,刘光明,
来源：NCIS2002第十二届全国信息存储学术会议 年份：2002
能否在大容量Cache中快速定位数据是影响盘阵系统的I/O性能的关键.已有的Cache搜索算法的空间开销随着Cache空间的增大而显著增加,导致搜索效率降低.本文提出并实现了一种新...
[期刊论文] 作者：李暾, 贺旭, 屈婉霞, 万海,,
来源：计算机辅助设计与图形学学报 年份：2021
随着登纳德缩放定律和摩尔定律几近终结,通过领域特定体系结构提升微处理器性能变得越来越重要,迫切需要提升微处理器设计生产率来应对网络、智能、安全等领域特定需求.国内...
[期刊论文] 作者：屈婉霞,蒋句平,田宝华,,
来源：计算机工程与设计 年份：2006
多机系统规模和复杂度的增加，给测试人员带来了新的挑战。分析了多机系统调试阶段和运行阶段便于测试和诊断的软硬件技术，提出了一种基于边界扫描技术的层次化调试网络结构，给出......
[会议论文] 作者：谭德立,屈婉霞,徐炜遐,
来源：第九届计算机工程与工艺全国学术年会 年份：2005
本文介绍了一种利用PC机EPP并行接口调试FPGA硬件逻辑设计的方法,包括FPGA的调试逻辑与EPP接口逻辑设计和基于WINDOWS环境的调试软件设计.实践证明,该方法不仅节约开发成本,而且能有效缩短开发周期.......
[期刊论文] 作者：屈婉霞,李暾,郭阳,杨晓东,
来源：国防科技大学学报 年份：2008
随着软硬件系统规模和功能的不断扩充，状态空间爆炸问题严重影响了模型检验的进一步发展与应用，成为验证大规模系统的瓶颈。在显式模型检验工具Murphi的基础上，针对其可达状态空......
[期刊论文] 作者：谭德立,徐炜遐,屈婉霞,刘涛,
来源：计算机工程与科学 年份：2005
本文介绍了HT总线CRC-32的计算原理,推导了8位HT链路的CRC-32并行计算算法,用Xilinx XC4000-5芯片实现并验证了该并行算法的正确性....
[期刊论文] 作者：张龙,屈婉霞,郭阳,李思昆,,
来源：计算机辅助设计与图形学学报 年份：2018
针对良序结构迁移系统可覆盖性分析计算成本高的问题,提出一种运用有限状态模型检验技术解决无穷状态系统可覆盖性问题的算法.首先将良序结构迁移系统划分为不同权值限定下的一系列有限状态机模型;然后采用最新的模型检验技术增量式地计算不同权值下模型的可达......
[期刊论文] 作者：张龙,屈婉霞,郭阳,李思昆,,
来源：计算机辅助设计与图形学学报 年份：2014
针对参数化系统验证面临的状态空间爆炸问题,提出自动抽象方法化简参数化系统状态空间.首先进行Y-抽象建立单进程有限状态机模型,然后通过对多个Y-抽象模型的合成运算得到异步合成的参数化系统,最后根据定义的谓词对参数化系统进行X-抽象得到二维抽象模型.运用......
[期刊论文] 作者：屈婉霞,李暾,郭阳,杨晓东,,
来源：计算机工程与应用 年份：2006
在模型检验中，抽象技术是解决状态空间爆炸问题的有效方法之一。论文描述了模型检验对抽象模型的基本要求．给出了抽象模型的定义及其评价指标，对抽象技术和自动化的抽象精化技术......
[期刊论文] 作者：屈婉霞,李暾,郭阳,杨晓东,
来源：软件学报 年份：2008
随着软、硬件系统规模和功能的不断扩充，状态空间爆炸问题严重影响了模型检验的进一步发展与应用，成为验证大规模系统的瓶颈．谓词抽象是解决状态空间爆炸的最有效方法之一，近年来......
[会议论文] 作者：郭御风,冯传明,李琼,屈婉霞,
来源：NCIS2002第十二届全国信息存储学术会议 年份：2002
在RAID中,采用合理的磁盘I/O任务调度算法,可以最大限度地重叠I/O请求的服务时间,加快RAID对来自主机的I/O请求的响应,显著改善RAID系统性能.本文介绍了RAID的实时处理模型,...
[会议论文] 作者：屈婉霞,郭御风,李琼,徐炜遐,
来源：全国第13届计算机辅助设计与图形学学术会议暨全国第16届计算机科学与技术应用学术会议 年份：2004
HyperTransport是一种新的高性能的I/O体系结构,与现有的总线结构相比,它具有高带宽、低延迟的优点,有助于简化系统设计,增加I/O灵活性.本文首先介绍了HyperTransport的拓扑结构及其关键技术—I/O定序规则和流控机制,然后以HyperTransport Host Bridge的验证为......
[期刊论文] 作者：屈婉霞,朱敏,唐卫清,杨瑞元,
来源：计算机工程与科学 年份：
本文介绍了利用图象产生虚拟场景的方法，分析了基于图象的虚拟现实的结构，提出了一种新的基于图象的虚拟场景的重建与漫游框架，并对其中的深度恢复这一关键技术进行了讨论。......
[期刊论文] 作者：屈婉霞,郭阳,庞征斌,杨晓东,
来源：国防科技大学学报 年份：2008
针对Cache一致性协议状态空间爆炸问题，提出共享集合伪临界值（Pseudo-cutoff）的概念，并以采用释放一致性模型的CC-NUMA系统为例，分析了共享数据的分布情况，推导出在一定条件下共享......
相关搜索：
