数据流信息相关论文
基于最少谓词思想的路径生成方法得到广泛的认可,但其实现方法的不同同样会影响路径的可达效果.本文在简单了解了基于控制流的最少......
网络应用的普遍深入产生了一个新的运动的数据世界。传统的查询处理技术是基于静态和可预计的计算环境开发出来的,它不能适应和满......
AceMesh是一种基于数据流描述的任务并行编程语言,它允许程序员从串行程序出发,追加并行区域、并行循环的制导以及任务区的数据访......
在简单介绍了传统的不可达路径的排除方法后,主要介绍能有效改善其缺陷的可达路径选择方法.基于最少谓词思想的路径生成方法得到广......
提出一种新的方法来分析模型变化域,即在业务流程Petri网和数据约束下的业务流程Petri网基础上,抽象分离控制流Petri网模型和数据P......
不可达路径增加了程序的复杂度和冗余度,不可达路径的检测是结构测试中的一个关键问题。提出了一种包含异常处理结构的程序不可达......
