Algorithms ; Parallel processing ; Simulation ; Standard model ; Verification ; Exploration ; Performance;
机译:一种检测并行软件瓶颈并提出修改建议的系统方法:以期望最大化算法为例
机译:一种检测并行软件瓶颈并提出修改建议的系统方法:以期望最大化算法为例
机译:大规模并行模块化幂运算方法及其在高性能密码系统的软件和硬件中的实现
机译:使用Bandera工具集对并行Java软件的属性进行模型检查
机译:快速算法,模块化方法,并行方法和软件工程,以符号方式求解多项式系统
机译:使用GenAMap软件系统中的自动化并行化和可视化功能来增强结构化关联映射算法的可用性和性能
机译:模型检查并行系统软件的方法。
机译:模型检查并行系统软件的方法