...
机译:调整并行符号执行引擎以获得更好的性能
Department of Computer Science, Shanghai Jiao Tong University, Shanghai 200240, China;
School of Software, Shanghai Jiao Tong University, Shanghai 200240, China;
Intel Asia-Pacific Research and Development Ltd., Shanghai 200240, China;
Department of Computer Science, Shanghai Jiao Tong University, Shanghai 200240, China;
Intel Asia-Pacific Research and Development Ltd., Shanghai 200240, China;
School of Software, Shanghai Jiao Tong University, Shanghai 200240, China;
Intel Asia-Pacific Research and Development Ltd., Shanghai 200240, China;
Department of Advanced Information Technology, Kyushu University, Fukuoka 819-0395, Japan;
code analysis; symbolic execution; parallelizing symbolic execution; KLEE; Cloud9;
机译:在K计算机上有效执行并行片段分子轨道程序(OpenFMO)的性能调整
机译:解释语言原型化的符号执行引擎
机译:解释性语言的符号执行引擎原型
机译:使用GridGain在计算桌面网格中并行作业的自适应执行和性能调整
机译:并行应用程序和并行体系结构的性能评估,调整和分析的过程:定量方法。
机译:并行MapReduce:使用并行执行策略来最大程度地利用云资源并提高性能
机译:静态执行控制下并行代码生成器的实现以及C程序自动并行翻译器性能调整工具的建议
机译:用于指令级并行处理器的高性能执行引擎