• 伊莎贝尔/UTP

  • 参考11篇文章[sw21184]
  • 语义学. 首先,我们的贡献是语义的UTP的字母谓词模型,支持。。。浅显与深层语言的调和嵌入...
  • VDM工具

  • 引用2篇文章[sw18244]
  • 分析分布式嵌入的实时系统。VDMTools提供广泛的静态语义学正在检查,自动代码生成。。。
  • 苹果汁

  • 引用4篇文章[sw00126]
  • 图的结构和意图语义学. 我们提供苹果酒。苹果酒是一种普通成分。。。设计简单的系统嵌入的在Java应用程序中。它提供自动解释。。。
  • CD2合金

  • 引用2篇文章[sw38503]
  • 更深的嵌入战略。而不是将每个CD构造映射到语义上等效合金结构。。。
  • 动量2

  • 在10篇文章中引用[sw10025]
  • 提供实时重写格式语义学实时模型转换,并显示。。。验证基于模型的实时和嵌入的使用图形的Eclipse建模框架中的系统。。。
  • 图形blp

  • 1条引用[sw32533]
  • DBLP数据通过语义的通过word计算关键词相似度-嵌入. 在本文中,我们讨论。。。
  • QWire公司

  • 引用4篇文章【sw20268】
  • 组织良好,运作良好语义学把电路缩小到一个小的。。。高度模块化嵌入的变成一个任意的宿主语言来处理电路。。。
  • mbeddr

  • 引用2篇文章[sw22663]
  • C的扩展,构造足够嵌入的系统。在mbeddr中,高效的低级程序。。。关于语法、类型系统的模块化语言扩展,语义学还有IDE。在报纸上我们展示。。。语言扩展可以解决嵌入的软件开发和经验报告。。。
  • 雅普

  • 1条引用[sw27076]
  • 语法和语义学这接近于图形模型。不幸的是,现有嵌入斯坦的。。。Python语法同时保持其自包含性语义学. 答案是肯定的,那。。。
  • 麦卡皮

  • 1条引用[sw13043]
  • 语义的用于中处理核心之间的通信和同步嵌入的系统。MCAPI的目的。。。
  • 摩尔维尤

  • 1条引用[sw11684]
  • MoleView:基于属性和结构的语义的用于大元素绘图的镜头。我们呈现。。。多元关系数据。给定空间嵌入从分散的角度来看。。。绘图或图形布局,我们建议语义的选择特定空间的镜头。。。
  • MSO_Regex_等价

  • 参考7篇文章[sw32230]
  • 布尔佐夫斯基衍生物。然而,对于一个直截了当的嵌入把MSO公式转换成正则表达式的一个扩展。。。关于两个不同的正则表达式语义学MSO的。形式化描述。。。
  • VST弗洛伊德

  • 引用2篇文章[sw28118]
  • 程序逻辑,可验证的C语言,是一个浅显的嵌入的高阶分离霍尔逻辑,它。。。关于操作语义学是公司的一员。本文介绍VST弗洛伊德。。。
  • 雌蕊

  • 1条引用[sw07183]
  • 广泛用作地基(语义学)对于其他的理论和语言来说。。。特征嵌入的在π-演算丰富了它的表现力,但却强加了一个更为精细的语义学,使。。。
  • FSCNMF公司

  • 1条引用[sw32347]
  • 大多数人认为嵌入算法。但是,有些内容与。。。这有助于理解语义学网络的。这并不简单。。。当前最先进的网络嵌入方法。在本文中,我们提出一个非负的。。。
  • 引用5篇文章[sw14150]
  • 或者在或之上实现嵌入的在铬中。在本文中,我们举例说明。。。体系结构、网络拓扑和API命令处理语义学,我们允许各种应用程序。。。
  • 未绑定

  • 引用4篇文章[sw22613]
  • 五个基本组合。我们提供正式的语义学对于这种源于本地的语言。。。Haskell库实现嵌入的领域特定语言(EDSL)。通过使用Haskell类型构造函数。。。
  • 马科

  • 引用3篇文章[sw13014]
  • Myghty和Genshi。从概念上讲,Mako是一个嵌入的Python(即Python服务器页)语言,它。。。与Python调用和作用域密切相关语义学...
  • 代码2VEC

  • 引用2篇文章[sw32380]
  • 作为连续分布向量的代码(“代码嵌入”). 主要思想是代表一个代码。。。向量,可以用来预测语义的代码段的属性。这是执行。。。