• SLMC公司

• 引用74篇文章[sw04604]
• 分析侧重于与资源 使用位置、干扰、移动性或拓扑。。。

• MineLib公司

• 17条引用[sw07469]
• 运算的优先级和上界资源 使用. 这个问题的扩展可以包括。。。运算下限资源 使用，$（ii）$确定是否发送块。。。

• 开放科学网格

• 17条引用[sw38501]
• 像是为了让机会主义者使用分享资源...

• 希尔伯特

• 引用23条[sw08683]
• 行为上也有使用关键系统的资源比如内存消耗。。。

• 施舍

• 参考7篇文章[sw22720]
• Alms，接口可以施加更严格的资源 使用比委托人的限制使用限制。。。自然而直接地表达各种资源专用类型系统的管理协议。。。

• 丁尼奥斯

• 参考7篇文章[sw02023]
• 工具箱的分析资源 使用以及性能特点。。。

• 格泽尔

• 参考6篇文章[sw04151]
• 验证小型实验的Uppaal资源 使用...

• 肋骨

• 引用5篇文章[sw09877]
• 能够证明终止并获得资源 使用命令和函数的界限。。。

• 活页簿

• 引用2篇文章[sw22897]
• 从云中提取他们的资源 使用模式和预测未来资源 使用随着。。。方法，我们使用了一个使用谷歌提供的追踪。。。iOverbook可以帮助CSP改进资源平均利用率。。。

• SimEvents公司

• 引用3篇文章【sw32835】
• 任务时间和资源 使用关于分布式控制系统的性能，软件。。。

• 帕拉库巴

• 引用2篇文章[sw41083]
• 通过弹性释放计算节点资源 使用. 多个问题可以并行解决。。。

• 安曼

• 引用2篇文章[sw12930]
• 作用形式条件、效果和资源 使用. 语言支持生成。。。

• 不锈钢包装

• 引用2篇文章【sw30878】
• 群集上的节点以最大化资源 使用. QS搜索旨在包装许多。。。

• 核实

• 1条引用[sw25455]
• 操纵债权的动机资源 使用. 双方都希望得到准确和可证实的资源会计。。。同时检测网络带宽资源 使用通货膨胀袭击。我们声称有三个主要结果。第一。。。最后，它生成高度精确、细粒度的资源会计，没有明显的区别。。。

• 吡喃兰

• 1条引用[sw33068]
• 测量时间和记忆使用，限制资源 使用，并从STDOUT中提取信息。。。

• 蝗虫

• 1条引用[sw20430]
• 静态检查资源 使用符合当地政策。蝗虫带走。。。用法用一个简单的过程微积分来表示资源访问。。。参数化资源. 最后，蝗虫决定是否使用违反了一些。。。

• 示踪剂

• 1条引用[sw32419]
• 用于分析资源 使用用于定位瓶颈的R应用程序。跟踪器组成。。。

• 克利夫

• 1条引用[sw22148]
• 响应时间、请求吞吐量或计算资源 使用. 快速概述可用的负载测试。。。

• 辛马克

• 1条引用[sw16317]
• 计算内部特征值。表演和资源 使用稀疏矩阵分解的关键。。。

• 中美合作所

• 参考11篇文章[sw21209]
• 并发对象。我们介绍主要概念，使用以及SACO的实现，一个静态分析仪。。。推断活力（即终止和资源有界性）和安全性（即死锁自由。。。