• 谷物

  • 引用73篇文章[sw19539]
  • 比特和没有攻击比详尽的已确定密钥搜索。硬件的复杂性。。。
  • GHC公司

  • 引用了43篇文章[sw23765号]
  • 用于有效实施详尽的喇叭子句程序的解决方案搜索。我们展示了…自动编译一个Horn子句程序详尽的搜索GHC计划。。。
  • 生物网格

  • 引用48篇文章[sw17422]
  • 最近从5778个来源添加到详尽的酿酒酵母原文献之策展。。。
  • 兹拉姆

  • 在38篇文章中引用[sw01038]
  • 介绍了ZRAM,一个可移植的并行库详尽的搜索算法,作为一个案例研究。。。
  • SimEstFBM公司

  • 引用了37篇文章[sw26366]
  • 比较研究。我们提出一个详尽的问题之文献与比较研究。。。
  • 科拉特

  • 参考33篇文章[sw07259]
  • 谓词返回true。科拉特穷尽探索谓词的有界输入空间。。。
  • 帝王

  • 引用18条[sw00791]
  • 一个随机和穷尽生成自动机。C++库REGAL是专门的…随机和详尽的有限确定性自动机的生成。随机生成自动机…同一算法的不同实现。这个详尽的一代人可以检查猜想。。。
  • 国际图书馆

  • 引用了29篇文章[sw00444]
  • 意味着随时可用,便携,穷尽记录的区间算术库,用标准编写。。。
  • 洛拉

  • 27条引用[sw04381]
  • 模型检查。为了满足,两者详尽的支持搜索和启发式目标导向的系统执行。。。
  • 跳跃

  • 参考22篇文章[sw04361]
  • 回归子集选择。回归子集选择包括详尽的搜索。。。
  • 卫星卫星

  • 参考22篇文章[sw13117]
  • 完全布尔可满足性求解器详尽的模型计数等应用程序的搜索界面。。。
  • 玛丽亚

  • 引用19篇文章[sw04127]
  • 代数系统网络Maria进行模拟,详尽的可达性分析和动态LTL模型。。。
  • 小支票

  • 引用19篇文章[sw09736]
  • SmallCheck和Lazy SmallCheck:自动详尽的测试小值。本文介绍了两个哈斯克尔。。。
  • 算法880

  • 引用13篇文章[sw12764]
  • 然而,算法开发者方面详尽的测试通常用于研究算法行为…本文描述了穷尽测试了在LAPACK中实现的对称三对角特征解算器。。。
  • 兔子

  • 引用18条[sw08372]
  • 揭露一次攻击比详尽的密钥搜索。。。
  • 参考12篇文章[sw18893]
  • 由于详尽的遍历XML数据。为了克服低效率,一些…由于大尺寸和详尽的部分匹配路径查询的导航开始。。。
  • 哈达玛研究

  • 在10篇文章中引用[sw18675]
  • 在Mathematica中计算共循环Hadamard矩阵:详尽的和启发式搜索”,ICMS-06,卡斯特罗乌迪亚莱斯,西班牙…LNCS。提供了两种搜索方法。这个详尽的一个人在…发展一个详尽的搜索,任何其他开发启发式搜索的东西。。。
  • 伊克塞格

  • 参考11篇文章[sw36674]
  • 对应的,不能期望用户穷尽检查所有的剪贴画(从几十张图片中…用比穷尽正在检查所有切口。。。
  • SatEx公司

  • 引用15篇文章[sw01588]
  • 数据库前端收集详尽的执行的次数,但它也允许。。。