• PDDL

  • 引用96篇文章[sw07079]
  • earch社区激发了观察调度,行星探测器探测和航天器控制领域。。。语言,它的形式语义学以及并行计划的验证。我们观察那个PDDL2。1。。。
  • qGCL公司

  • 在26篇文章中引用[sw39240]
  • 量子计算机(包括初始化和观察),有正式的语义学法律体系。。。
  • 引用了20篇文章[sw16105]
  • 余代数逻辑程序设计语义学执行。共同归纳的定义,例如无限的。。。同时具有核心草书特征。观察性和煤尘语义学被用来抽象地研究它们。。。
  • 科卡斯尔

  • 在26篇文章中引用[sw13076]
  • 过程的语法及其结构操作语义学很适合代数世界。。。弱相互刺激,观察性并提供完全抽象的语义的域。科卡斯尔因此。。。
  • 小爪哇

  • 在14篇文章中引用[sw19083]
  • 正式运作语义学根据可见的代表跨。。。观察员模式用于演示语义的模型。我们也。。。
  • 荷马

  • 引用5篇文章[sw13321]
  • 等效模型检验器。荷马,我们观察性-三阶等效模型检验器。。。精确的表现他们的游戏语义学就像明显的下推自动机。。。感谢完全抽象的游戏语义学,观察性这些IA术语的等价性减少了。。。不相等的是,荷马将产生两个游戏-语义的还有一次行动-语义的反例。。。
  • 歧管

  • 引用了30篇文章[sw02900]
  • 过渡系统语义学对于控制驱动的协调语言流形协调语言。。。由于观察他们的状态变化。后者,也。。。由歧管支撑。我们提出正式的语义学流形的核心,基于。。。
  • 落叶松

  • 引用104篇文章[sw02126]
  • 接口语言处理的是观察由客户端编写的程序。。。用LSL编写的辅助规范语义学他们使用的原始术语。说明符。。。
  • 证书加密

  • 参考第6条[sw09443]
  • 编程语言工具(观察性等价,关系霍尔逻辑,语义学-保存程序转换)以帮助。。。
  • 闪光金属

  • 引用5篇文章[sw29484]
  • 多年的努力。我们的小说观察很多PBE算法都是自然而然的。。。从本质上来说,抓住了反面语义学基本运算符的。这个观察启用一个新颖的程序。。。
  • 伊巴尔

  • 引用的第27条[sw08945]
  • 观察IBAL还集成了贝叶斯参数估计。。。语法和语义学以及一个概述。。。
  • 金发姑娘

  • 在10篇文章中引用[sw12806]
  • 语义学可能不再是顺序一致的执行。受这些激励观察...
  • L-格拉尔

  • 引用3篇文章[sw34161]
  • BioGRID和观察L-GRAAL发现了最大的。。。映射使用语义的它们的基因本体论注释和观察那个L-GRAAL。。。第一次测量语义的图中相互作用的相似性表明。。。
  • 公司

  • 参考12篇文章[sw08230]
  • 并发性。在本文中,我们考虑语义的设计并验证编译。。。成功编译clightso源程序,任何允许的可见的生成的程序集代码的行为。。。内存)也可以在源代码中使用语义学我们还描述了一些经过验证的栅栏消除。。。
  • PTSC公司

  • 参考第6条[sw13692]
  • 平行构图。使我们正式化语义学这样的整合。基于这个模型。。。定义一个相互模拟关系,从中观察性研究了概率规划的等价性。。。还实现了一个操作的原型语义学为了使概率程序的执行更生动。。。
  • 格子架

  • 引用4篇文章[sw00977]
  • 他们的观察,意见和结论语义的关于。。。
  • 公司证书

  • 引用3篇文章[sw22722]
  • 整数语义学.CompCert C编译器提供了可见的行为。。。改进了编译后的代码可见的源代码的行为。在本文中。。。更强大的形式保证:它提供语义学以确保内存。。。
  • 生物PEPAd

  • 引用5篇文章[sw10690]
  • 根本的动力不可能精确观察或者提供一些行为的抽象。。。添加到现有的生物PEPA模型中。这个语义学用。。。具有时滞的生物系统的模拟。这个语义学给出了代数的。。。行动的完成是观察作为两个独立的事件,由于延误。。。
  • 宾西姆

  • 1条引用[sw31767]
  • 识别细粒度的混合方法语义的两个行刑痕迹的相似或不同。。。可见的行为。我们的方法改善了现有的语义学-基于二进制差异。。。
  • 喷雾器列表

  • 引用4篇文章[sw36846]
  • 列表。我们的实验表明语义学允许数据结构缩放。。。经典的无序跳跃者。此外,我们观察对于合理的并行工作负载,可伸缩性的好处。。。