• 梅蒂斯

  • 引用文献445篇[sw04089]
  • 多级递归的-对分、多级k-way和多约束划分计划发达的。。。
  • 回收

  • 引用5篇文章[sw21760]
  • 程序的表示与实现递归的 方案为了并行化自适应快速多极子方法。。。清晰和灵活。并行化方案表示递归固有的特性。。。妥协,通过并行的递归 方案. 特别是现代的软件,尤其是。。。
  • 抓地力

  • 在10篇文章中引用[sw12696]
  • 系统的底层使用了一个简单的递归的粗化方案. 而不是被随意放置。。。
  • 英根

  • 参考6篇文章[sw10111]
  • 此外,该工具还生成递归 方案用于定义函数而不是语法,这。。。
  • 加拉蒙

  • 引用5篇文章[sw30354]
  • 发电机。本文提出了两个递归的 方案执行几何代数运算。。。Garamon,一个实现这些功能的C++库生成器递归的操作。而对于低维向量空间。。。
  • C-肖尔

  • 引用5篇文章[sw13319]
  • 高阶验证。高阶递归 计划(HORS)最近备受关注。。。
  • TRecS公司

  • 引用2篇文章[sw14145]
  • 基于类型的模型检查器递归 计划. TRecS是一个高阶模型检查器。。。递归 计划,这需要更高的阶数递归 方案G和a(确定性)平凡自动机。。。高阶模型检验问题递归 计划已经证明是可以判定的。。。订单k的EXPTIME完成递归 计划. TRecS是(据我们所知)第一个实现。。。
  • 旅行车2

  • 引用4篇文章[sw20008]
  • 高阶生成的无限树递归 计划(霍斯)。HORS是一个自然的抽象模型。。。
  • TravMC公司

  • 引用2篇文章[sw09396]
  • 由高阶生成的树递归 计划(HORS)-是有限状态的自然推广。。。本文引入高阶递归 计划与案件(HORSC),扩展了HORS与。。。完全抽象的游戏语义计划,但呈现为目标导向的结构。。。模式匹配中的抽象求精过程递归 计划...
  • 口齿不清

  • 引用126篇文章[sw07201]
  • 目的Lisp方言是常见的Lisp和方案. Lisp最初是作为一个实用的。。。管理,动态类型,条件句,高阶函数,递归,以及自托管编译器。。。
  • GTRECS2

  • 1条引用[sw13322]
  • GTRECS2:一个用于递归 计划基于游戏和类型。GTRecS(游戏。。。类型递归 计划)2:高阶模型检查器和变压器递归 计划...
  • 雷神

  • 1条引用[sw14146]
  • 托尔斯·哈默:更高阶递归 计划是布尔程序的高阶模拟;它们。。。由高阶生成的树递归 计划,这是小林交叉口的延伸。。。
  • 浣熊

  • 引用16条[sw08867]
  • 递归的网格块沿每个空间维度的平分,实现数值计划包括标准有限。。。
  • 分体式包装

  • 引用3篇文章[sw29064]
  • 建设性:我们描述一个细分市场方案哪一个递归地把圆圈分成几组然后。。。
  • 米克尔

  • 引用8篇文章[sw07242]
  • 独立设置,过程重复递归地对于一定数量的级别。。。稀疏。对这个基础的一些改进方案探索。其中之一就是放松。。。文中提出了数值试验来比较这一点方案用标准的不完全QR预处理程序。。。鲁棒不完全因式分解预处理器,以及代数递归的多级解算器(关于法方程。。。
  • PEPC公司

  • 1条引用[sw33269]
  • 这可以通过递归的分类方案特别适应莫顿曲线。。。
  • 雅典娜

  • 在10篇文章中引用[sw09967]
  • 传统的序功能语言方案严格的词汇范围。。。基于函数调用和递归,但它也提供了必要的功能。。。
  • 拉美西斯

  • 在26篇文章中引用[sw18064]
  • 基于树的数据结构允许递归的逐单元网格细化。。。阶Godunov方法,一种现代的激波捕捉方法方案可以精确计算热历史。。。
  • 福塞帕

  • 1条引用[sw20791]
  • k-精确Godunov族计划由开发递归地正在更正截断错误。。。可能的数值扩散。提议的家庭计划在算法上是紧凑的,因为。。。