并发计算相关论文
在chi进程间互模拟格的基础上,利用L-互模拟的开刻划,给出所有4个L-互模拟等价诱导的同余关系的完全公理化系统。4个L-互模拟等价中最小的同余关......
针对P2P网络动态构建问题,提出了一种能够支持多节点并发动态加入和退出的P2P路由算法.该算法具有如下特点:(1)自治性:节点的增删......
针对目前舰艇标准显控台视频录取的弊端,设计开发了一种基于多核并行计算的视频录取系统,并利用微软.NET4.0规范中的并行任务库进......
Chi-演算是将π-演算中两类受限名统一后得到的.多态Chi-演算扩充了Chi-演算的通信能力,使得一次通信可传递多个信息.元Chi-演算是......
人工生命主流是借用生物学及复杂系统的数理方法等作为理论的背景,几乎没有人从计算理论的角度作进一步研究.介绍了超循环的基本概......
作为国家重要税种的增值税,在其发票开具和税务申报过程中,最能识别出企业的异常行为,因而对增值税发票的后续关联分析成为税务工......