• 背心

  • 26篇参考文献[SW01405]
  • 使用域的系统具体的组件是有希望的。然而,在作曲组件最难…
  • 阿梅索斯

  • 12篇参考文献[SW10740]
  • 直接求解器组成分四个主要阶段:规格参数;初始化求解器…
  • HAMALG

  • 26篇参考文献[SW0411]
  • 组成并且导出函子,甚至迭代这个过程而不需要任何具体的
  • 比查姆

  • 40篇参考文献[ SW099 27 ]
  • 从时序逻辑约束。生物炭主要是组成一个基于规则的建模语言…验证模型规格独特的特点,发展/纠正/完成/耦合模型,包括推理…
  • 特雷特

  • 2篇参考文献[SW29 83]
  • TrPRET的建议,一个域具体的用于表示程序综合问题的语言。特雷特相似…程序设计语言:一个模型组成A的规格一个程序表示(声明)
  • τ

  • 20篇参考文献[SW10173]
  • 可以同时提供系统的框架具体的性能能力和支持高性能…有效地,它们是集成的。组成. 本文介绍了TAU(调谐和分析实用程序)。
  • XVCL

  • 8篇参考文献[SW02100]
  • 特定的系统,产品线的成员,可以通过适应和作曲
  • 斯纳克

  • 4篇参考文献[SW19611]
  • 两性离子体系作曲从组件到用户的软件规格例如,执行计算…
  • GNUC

  • 8篇参考文献[SW1269]
  • 作曲具有联合状态的协议{PAR}在几个重要方面偏离UC。明确地
  • 卡塔戈

  • 14篇参考文献[SW11700 ]
  • 设计与程序代理计算环境组成通过不同种类的工件的动态集合…代理卡塔戈不受任何限制具体的代理模型或平台:它的意思是…
  • 卡玛

  • 4篇参考文献[SW2077]
  • 具有语言构造的随机过程代数明确地开发的建模和编程系统,…环境。这类系统通常是组成大量的相互作用剂…调整和组合他们的行为具体的目标一个CARMA模型,称为集体模型…
  • 高规格

  • 1篇参考文献[SW0950]
  • 交互式系统作曲检查OZTA规格. 综合高水平规格语言,奥兹…设计,即使用一组可合成的定时模式捕捉高级别的时间要求…
  • 壁画

  • 9篇参考文献[SW23 627 ]
  • 非常详细的走进规格证明助手和假设读者…允许用户使用的策略语言组成证明步骤的步骤和章节…
  • 爬行动物

  • 12篇参考文献[SW1643]
  • 核苷酸。有三个特征组组成有15个特点。第一组计算三…按顺序排列具体的物理化学性质;第三组计算六个假核苷酸。
  • 不动产

  • 2篇参考文献[SW31404]
  • 结构化的或组成即兴创作。本文论述了时间的集成。规格节拍。最后,它勾画了一个框架。组成在情景层面即兴会议,扩展…
  • 光盘库

  • 4篇参考文献[ SW064 15]
  • TeeBASE)并提供一个域具体的查询接口,来源于查询需求的研究…EVOIO堆栈,一个操作栈组成形式本体论(比较数据分析)几个领域的实现-具体的查询,其结构超出了范围。
  • 合成

  • 8篇参考文献[SW0944 ]
  • 待建系统规格必须执行的组件交互…防止可能的死锁组成系统只显示指定的交互。电流…
  • 量子++

  • 2篇参考文献[SW27 766 ]
  • 组成仅仅是头文件。图书馆不限于量子位系统或具体的用于测试量子电路组成仅仅是Toffoli gates,比如某些算术电路…
  • 糖精

  • 3篇参考文献[SW1939 ]
  • 使用图书馆。糖库维护可组合性和普通图书馆的范围属性…适合嵌入多个域-具体的语言成为一种宿主语言。他们也…