首页>
外国专利>
Dynamic and intelligent partial computation management for efficient parallelization of software analysis in a distributed computing environment
Dynamic and intelligent partial computation management for efficient parallelization of software analysis in a distributed computing environment
展开▼
机译:动态和智能的部分计算管理,可在分布式计算环境中高效并行化软件分析
展开▼
页面导航
摘要
著录项
相似文献
摘要
A method for verifying software includes determining the result of a bounding function, and using the result of the bounding function to apply one or more policies to the execution of the received job. The bounding function evaluates the execution of a received job, the received job indicating a portion of software to be verified. The result of the bounding function is based upon the present execution of the received job, one or more historical parameters, and an evaluation of the number of idle nodes available to process other jobs.
展开▼