搜索结果: 1-3 共查到“计算机软件 Scalable”相关记录3条 . 查询时间(0.018 秒)
第三届国际可扩展计算实时大数据应用研讨会（3rd International Workshop on Scalable Computing For Real-Time Big Data Applications）(SCRAMBL 2017)
第三届 国际可扩展计算 大数据应用 研讨会
2017/3/21
SCRAMBL is a dedicated workshop to present and discuss leading
research results, use cases, innovative ideas, challenges, and
opportunities that arise from adopting real-time big data analytics at...
Small Formulas for Large Programs: On-line Constraint Simplification in Scalable Static Analysis
Small Formulas Large Programs On-line Constraint Simplification Scalable Static Analysis
2016/5/24
Static analysis techniques that represent program states as formulas typically generate a large number of redundant formulas that are incrementally constructed from previous formulas. In addition to q...
Under-constrained Execution:Making Automatic Code Destruction Easy and Scalable
Bug finding symbolic execution dynamic analysis
2015/8/7
Software testing is well-recognized as a crucial part of the modern software development process. However, manual testing is labor intensive and often fails to produce impressive coverage results. Ran...