Ajax crawling algorithm based on state transition graph 一种基于状态转换图(STG)的Ajax爬行算法
An algorithm based on finite state transition graph for solving maximum RPC response time in Distributed Systems 分布式系统中求解RPC最大响应时间的一种基于状态图的算法
By instrumenting heap usage modelling statements in the abstract state transition graph, and then obtaining the corresponding numeric abstraction, the problem of finding heap bounds is transformed into the maximum problem in a pure numeric program. 通过在抽象状态迁移图中插桩维护堆内存使用量的语句,获取对应的数值抽象模型,将堆内存上界问题转换成数值程序中的最大值问题。
Redundant State Transition Design of the Sequential Circuit Based on State Transition Graph(STG) 基于状态转换符的时序电路冗余状态变换设计
An performance evaluation model based on finite state transition graph 一种基于状态迁移图的性能评价模型