• 哈斯普朗

  • 引用2篇文章[sw06044]
  • 可重新配置计算平台,HASPRNG包括可重新配置 逻辑对于现场可编程门阵列(FPGA)来说。。。带着弹簧。本文描述了可重新配置 逻辑利用数学性质。。。FPGA$pi$-高性能估计器可重新配置计算机(HPRC)示例应用和比较。。。
  • 超声波

  • 第3条引用[sw01715]
  • 使用基于可重新配置 逻辑. 我们还解释了软件接口是如何。。。软硬件并行开发。动态的重新配置被超声波建筑开发。。。
  • 狮身人面像

  • 引用5篇文章[sw19754]
  • 介绍SPHIN,一个模型检查器可重新配置基于模型检验器旋转的混合系统。。。建模方式与符合逻辑的(离散)移动性是用π-微积分来模拟的。。。支持通道名称传递和can模型重新配置. 我们扩展了PROMELA的语法。。。
  • 费利克斯

  • 引用2篇文章[sw28618号]
  • 费利克斯:使用重写-逻辑用于生成功能等效的实现。菲利克斯是一个新的设计空间。。。可重新配置架构。它的主要和新颖的优点是重写规则和符合逻辑的...
  • 夏甲

  • 1条引用[SW33026号]
  • 数据结构驻留在可重新配置硬件,以及支持逻辑和软件。。。
  • 超小卫星

  • 引用文献531篇[sw00577]
  • 可扩展的SAT解算器。MiniSat是一个极简主义者。。。
  • 单数

  • 第1373条中引用的条款[sw00866]
  • 奇异是一个计算机代数系统(CAS)为。。。
  • 合金

  • 引用了29篇文章[sw01247]
  • 合金:一种新的软件建模技术。合金。。。