1) process slicing
流程切片
1.
Research on static process slicing in BPEL
BPEL静态流程切片技术研究
2) program slicing
程序切片
1.
Research and application of dynamic program slicing;
动态程序切片研究及其应用
2.
Approach of concurrent object-oriented program slicing based on LTL property;
一种基于LTL性质的面向对象并发程序切片方法
3.
Software metrics based on object-oriented program slicing
基于面向对象程序切片的软件度量
4) Reversing process
切换流程
5) Flow Cutting
流程切割
6) Verilog program slicing
Verilog程序切片
1.
A new Verilog program slicing algorithm with its theoretical framework of correctness verification is presented It is utilized to reduce the complexity of Verilog RT Level design and simplify the state space of automatic simulation vector generation Experiment results show that this new method can reduce the state space greatly, thus efficiently solved the state space explosion proble
提出一种Verilog程序切片算法 ,给出了该算法的正确性证明的理论框架 ;并利用提出的Verilog程序切片算法对VerilogRTL级设计进行化简 ,实现模拟矢量自动生成状态化简目的 实验结果表明 :该算法对状态化简效果非常明显 ,可以有效地解决状态空间爆炸问
补充资料：流程
①水流的路程：水流湍急，个把小时，就能越过百里～◇生命的～。②工业品生产中，从原料到制成成品各项工序安排的程序。也叫工艺流程。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条