维普中文期刊产品整合服务
共被期刊论文引用了2次 您的检索式:您选中1篇文献正在查看引证文献汇总
    题名 作者 年代 出处 被引量
1Quantale与互模拟的进程语义显示文摘以特定的观察为生成元构造了互模拟quantaleQ_B,而将进程作为此quantale上的模的组成成分,由此给出了互模拟的三个完备性准则,回答了AbrasmkyS与VickersS.提出的公开问题(1993),完备了他们利用quantale统一处理进程语义的方法.李永明 李志慧 1999数学学报(中文版)1999,42,2:17
2群机通信软件的实现技术显示文摘以直通式交换网络为基础 ,研究高速并行计算和实时仿真的通信软件 .在直通网协议上直接构造消息通信原语 ,不用 TCP/ IP协议 ;引入活跃消息 ( active message) ,支持高层通讯机制 ,减少通讯量和通信开销 ;在硬件基础上提供广播机制 ;为减少中断开销和通信阻塞 ,引入可编程控制的 POL L ING机制 .实现了 HPMPS( high performance messagepassing system) .古志民 2000北京理工大学学报2000,20,5:0
返回顶部 每页显示:
共1页 首页 上一页 第1页 下一页 末页 /1 跳转

网站首页 | 关于我们 | 联系我们 | 产品服务 | 客服中心 | 广告服务 | 版权声明 | 网站联盟 | 友情链接 | 售卡网点

版权所有© 渝B2-20050021-1 渝公网安备 50019002500403号 违法和不良信息举报中心

互联网出版许可证 新出网证(渝)字10号 全国400电话 - 免长途话费