潘耘
【姓名】 潘耘
【职称】
【研究领域】 互联网技术;
【研究方向】
【发表文献关键词】 随机进程代数,时序逻辑,CSCW,XYZ/E,正确性证明,形式化方法,交互行为,二度量单播最短路径问题,路径长度,性能评价,服务发现,P2Poverlay,分段路由,新节点,路由结构,最短路径算法,路...
【工作单位】 中国矿业大学
【曾工作单位】 中国矿业大学;
【所在地域】 北京
今年新增/文献篇数 核心期刊论文数 基金论文数 第一作者篇数 总被引频次 总下载频次
0/5 5 4 0 9 629
中国期刊全文数据库    共找到5篇
[1]王银燕;余镇危;潘耘;曹怀虎;.基于分段的分布式路由结构[J]计算机工程.2006,(05)
[2]王银燕;余镇危;潘耘;曹怀虎;.基于分段的分布式服务部署和查找[J]计算机工程.2006,(09)
[3]王银燕;余镇危;曹怀虎;潘耘;.基于二度量的单播最短路径算法[J]计算机工程.2007,(05)
[4]张俊彩,余镇危,潘耘.CSCW时序逻辑模型交互行为的正确性研究[J]计算机工程与应用.2003,(05)
[5]冯烟利,余镇危,潘耘,刘克俭.网络体系结构建模和性能评价的形式化方法——随机进程代数[J]数学的实践与认识.2004,(11)
更多