• 爪哇凡

  • 引用了30篇文章[sw01934]
  • Java程序分析框架,可以象征性地执行多线程程序,检测安全违规搜索。。。
  • GT发动机

  • 引用了37篇文章[sw24041]
  • 数学、图形、图像分析还有物理学。引擎被写入。。。对标准构件的可移植访问多线程在核心上编程。引擎也支持高。。。
  • 拉塞克斯

  • 引用16条[sw09941]
  • 使用流程间流量敏感的静态工具分析要同时检测竞争条件和死锁。。。设计用于查找大型、复杂的错误多线程系统。它积极地推断检查信息,比如。。。保护哪些操作,哪些代码上下文是多线程,以及哪些共享访问是危险的。。。应对分析错误。工具很快,需要。。。
  • 妖精

  • 参考6篇文章【sw20223】
  • 数据竞争多线程C代码。实施分析声音是在“保险箱。。。用于种族检测多线程程序多达25000行代码。。。
  • 套装Parseqr

  • 27条引用[sw07348]
  • 在每个正面矩阵中,拉帕克和多线程BLAS使该方法能够获得较高的。。。线程构建块库。象征性的分析有序化阶段通过置换消除了单粒子。。。
  • 雾化器

  • 17条引用[sw08924]
  • 多线程程序。确保多线程节目很难,因为。。。这篇论文提出了一个非正式的论点分析用于检测原子性冲突。这个分析合并。。。探测器。使用原型检查器的经验多线程Java代码演示了这种方法。。。
  • 格拉希特

  • 1条引用[sw06629]
  • 图表:多线程大规模图的算法分析数字世界产生了巨大的。。。可扩展的图形框架分析使用并行和多线程共享内存平台上的算法。利用。。。Cray XMT,GraphCT支持快速网络分析以前所未有的规模在各种投入上。。。
  • 克雅克

  • 引用4篇文章[sw09129]
  • 分析并行程序。今天的带有SMP节点的并行计算机提供了这两种功能多线程...
  • HPC工具箱

  • 参考第8条[sw08921]
  • 支持测量的集成工具套件,分析,应用程序性能的属性和表示。。。编译器支持,在多线程程序,探索性能信息和源代码。。。HPCTOOLKIT并说明其性能实用程序分析并行应用程序。版权所有©2009 John Wiley。。。
  • 赛车场

  • 引用5篇文章[sw08925]
  • 原子性是多线程程序,都是因为原子代码阻塞。。。它们的用处。我们呈现第一个动态分析对于原子性来说,这两者都是合理的。。。
  • 单轨

  • 参考7篇文章[sw09883]
  • 动态确定性检查器多线程程序。多线程程序容易因意外而导致错误。。。并行代码,我们提出了一个动态的分析执行它。我们还描述了单轨。。。
  • 踏板

  • 1条引用[sw23564]
  • 原型,轮廓导向的事件驱动动态分析(踏板)。由同步点组成的运行时数据。。。几个实际的大规模并发错误多线程程序,即:Apache和MySQL。。。
  • QMiraXT公司

  • 引用4篇文章[sw11456]
  • QMiraXT-A多线程QBF解算器。这样的基本解决方法是多。。。技术冲突与解决方案分析索伊·勒宁·冯·孔夫利克克劳塞恩。去死吧。。。
  • ParaKMeans公司

  • 引用4篇文章[sw29731]
  • 分析微阵列数据是为了进行聚类分析分析. 虽然已经开发了许多聚类算法。。。这篇论文是高性能的多线程实现并行版本的应用程序。。。
  • GMRace公司

  • 1条引用[sw28764]
  • 他们程序的正确性。像其他人一样多线程环境,GPU上的数据竞争会严重影响。。。GPU程序中的比赛。GMRace结合了静态分析一个精心设计的动态检查器。。。
  • 安格斯德

  • 1条引用[sw25206]
  • 焦虑症:分析下一代测序数据。背景:高通量DNA测序技术正在产生。。。同时取样。结果:我们提出了一个多线程名为ANGSD的程序套件。这个程序可以计算。。。现有方法的组合,可以执行分析这在其他地方没有实现。。。
  • 多功能示波器

  • 在0篇文章中引用【sw22181】
  • 十亿个体素在大约1小时内分析程序MPView允许查看存储的帧。。。图像J。优化代码的组合,多线程COM(公共对象模型)技术使MPScope。。。
  • 格蕾丝

  • 1条引用[sw28845]
  • 他们程序的正确性。像其他人一样多线程环境,GPU上的数据竞争会严重影响。。。GPU程序中结合静态分析一个精心设计的动态检查器。。。
  • 武器

  • 引用的第63条[sw00048]
  • ARMS:一个代数递归多层解算器。。。