School of Computer Science Universiti Sains Malaysia 11800 Pulau Pinang Malaysia;
parallelizing compilers; interprocedural analysis; data dependencies;
机译:使用概率编程和非参数贝叶斯检测稀疏多元数据库中的依存关系
机译:具有产品,代数数据和ML多态类型的功能程序的重写系统中的静态依赖对方法
机译:具有产品,代数数据和ML多态类型的功能程序重写系统中的静态依赖对方法
机译:用于C程序的简单数据依赖性分析器
机译:逻辑问题的计算复杂性:公式,依赖关系和电路(关系数据库,KROM,嵌入式多值,依赖关系)
机译:用于C程序的简单数据依赖分析器。
机译:代替oracles,广义依赖和更简单的模型