Ajax crawling algorithm based on state transition graph 一种基于状态转换图的Ajax爬行算法
An algorithm based on finite state transition graph for solving maximum RPC response time in Distributed Systems 分布式系统中求解RPC最大响应时间的一种基于状态图的算法
On the base of translating process transition graph into Process Algebra expression by hand, this paper puts forward the idea of translating between them automatically. 在手工转换进程迁移图到进程表达式的基础上,提出了自动转换的进一步研究思路。
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(TG) 基于状态转换符的时序电路冗余状态变换设计