• ADA95

  • 128篇参考文献[SW01753]
  • 同步消息传递、受保护对象和-决定论. 艾达是一个国际标准;
  • 埃兰

  • 108篇参考文献[SW02179]
  • 结果这种声明性处理-决定论是战略语言的一部分,允许…
  • 谦虚

  • 30篇参考文献[ SW01544 ]
  • 描述重要现象如-决定论概率分支和硬实时,以及…
  • 普茂德

  • 29篇参考文献[SW08422]
  • 缺乏(未量化)-决定论在概率系统中是必要的…
  • CSP证明器

  • 15篇参考文献[SW11465 ]
  • 可能涉及无限的系统-决定论. 由于这个原因,CSP证明器当前关注…
  • 科洛斯

  • 13篇参考文献[SW07016]
  • 结合概率自动机的解释-决定论和概率的不同方式…
  • EFF

  • 11篇参考文献[SW22621]
  • 处理程序。就像一个异常处理程序决定当引发异常时会发生什么…处理程序的示例包括状态、事务、-决定论,流重定向,回溯,划界的延续,以及许多…
  • CLS-B

  • 7篇参考文献[SW0132]
  • 抽象化。约束状态传播-决定论的B规格和减少…
  • 塔克

  • 7篇参考文献[SW0945 5]
  • 减少和构造的手段-决定论涉及搜索序列演算证明…
  • 蒂诺斯

  • 7篇参考文献[SW02023 ]
  • 执行。简而言之,模型引入-决定论在原始动作的执行顺序中…
  • 剑道

  • 6篇参考文献[SW24074]
  • 瞄准它们仍然是一项艰巨的任务。-决定论固有的螺纹应用,造成重大挑战…
  • 印度语

  • 5篇参考文献[SW16792]
  • 情境演算。程序员可以控制数量。-决定论在节目中……
  • 孕激素

  • 4篇参考文献[SW13855 ]
  • 学习时间与两人的傀儡相比确定的现实世界的应用最初是傀儡…还对几种方法进行了试验。-确定的真实世界中GOEM不适用的应用程序…
  • 杰克

  • 3篇参考文献[SW04601]
  • 复杂主要是由于固有的-决定论他们的执行,这使得它很难…
  • 特拉夫克

  • 1篇参考文献[SW0936]
  • 基于数据的程序分支-决定论(表达行为的抽象)。本文…
  • CSP

  • 1篇参考文献[SW0868]
  • 结合并发的底层操作语义,-决定论-终止。我们定义了一个仪表化的…
  • 辅酶Q

  • 1739篇参考文献[SW0161]
  • COQ是一种形式化的证明管理系统。IT