退出
我的积分:
中文文献批量获取
外文文献批量获取
李航; 臧洌; 甘露;
南京航空航天大学计算机科学与技术学院;
江苏 南京 211106;
并行算法; 负载均衡; 符号执行; 集中式策略;
机译:硬实时系统的并行化方法及其在两个工业程序中的应用:硬实时系统的并行化策略和两个案例研究
机译:使用基于符号执行和切片技术的被动测试:在通信协议验证中的应用
机译:MHO:Meta启发式优化应用任务调度云基础设施服务负载均衡技术
机译:分水岭负载均衡技术,用于具有近场预处理的快速多极点方法的分布式内存并行化
机译:多尺度计算流体动力学建模:并行化及其在薄膜太阳能电池等离子体增强化学气相沉积设计和控制中的应用
机译:使用MapReduce框架的K-mer聚类算法:在Trinity的Inchworm模块并行化中的应用
机译:jSyX:JAVA BYTECODE的符号执行机及其在测试生成中的应用
机译:使用计算机辅助并行化工具包自动并行化科学应用代码
机译:使用符号执行来检查应用程序中的全局时间要求
机译:使用符号执行检查应用程序中的全局时间要求
机译:符号执行方法,符号执行程序和符号执行装置
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。