• 校对

  • 51篇参考文献[SW0639]
  • Z中的证明语义的 嵌入Z进入HOL。DAZ工具支持…
  • 汇编

  • 37篇参考文献[SW09737 ]
  • 可用于临界的真实编译器的验证嵌入的软件这样的验证编译器来…代码的行为完全按照语义源程序。通过裁决…
  • 霍尔OCL

  • 21篇参考文献[SW05334 ]
  • 基于经验的选择嵌入对象约束语言…形式设计的几个问题语义OCL的CSS…
  • CNN-RNN

  • 3篇参考文献[SW28 401]
  • 学习联合图像标签嵌入表征语义的标签依赖性以及…
  • 纳萨里

  • 4篇参考文献[SW2469]
  • 单一统一语义的空间与关节嵌入的空间,分别。此外,我们的代表…
  • 迪普罗

  • 1篇参考文献[ SW28 851 ]
  • 程序的精确表示语义. 神经程序嵌入有助于分析的潜力…神经架构自豪于学习程序语义而不是肤浅的句法特征。然而。。。
  • 大都市

  • 17篇参考文献[SW16265]
  • 朝着实现任务嵌入的软件设计。什么时候?嵌入的软件达到了当今典型的复杂性…挑战基于一个形式化的元模型语义开发人员可以用来捕捉设计…
  • 进口2VEC

  • 1篇参考文献[SW28 301]
  • 培养合适的学习表现嵌入)用于捕获的图书馆包语义的图书馆之间的相似性。这样…搜索和类比推理。我们应用Word嵌入自然语言处理技术…嵌入三大开源软件语料库揭示了图书馆载体的获取语义上有意义的…
  • 火山

  • 21篇参考文献[SW30956]
  • 使用支持函数查询处理运算符。这个语义支持功能没有规定…优化决策直到运行时间,例如嵌入的具有自由变量的查询。交换元…
  • 坎仁

  • 4篇参考文献[ SW200 83]
  • 嵌入的在一个纯函数子集中。该系统有一套理论。语义
  • 虚拟工具

  • 2篇参考文献[SW18244]
  • 分布式分析嵌入的实时系统。VDoMoTS提供了广泛的静态语义检查,自动代码生成…
  • 伊莎贝尔/UTP

  • 10篇参考文献[SW21184]
  • 语义. 我们的贡献首先是深刻的。语义的UTP的字母化谓词模型,支持…浅淡深层语言的调和嵌入
  • 苹果酒

  • 4篇参考文献[SW100126]
  • 图的结构及其意图语义. 我们介绍苹果酒。苹果酒是一种通用的成分。易于设计的系统嵌入的在Java应用程序中。它提供自动解释…
  • 动量2

  • 10篇参考文献[SW10025]
  • 正式改写语义实时模型转换,并显示…基于模型的实时性验证嵌入的Eclipse建模框架内的系统使用图…
  • QWORE

  • 4篇参考文献[SW20268]
  • 井然有序,运行良好语义把电路缩小到一个小的…高度模块化,因为它可以嵌入的成为处理电路的任意主机语言…
  • 姆贝德尔

  • 2篇参考文献[SW22663]
  • C的扩展与适当的构造嵌入的系统在MBODR中,高效的低级程序…关于语法、类型系统的模块化语言扩展语义和IDE。在本文中,我们展示…语言扩展可以应对挑战嵌入的软件开发和我们的经验报告…
  • 雅普

  • 1篇参考文献[ SW27 0776 ]
  • 语法和语义这接近于图形模型。遗憾的是,现有的嵌入Stan的…Python语法,同时保持其自包含语义. 答案是肯定的,那就是…
  • MCAPI

  • 1篇参考文献[SW13043]
  • 语义的用于处理核心之间的通信和同步嵌入的系统MCAPI的目的…
  • 莫利维尤

  • 1篇参考文献[ SW11684]
  • MuleVIEW:基于属性和结构的语义的镜头为大型元素为基础的情节。我们提出…多元关系数据给定空间嵌入从散布的数据来看…情节或图形布局,我们提出了一个语义的镜头选择一个特定的空间…