• 全局阵列

  • 引用9篇文章[sw07425]
  • MIMD并行程序can异步接近符合逻辑的物理分布的密集多维阵列块。。。
  • 超光速

  • 引用5篇文章[sw06392]
  • 异步模拟逻辑上均匀网格。作为第一个例子。。。
  • 麦肯锡

  • 引用31篇文章[SW095号文件]
  • 模型检查的各种方法逻辑知识。这个模型的新颖之处。。。独自一人;观察和时钟;和Synchonous和异步完美的回忆所有的观察。都是线性的。。。
  • SMV公司

  • 引用13篇文章[sw04135]
  • 时态规范下的状态系统逻辑控制。输入语言。。。从完全同步到完全同步异步从细节到抽象。。。同步粉碎机或作为异步抽象的、不确定过程的网络。语言提供。。。也可以构造数据类型。这个逻辑CTL允许一个丰富的临时类。。。
  • 塔克

  • 参考7篇文章[sw09455]
  • 一阶集中证明系统逻辑有归纳和共归纳的定义。。。引入规则被划分为异步相位和同步相位。这些集中的证据。。。可以使用异步相位后面是同步相位。利用。。。交互式校样助理,叫Tac,负责这个逻辑. 我们描述它的高级设计。。。
  • 配套元件

  • 参考7篇文章[sw22321]
  • 处理、消息传递和异步设备。作为副产品。。。这个问题在《博伊尔·摩尔》中有陈述逻辑,并且证明是用机械方法检查的。。。
  • CLF公司

  • 引用2篇文章[sw21372]
  • CLF中的并发计算。CLF(同时符合逻辑的是一种用于指定。。。通过将它们应用于异步pi演算与对应断言,包括。。。
  • 城市

  • 引用4篇文章[sw11954]
  • 包括不规则的空间结构,异步城市发展,以及高时空分辨率。。。模型开发人员专注于实现模型逻辑而不是开发一个完整的独立的。。。
  • CHR.js公司

  • 引用3篇文章[sw28857]
  • 处理规则(CHR)通常编译为逻辑编程语言。虽然有实现。。。解释器,它基于异步JavaScript的执行模型,以及(ii)一个提前。。。
  • 伊曼德拉

  • 1条引用[sw37911]
  • 在中查找公式模型逻辑上面提到过,围绕着懒散扩展。。。包括一个交互式顶层、Jupyter笔记本和异步基于文件的验证(在精神上。。。
  • 阿皮姆斯

  • 1条引用[sw27565]
  • 用于异步PI微积分与多方会议和对称同步。。。由指定的值和选项符合逻辑的谓词(作为命题公式)。阿皮姆斯已经。。。
  • 生物质量

  • 1条引用[sw35162]
  • 基于多值的定义符合逻辑的模型,生物质量管理实施进出口设施。。。模型仿真的更新模式(特别是同步,异步,和随机的异步),以及一些。。。
  • 选择器

  • 引用28篇文章[sw00085]
  • Boolector:一个有效的位向量SMT求解器。。。
  • 差距

  • 在2974篇文章中引用[sw00320]
  • GAP是一个计算离散代数系统。。。