• 四氢呋喃

  • 21篇参考文献[SW09983]
  • 在当前范围之外终止工具这个操作的这些特征的含义往往是…
  • 多角

  • 35篇参考文献[ SW064 67 ]
  • 以上用于修剪子问题,并在每个终端子问题,我们通过调用…MulkAP码[{ D. Pisinger },Eur。J奥珀
  • 西夫

  • 15篇参考文献[SW20513]
  • 陈述性和操作的SHIFF语言的语义终止健全性和完整性的结果…
  • LSMR

  • 59篇参考文献[SW12940]
  • 稀疏或快速线性操作人员. LSMR是基于Golub Kahan双对角化的…单调)更安全终止LSMR早期。我们还报告了一些重新正交化的实验…
  • dcValm

  • 14篇参考文献[SW20416]
  • 复选终端基于BDD的自动机表示方法及其实现算法运营关于自动机…
  • 飞镖

  • 68篇参考文献[SW07260]
  • 程序最通用的环境操作和(3)动态分析…程序崩溃、断言违反和非终止. 初步实验,单元测试几个例子…
  • 金发姑娘

  • 10篇参考文献[SW12806]
  • 抓住了运营线程或程序使之成为可能结束优雅。或者,DATARACEX异常…
  • 共感应

  • 6篇参考文献[SW28 537 ]
  • 无穷流,共感结束列表,共感恢复,图书馆运营关于共归纳表…
  • 空军陆战队

  • 26篇参考文献[SW09466 ]
  • 支持密码学的代数性质算子并用简单的符号表示不同的…基于约束的技术,这是正确的终止. 两个主要的技术是懒惰…密码学中的代数理论算子,可以指定为部分…
  • 卡里布

  • 14篇参考文献[SW10064 ]
  • 基于归纳法终止证明,允许证明终止在特定的还原策略下,成为特殊的…ELAN的评价过程、局部策略算子,在Obj-Apple语言中提供,并允许…避免已知的评价终止对于标准策略,进行战略计算…
  • 仁叶

  • 28篇参考文献[ SW08982]
  • 应付部分(未定义或非)终止)函数。这是通过引入区别来实现的。关于连续性的不同行为。这个操作的语义(基于SLD分辨率)被证明…
  • 流散

  • 14篇参考文献[SW02659]
  • 查询完成,处理查询重写,支持查询终止并防止查询的多次计算…超链接框架。流散系统目前操作的正在我们的校园里进行测试…
  • 佩贝尔

  • 10篇参考文献[SW13809]
  • 支持特定应用程序定制运营,同时管理分支和绑定的一般方面…跨多个处理器池,负载均衡,以及终止检测。PEBBL的设计提供高度…
  • VMSET

  • 5篇参考文献[SW20981]
  • 终端符号,例如标识符或数字(叶节点)和函数或算子(非叶)
  • CSP

  • 1篇参考文献[SW0868]
  • 决定论与非决定论终止. 我们定义了一个仪器操作的生成一个边的语义…
  • CRC 3

  • 9篇参考文献[SW09782]
  • 规格教堂的罗瑟财产,连同终止对于一个等式规范来说是必不可少的…初始代数、数学语义学及其应用操作的通过改写的语义。检查此属性以表达…
  • LPTP

  • 7篇参考文献[SW01822]
  • 然后这些可以用来证明。终止程序的正确性。主要的…延拓是一个充分的公理化。操作的纯Prolog的语义与内置的…
  • 灵巧地

  • 2篇参考文献[SW29 140]
  • Meddly(多)终端而边缘值决策图库则是一个局部的C++库。可配置的垃圾收集,以及许多内置的运营(计算表支持)
  • 西比尔

  • 6篇参考文献[SW11995 ]
  • 可证明的演算演算终止并完成,只要否定范式…在其范围内包含一个通用的操作人员. 《西比尔的作品》的理论基础…