• 分包

  • 110篇参考文献[SW0203]
  • 现代编程 方法论从计算机科学迁移到科学计算,数字软件的开发者…
  • 团结

  • 173篇参考文献[SW13461 ]
  • 并行与分布式的发展程序-作为仿真模型规范和分析的平台…描述一个统一的方法论对于仿真模型的构建、分析和执行…第二成可执行文件程序描述。这个方法论提供了一种独立验证的方法…形式化规范。这个方法论通过生成仿真来说明程序解决机器…
  • 发现

  • 81篇参考文献[SW21614]
  • 最后,关于一般的一些结论。编程 方法论画出…
  • ITK

  • 44篇参考文献[SW08362]
  • 图像分析。通过极端发展编程 方法论,ITK采用领先的算法注册…
  • 飞溅-2

  • 45篇参考文献[SW09604]
  • 飞溅-2程序表征和方法论的考虑事项。SPARH-2的并行应用套件…定量表征飞溅-2程序就基本性质和建筑互动而言…相关目标是方法论的:帮助那些使用程序在建筑评估中…
  • 彗星

  • 69篇参考文献[ SW03051 ]
  • 近二十年来,制约因素编程已经成为一个基础方法论解决品种…
  • 斯卡拉

  • 73篇参考文献[SW07180]
  • 斯卡拉。对象功能导论编程. 斯卡拉是一个高度表达,简洁和可扩展的…令人兴奋的方法论被称为目标函数编程. 在这本书中,作者展示了斯卡拉…
  • 契约书

  • 45篇参考文献[SW16191]
  • 言外之意。这两种决策支持程序是基于技术的早期实现…价值树分析。底层方法论这些程序在下面的参考文献中描述…
  • 杰森

  • 61篇参考文献[SW06187]
  • 使用杰森的综合实用指南程序多智能体系统。一些例子…面向软件工程方法论特别适合使用基于BDI的实现编程语言作者…
  • 杰斯塔

  • 32篇参考文献[SW11261 ]
  • 介绍小说方法论用于验证一组大的Java程序建立…最近的理论发展程序验证:它结合了抽象谓词族的概念…我们的有效性方法论利用JSTAR验证实例程序实施四个流行的设计…
  • 狐盒

  • 15篇参考文献[SW0307]
  • 以前。此外,Fox Box演示了泛型程序设计方法论. Fox Box系统被写入…Fox box的并行分布式执行程序. 最后,Fox Box插入到服务器/客户端样式的Maple应用程序中。
  • 概率对数

  • 76篇参考文献[SW06945 ]
  • 编程基于Prolog语言。两个PROBLE实现是可用的,基于不同的方法论
  • 雾化器

  • 17篇参考文献[SW08924]
  • 多线程的程序. 确保多线程的正确性程序很难,由于潜力…原子性是一个标准。方法论在多线程中编程
  • CP逻辑

  • 17篇参考文献[SW06947 ]
  • 究竟哪种知识如此程序以同样可以理解的方式表达…附加知识表示方法论概率逻辑程序通过展示他们如何…
  • 喘息

  • 9篇参考文献[SW07096]
  • 近年来懒惰接地、应答集编程已经成为一个可行的范例推理。本文介绍了一本小说。方法论计算答案…答案集的集合程序. 提出的方法论保持自下而上的方法…从非地面版本的程序. 在计算过程中懒洋洋地进行接地。
  • 铜斑蛇

  • 5篇参考文献[SW30955 ]
  • 微处理器及其当前的局限性编程 方法论激励我们的铜斑蛇设计,一个高…数据数组的并行计算。铜斑蛇程序在一个子集中表达…
  • 潜伏金

  • 86篇参考文献[SW11673]
  • 涉及二分项目。在20世纪70年代,LC方法论形式化并扩展到标称变量…潜在金的根据程序. 在同一时期,相关领域的有限…
  • 阿维斯

  • 11篇参考文献[SW07925]
  • 脉动阵列的设计。方法论提出了将数值算法映射到脉动阵列的方法。算法转换成合适的并行形式。程序开发自动生成这种变换…呈现方法论所得结果与程序
  • 海狮

  • 10篇参考文献[SW3093]
  • 编写、评估、调试和测试答案集程序. 为此,新的支撑技术有…方法和项目方法论答案集程序在其背景下发展…