位置：成果数据库 > 期刊 > 期刊详情页
模型检验中对CTL公式的空属性探测
  • 期刊名称：西安电子科技大学学报
  • 时间：0
  • 相关项目：无线通信自重构容错NOC研究
同期刊论文项目
无线通信自重构容错NOC研究
期刊论文 54 会议论文 14
同项目期刊论文
DDR SDRAM控制器数据通道的设计与实现
一种星簇双环片上网络拓扑结构
片上网络节点编码的设计和在路由方面的应用
Topology and Routing Algorithm Based on the Combination Gray Code with Johnson Code
LTL公式到自动机的转换
一种新的片上网络仿真与分析
超立方体双环互连网络及路由算法
NoC关键问题
Torus连接Petersen图互连网络及其路由算法
无数据缓存的容错环形NOC
时序电路的形式化证明
NoC系统设计的研究
NoC系统研究综述
A Node Encoding of Torus Topology and Its Improved Routing Algorithm
DL(2m): A New Scalable Interconnection Network for System-on-Chip
A Hypercube-based Scalable Interconnection Network for Massively Parallel Computing
离散Arnold变换改进及其在图像置乱加密中的应用
基于三元组的扩频码构造及其性能分析
基于类内类间距离的模糊C-均值聚类分割算法
基于混沌与自编码相融合扩频码的构造
一种新的片上互连网络的仿真和分析
从SOC到NOC的集成电路设计技术发展
基于祖冲之算法和DNA编码的图像分组加密方法
CPU与GPU之间接口电路的设计与实现
基于MHC快速译码算法的译码树的构造方法