一种扩充的π-演算及事务性等价关系研究

本栏热门下载

• 基于改进量子微粒群的轨道导引小车系统建
• 基于模糊需求与机器产能的动态单元构建与
• 基于免疫算法的属性约简方法
• 基于样本-特征加权的可能性模糊核聚类算
• 基于性能稳健指数的产品族稳健优化设计
• 基于信任的虚拟企业伙伴选择模型构建及仿
• 考虑运输时间柔性作业车间调度问题的快速
• 考虑产品服务组合效应的产品服务系统方案
• 考试考核标准中的激励机制分析
• 再制造工艺过程二阶优化决策方法
• 一种基于压缩策略的高维空间子空间skylin
• 一种应用于Deep Web数据集成系统中的查询
• 支持高并发数据流处理的MapReduce中间结
• 以虚拟机为核心支持动态层绑定的方法
• 直线引导的Torus结构路由算法
• 一种支持大量并发用户的瓦片缓存方案研究
• 一种资源关联的云服务选择机制研究
• 一种新的实现效用函数最大最小公平性的分
• 自适应EFSM可执行测试序列生成
• 一种面向组合攻击效能评估的Enhanced LAM
• 支持跨步访问的嵌入式存储系统
• 遗传算法优化回声状态网络的网络流量预测
• 自组织网络基于邻居信息广播算法综述
• 准序化供货模式下的混装线重排序
• 装车站运输作业过程的时间可靠性分析
• 一种面向大规模P2P环境的成员管理机制
• 最坏情况下X2SAT问题的上界
• 运行优化控制集成系统优化设定软件平台的
• 一种支持MDA的UML类图到RDB模型的转换方
• 自由变形技术及其应用
• 一种面向通用众核CPU的软件调试器设计
• 一种由长尾分布约束的推荐方法
• 非圆曲面XY直驱加工廓形误差交叉耦合控制
• 多核机群主节点并发发送数据的可分负载调
• 动态电压调节技术在高性能计算领域的能效
• 非线性人脸老化模拟