• 线性代数库

  • 引用394篇文章[sw00830]
  • 支持并行的计算机和工作站网络事实上的或(或)正在传递消息/PVM。。。广义正交分解,正交变换程序,减少上赫森伯格,双对角线和三对角线形式,减少...
  • PELCR公司

  • 引用3篇文章【sw20841】
  • 图表减少技术,称为定向事实上的 减少,这实际上是对Danos的限制。。。雷尼尔事实上的 减少. 环境,我们称之为PELCR(并行环境优化。。。依靠一种策略事实上的 减少,即半燃烧。在开发PELCR时。。。
  • 博士

  • 参考6篇文章[sw11746]
  • 实现实际上所有最先进的维度技术减少内在维度。。。
  • 武士

  • 在26篇文章中引用[sw09145]
  • 基于统一性的散射振幅减少被积函数级的算法。武士是一种工具。。。系统评估模块事实上的更正导向自动化旁边的领导。。。
  • GKLEE公司

  • 参考第10条[sw12794]
  • 描述GKLEE的建筑,它的象征性事实上的机器模型,并描述以前未知的错误。。。果仁。我们描述了GKLEE的测试用例减少启发式,以及由此产生的可伸缩性改进。。。
  • VFC包

  • 引用13篇文章[sw16729号文件]
  • 开发定义和使用的技术事实上的伪模空间上的基本环。。。局部有限维方便系统减少. 我们提出了一个总体的内在策略来构建。。。无需解决。我们的方法事实上的基本圈是代数的而不是几何的。。。
  • vm攻击

  • 1条引用[sw31766号]
  • VMAttack目前仅限于基于堆栈的攻击事实上的像VMProtect这样的机器。使用VMWE评估攻击。。。VMProtect并实现平均执行跟踪减少89.86%的人。。。
  • 生物图像xD

  • 引用2篇文章[sw18624]
  • 使用事实上的相机飞行路线或关键帧。图像处理。。。数理处理与噪声减少. 分析工具包括基于对象和体素。。。
  • 轮班

  • 引用4篇文章[sw18322号文件]
  • 物理引擎,混合动力的变化能力减少方法如一致伴随驱动重要性。。。轻水堆的先进模拟事实上的反应堆分析临界测试套件环境。。。
  • 镊子

  • 引用2篇文章[sw00987]
  • 谐波陷阱。数据压缩与噪声减少将分块法应用于功率谱。满。。。电子过滤器(可选)全面核算事实上的检测系统引起的“过滤”(可选)。满。。。
  • 猎豹

  • 在0篇文章中引用[sw28078]
  • 感兴趣的衍射图案导致减少在数据量中,从而简化后续数据。。。以以下形式缩减数据事实上的粉末图案,放射状堆积,柱状图和其他meta。。。分析和整体实验评价。快速数据减少在早期的分析过程中证明。。。
  • 辛格拉

  • 引用2篇文章[sw02322]
  • 知识库以适应实际上任何类型的船。它使用分布式。。。故障情况下的决策支持能力;减少所需的人力资源;以及减少。。。
  • 麦克爪哇

  • 1条引用[sw01819]
  • 带类型和减少规则,并证明了其类型的可靠性。我们也。。。最终使它可以在标准Java上运行事实上的机器。。。
  • WebClipper公司

  • 1条引用[sw01015]
  • 网络冲浪者的域名,导致减少他们的认知负荷。。。提取其索引数据以形成事实上的数字图书馆。使用WebClipper,一个用户。。。
  • 燧石

  • 1条引用[sw27868号]
  • 时间(JIT)编译模式,层次部分减少(HPR)和异构任务管理策略。。。避免Java之间的序列化或反序列化事实上的机器(JVM)对象和OpenCL结构。我们有。。。
  • 埃文82

  • 1条引用[sw17445]
  • 各种平台(文件系统,事实上的切片、移动硬件等)不能提供100%的正常运行时间。。。通过减少可达性。我们的技术需要输入。。。
  • ACL2

  • 引用274篇文章[sw00060]
  • ACL2是一种编程语言,其中。。。