基本信息来源于合作网站,原文需代理用户跳转至来源网站获取       
摘要:
比较器排序网络[1](CSN)是一种执行并行排序的专用并行结构,验证一个CSN的正确性非常必要,本文基于[0,1]原理,给出一个验证排序网络的方法并用Java语言进行了实现.第1节介绍CSN及[0,1]原理,第2节介绍验证给定排序网络正确性的算法及实现,第3节总结全文.
推荐文章
主体计划的Petri网方法及正确性验证
多主体
计划
Petri网
同步器
一种基于程序正确性证明理论的程序开发方法
程序的形式推导方法
程序规范
循环不变式
基于抽象解释的函数不变量正确性验证
函数不变量
抽象解释
正确性验证
多项式关系
一种行业领域词库标识树的正确性检测算法研究
词库标识树
正确性检测
特征向量空间矩阵
相关性系数
知识挖掘
数据识别
内容分析
关键词云
关键词热度
相关文献总数  
(/次)
(/年)
文献信息
篇名 一种比较器排序网络正确性验证方法
来源期刊 数字技术与应用 学科 工学
关键词
年,卷(期) 2022,(1) 所属期刊栏目 应用技术
研究方向 页码范围 47-49
页数 3页 分类号 TP301.6
字数 语种 中文
DOI 10.19695/j.cnki.cn12-1369.2022.01.15
五维指标
传播情况
(/次)
(/年)
引文网络
引文网络
二级参考文献  (0)
共引文献  (0)
参考文献  (0)
节点文献
引证文献  (0)
同被引文献  (0)
二级引证文献  (0)
2022(0)
  • 参考文献(0)
  • 二级参考文献(0)
  • 引证文献(0)
  • 二级引证文献(0)
引文网络交叉学科
相关学者/机构
期刊影响力
数字技术与应用
月刊
1007-9416
12-1369/TN
16开
天津市
6-251
1983
chi
出版文献量(篇)
20434
总下载数(次)
106
总被引数(次)
35701
论文1v1指导