检索结果-维普期刊中文期刊服务平台

Linux机群系统并行程序调试器的设计与实现被引量：10: 1; 作者刘建余宏亮 +1 位作者沈美明郑纬民《计算机工程》 CAS CSCD 北大核心 2002年第4期7-9,82,共4页; 介绍了在基于Linux的机群系统中,并行程序调试工具XBUSTER的设计与实现,包括调试器的基本结构及在实现时所涉及的一些关键技术。XBUSTER具有一般调试器的基本调试功能,可以调试用C/Fortran语言编写的PVM或MPI,对并行程序的各个进程能够... 展开更多; 关键词机群系统 PVM MPI LINUX 并行程序调试器软件开发; 在线阅读下载PDF 职称材料

数据相关性分析中替代约束的有效性被引量：1: 2; 作者乔林黄维通 +1 位作者孟威汤志忠《计算机工程与设计》 CSCD 北大核心 2006年第5期724-727,共4页; 数据相关性分析经常使用诸如方向向量或体差不等式等作为替代约束以加强求解丢番图方程的能力。给出了替代约束有效性的几个测度,详细分析了什么样的替代约束是可行的、有效的、良性的或恰当的,并证明在大多数情况下体差不等式约束要比... 展开更多; 关键词软件流水数据相关性替代约束迭代向量体差不等式测试有效约束; 在线阅读下载PDF 职称材料

一个并行程序集成开发环境的功能框架及实现中的关键技术被引量：1: 3; 作者赵刚沈美明郑纬民《小型微型计算机系统》 CSCD 北大核心 2001年第11期1281-1284,共4页; 高性能 ,高可靠性和良好的可扩展性使得机群系统的应用领域日益广泛 ,但是目前缺乏一个方便实用的并行程序开发环境 .本文首先从方便程序员开发并行程序的角度提出了一个并行程序集成开发环境的功能框架 ,然后重点论述了在实现集成开发... 展开更多; 关键词并行程序集成开发环境功能框架机群系统; 在线阅读下载PDF 职称材料

DENNET中降低调试器干扰的机制: 4; 作者王皓刘建 +2 位作者沈美明郑纬民余宏亮《小型微型计算机系统》 CSCD 北大核心 2004年第2期257-261,共5页; DENNET是清华大学高性能计算所开发的一个机群系统并行程序调试环境 .本文分析并行程序调试环境的现状和发展趋势 ;阐述调试环境对并行程序的干扰问题 ,指出降低乃至完全消除干扰是并行程序调试环境的一个重要研究方向 ,介绍了 DENNET... 展开更多; 关键词机群系统调试环境调试干扰动态插装; 在线阅读下载PDF 职称材料

题名Linux机群系统并行程序调试器的设计与实现被引量：10: 1; 作者刘建余宏亮沈美明郑纬民; 机构清华大学计算机系高性能计算所; 出处《计算机工程》 CAS CSCD 北大核心 2002年第4期7-9,82,共4页; 基金国家自然科学基金资助项目(69933020); 文摘介绍了在基于Linux的机群系统中,并行程序调试工具XBUSTER的设计与实现,包括调试器的基本结构及在实现时所涉及的一些关键技术。XBUSTER具有一般调试器的基本调试功能,可以调试用C/Fortran语言编写的PVM或MPI,对并行程序的各个进程能够单独或同时进行调试,并且能够实现进程的动态调试。该系统已在运行Linux系统的清华集群计算机系统上运行,具有较好的实用性。; 关键词机群系统 PVM MPI LINUX 并行程序调试器软件开发; Keywords Parallel debugging Cluster system PVM MPI; 分类号 TP311.52 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名数据相关性分析中替代约束的有效性被引量：1: 2; 作者乔林黄维通孟威汤志忠; 机构清华大学计算机与信息管理中心清华大学计算机系高性能计算所; 出处《计算机工程与设计》 CSCD 北大核心 2006年第5期724-727,共4页; 基金国家自然科学基金项目(69773028 60173010); 文摘数据相关性分析经常使用诸如方向向量或体差不等式等作为替代约束以加强求解丢番图方程的能力。给出了替代约束有效性的几个测度,详细分析了什么样的替代约束是可行的、有效的、良性的或恰当的,并证明在大多数情况下体差不等式约束要比方向向量约束更有效,体差不等式测试方法的收敛性要强于其它使用方向向量作为替代约束的传统数据相关性测试算法。; 关键词软件流水数据相关性替代约束迭代向量体差不等式测试有效约束; Keywords software pipelining data dependence surrogating constraint iteration vector dependence difference inequality test effective constraint; 分类号 TP33 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

题名一个并行程序集成开发环境的功能框架及实现中的关键技术被引量：1: 3; 作者赵刚沈美明郑纬民; 机构清华大学计算机系高性能计算所; 出处《小型微型计算机系统》 CSCD 北大核心 2001年第11期1281-1284,共4页; 基金国家自然科学资助项目"并行程序设计环境关键技术"(6993 3 0 2 0 ); 文摘高性能 ,高可靠性和良好的可扩展性使得机群系统的应用领域日益广泛 ,但是目前缺乏一个方便实用的并行程序开发环境 .本文首先从方便程序员开发并行程序的角度提出了一个并行程序集成开发环境的功能框架 ,然后重点论述了在实现集成开发环境时涉及到的一些关键问题和技术 ,最后简要介绍了基于这些技术的 IPCE2 .; 关键词并行程序集成开发环境功能框架机群系统; Keywords Parallel programming tools Deueloping enuironments Performance moniterring; 分类号 TP311.52 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名DENNET中降低调试器干扰的机制: 4; 作者王皓刘建沈美明郑纬民余宏亮; 机构清华大学计算机系高性能计算所; 出处《小型微型计算机系统》 CSCD 北大核心 2004年第2期257-261,共5页; 基金国家自然科学基项目 (6993 3 0 2 0 )资助; 文摘 DENNET是清华大学高性能计算所开发的一个机群系统并行程序调试环境 .本文分析并行程序调试环境的现状和发展趋势 ;阐述调试环境对并行程序的干扰问题 ,指出降低乃至完全消除干扰是并行程序调试环境的一个重要研究方向 ,介绍了 DENNET设计时采用的两种降低干扰的技术 .; 关键词机群系统调试环境调试干扰动态插装; Keywords cluster system debugging environment debugging disturbance dynamic instrumentation; 分类号 TP311 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

	题名	作者	出处	发文年	被引量	操作
1	Linux机群系统并行程序调试器的设计与实现	刘建余宏亮沈美明郑纬民	《计算机工程》 CAS CSCD 北大核心	2002	10	在线阅读下载PDF 职称材料
2	数据相关性分析中替代约束的有效性	乔林黄维通孟威汤志忠	《计算机工程与设计》 CSCD 北大核心	2006	1	在线阅读下载PDF 职称材料
3	一个并行程序集成开发环境的功能框架及实现中的关键技术	赵刚沈美明郑纬民	《小型微型计算机系统》 CSCD 北大核心	2001	1	在线阅读下载PDF 职称材料
4	DENNET中降低调试器干扰的机制	王皓刘建沈美明郑纬民余宏亮	《小型微型计算机系统》 CSCD 北大核心	2004	0	在线阅读下载PDF 职称材料