首页> 外文OA文献 >permission. Checking Equivalence of SPMD Programs Using Non-Interference ∗

【2h】

permission. Checking Equivalence of SPMD Programs Using Non-Interference ∗

机译：允许。使用无干扰检查spmD程序的等效性*

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Roberto Lublinerman; Stavros Tripakis;
展开▼
作者单位

展开▼
年度 2009
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Equivalence checking of Petri net models of programs using static and dynamic cut-points [J] . Bandyopadhyayl Soumyadip, Sarkar Dipankar, Mandal Chittaranjan Acta Informatica . 2019,第4期

机译：使用静态和动态切入点的程序Petri网模型的等效性检查
2. Equivalence checking of Petri net models of programs using static and dynamic cut-points [J] . Bandyopadhyayl Soumyadip, Sarkar Dipankar, Mandal Chittaranjan Acta Informatica . 2019,第4期

机译：使用静态和动态切割点的Petri网模型的等价检查
3. Efficient Equivalence-Checking Algorithms for Procedural Programs in Progressive Semigroup Gateway Models [J] . V. V. Podymov Moscow University Computational Mathematics and Cybernetics . 2019,第4期

机译：高效的等价 - 检查渐进式半群网关模型中程序程序的算法
4. An Equivalence Checking Framework for Array-Intensive Programs [C] . Kunal Banerjee, Chittaranjan Mandal, Dipankar Sarkar International symposium on automated technology for verification and analysis . 2017

机译：数组密集型程序的等效检查框架
5. Efficient equivalence checking in a modular design environment. [D] . Hasteer, Gagan. 1998

机译：模块化设计环境中的有效等效检查。
6. Improved procedures and computer programs for equivalence assessment of correlation coefficients [O] . Gwowen Shieh, Alan D Hutson, Alan D Hutson, 2021

机译：改进的程序和计算机程序用于同等的相关系数评估
7. Equivalence Checking of Static Affine Programs using Widening to Handle Recurrences [O] . Sven Verdoolaege∗ Gerda 2015

机译：用扩展处理递归的静态仿射程序的等价性检验
8. Checking Equivalence of SPMD Programs Using Non-Interference [R] . Tripakis, S., Stergiou, C., Lublinerman, R. 2010

机译：使用无干扰检查spmD程序的等效性

permission. Checking Equivalence of SPMD Programs Using Non-Interference ∗

著录项

引文网络

相似文献

相关主题

期刊订阅