• 雅帕

  • 18篇参考文献[ SW0739 ]
  • 由两个关系表示:演绎性和静止的 等值. 已经提出了几种决策程序…可演绎性通用程序静止的 等值作为输入,任何收敛改写系统…
  • 新鲜的

  • 49篇参考文献[SW08992]
  • 以前关于FreshML的研究用了一个复杂的例子静止的类型系统推断有关“新鲜度”的信息…涉及绑定器的数据类型的值是可操作的。相等的当且仅当它们代表…相等的对象级语法块。这是通过一种新的指称语义来建立的。新鲜…没有静止的新鲜度推断不比ML更不纯正,经验表明…
  • 萨菲迪

  • 13篇参考文献[ SW01989 ]
  • 输入端口。我们定义了一个复杂的静止的这些端口的类型系统限制了…显示一个自然的上下文定义行为等值可以共感特征,使用基于互模拟的…
  • 维里斯塔尔

  • 3篇参考文献[SW0933]
  • 意味着当静止的分析+定理证明者说C小调程序是安全的…程序将被编译为语义上的相等的在真实硬件上运行的汇编程序…Vististar可以改装成其他静止的分析作为一个插件兼容蕴涵检查器…
  • 梦想

  • 2篇参考文献[SW07062]
  • 基于组件的梦想框架让开发者构建,静态地或者动态的,各种面向消息的…结果使用它,与不可配置的相比,在功能上相等的中间件…
  • XPI

  • 6篇参考文献[SW09430]
  • 匹配、名称和代码移动性、集成性静止的动态分型。在XPi,一种…使用类型检查。有刺的观念等值被定义为考虑到信息…
  • 做工

  • 5篇参考文献[SW01021]
  • 高效异步电路。概念如静止的数据流结构(SDFS)极大地促进了设计…Petri网保持行为等值. 一旦相等的得到了Petri网,具有一定的理论意义。
  • 洛伊

  • 2篇参考文献[SW29 143]
  • 技术Lotos,LoeWe额外提供多个,语义上相等的给定协议规范的表示。每个…LoeWe当前包含一个Lotos语法和静止的语义验证器,扩展有限的生成器…
  • 戴诺特

  • 2篇参考文献[SW02656]
  • 无阻尼系统,不平衡响应,临界速度,静止的加载),可用于研究。计算或计算相等的粘性阻尼在那些滞后阻尼不能…
  • 潘朵宝

  • 1篇参考文献[ SW21549 ]
  • 针对自动化静止的静止的电力系统分析与优化铭牌参数和内部处理相等的电路模型。表格数据结构使用…
  • 支付款

  • 0篇参考文献[SW29 88 5]
  • 一个可以用来建立基本的函数静止的动态概率模型。目前PMT提供支持…以贝叶斯网络为基础等值模型。模型参数学会…
  • 自动机

  • 143篇参考文献[ SW000 086]
  • BoomerAMG:一个并行代数多重网格求解器和预处理器…
  • 辅酶Q

  • 1748篇参考文献[SW0161]
  • COQ是一种形式化的证明管理系统。IT
  • CSDP

  • 194篇参考文献[SW0169]
  • CSDP,半定规划的C文库。
  • 可爱

  • 58篇参考文献[SW0177]
  • 可爱:C.的同音单元测试引擎。
  • Gap

  • 2702篇参考文献[SW0320]
  • GAP是一个计算离散代数的系统…