• 轮廓/偏压

  • 122篇参考文献[SW07333 ]
  • 基本向量与矩阵运算具体的以及各种机器上的快速实现,后者…潜在的硬件可移植性;A的独立性具体的区间表示法…
  • Obj3

  • 137篇参考文献[SW05370]
  • 设计与规格快速原型、定理证明、用户界面设计和硬件核实,等等…
  • 星体

  • 17篇参考文献[ SW028 78]
  • 硬件 规格使用断言语言星体,我们介绍了使用星体,一个断言…UCSB规格实时系统的设计硬件描述语言。星体…
  • 手持式C

  • 44篇参考文献[SW11988 ]
  • 强调并行性。HANDel-C是硬件设计什么高级编程…许多其他设计语言具体的建筑手绘-C可以编译…语言,然后合成相应的语言。硬件. 这使得开发者集中精力…手,而不是A的特质具体的设计语言和建筑…
  • 塞尔-西格玛

  • 11篇参考文献[ SW11232 ]
  • 矩阵数据存储格式很高硬件-具体的这可能成为使用时的一个障碍。在各种各样的情况下显示其适用性硬件平台(英特尔桑迪桥,英特尔Xeon…
  • SEL4

  • 78篇参考文献[SW15222]
  • 规格到它的C实现。我们假设编译器的正确性,汇编代码,以及硬件始终严格遵循我们的高层抽象规格内核行为。这包括传统设计…
  • 山茶属

  • 76篇参考文献[SW0973]
  • 接口规格作为高级加密标准(AES)。软件效率与软件效率硬件平台
  • 开泡剂

  • 333篇参考文献[SW04317]
  • 充分利用计算机用户硬件由他们支配。通过开放,开放泡沫…包括超过80个求解器应用程序,模拟具体的工程力学中存在的问题及对策
  • 盖泽尔

  • 6篇参考文献[SW04151]
  • 一个模拟器和支持探索硬件设计语言没有语义…对GEZEL的验证进行了实验规格使用UPPAAL系统。特别地。。。证明了A的正确性硬件 规格简化的DES算法。我们有。。。
  • 科科斯

  • 5篇参考文献[SW2045 5]
  • 允许特殊用途的透明利用硬件加载和存储操作。这样的数据结构…生成一个兼容的可执行文件具体的 硬件
  • 三维切片机

  • 5篇参考文献[SW2574]
  • 自由而不束缚具体的 硬件. 作为一个编程平台,3D切片机有助于…
  • 焦点

  • 19篇参考文献[SW01591]
  • 形式化模拟检查器规格. 在可预见的将来,工业硬件设计将继续…
  • CG

  • 32篇参考文献[SW14154]
  • 硬件面向通用语言,而不是应用程序——具体的阴影语言。语言包括…
  • 萨普姆

  • 2篇参考文献[SW28 617]
  • 萨普顿:埃兰的验证硬件 规格使用证明助手PVS。重写和重写逻辑…证明助理。前期作品探索硬件 规格并利用重写逻辑系统进行建模。给定的正确性硬件 规格. 虽然简单,验证必须做详尽的…
  • PYFR

  • 17篇参考文献[SW15728 ]
  • 范围硬件使用内置域的平台具体的源自…的语言
  • 弗兰克斯卡梅拉

  • 2篇参考文献[SW23 985 ]
  • Frankencamera。它由一个底座组成。硬件 规格一个基于Linux的软件栈…合并和同步外部能力硬件喜欢镜头和闪光。本文规定…
  • FBFFT

  • 2篇参考文献[SW2568 8]
  • NVIDIA GPU的算法应用硬件 细节在FBFFT的实现中也提供了…
  • 想像的

  • 7篇参考文献[SW13829 ]
  • 标准工作硬件并且有特殊的设置和规格对于公共设施,比如亭…