• AsmL公司

  • 引用42篇文章[sw11363]
  • AsmL公司:摘要机器语言。AsmL是一种工业级的可执行规范语言。。。了解说明书。AsmL是摘要机器语言。FSE小组开发AsmL。。。语言的理论基础摘要机器,由尤里·古列维奇发明。当前。。。
  • 比查姆

  • 引用了40篇文章[sw09927]
  • 生物化学摘要 机器(Biocham)是一个系统生物学的建模环境,具有一些独特的功能。。。
  • 轻率的

  • 参考22篇文章[sw08679]
  • 易实现性:并发性和功能性摘要 机器(C-FAM)。C-FAM同时执行。。。关于摘要 机器. 这一层次的语义描述适合。。。
  • 伊甸园

  • 引用了29篇文章[sw22186]
  • DREAM的操作规范摘要 机器为了伊甸园。在本文中。。。伊甸园被翻译成珍珠(平行伊甸园摘要简化语言),并行函数语言。。。
  • 特约

  • 引用16条[sw21364]
  • 系统描述:Teyjus-a编译器和摘要 机器基于λprolog的实现。逻辑。。。在描述摘要 机器以及基于编译器的实现方案。一个真实的。。。
  • 高架桥2

  • 参考33篇文章[sw03511]
  • 结合图变换和摘要状态机器在单一规范范例中。这个。。。进行形式化模型分析功能强大摘要...
  • 帕提奥

  • 引用15篇文章[sw09981]
  • 沃伦扩张摘要 机器. PARTHEO是用并行C编写的,正在运行。。。
  • 塞尔4

  • 引用79篇文章[sw15222]
  • 正式的,机器-从一个摘要规格下降。。。
  • 达斯旺

  • 参考第13条[sw04632]
  • 基于修改沃伦摘要 机器(WAM)用于并行执行,并设计为。。。
  • 雅加达

  • 引用18条[sw01269]
  • 代码验证程序抽象来自JavaCard虚拟机的规范机器. 工具需要。。。这是一个防御虚拟机器,以及抽象它可以转化成。。。
  • 原型-1

  • 参考7篇文章[sw02876]
  • 基于原型摘要 机器是沃伦的延伸摘要 机器...
  • 格拉夫维兹

  • 引用80篇文章[sw01283]
  • 将结构信息表示为摘要图形和网络。它有重要的应用。。。生物信息学,软件工程,数据库和网页设计,机器学习,并在视觉界面为其他人。。。
  • 科雷阿斯姆

  • 在14篇文章中引用[sw01936]
  • CoreASM插件体系结构。摘要机器以其在造型方面的多才多艺而闻名。。。
  • 魔术

  • 参考第37条[sw14159]
  • 针对状态的组件-机器规范。为了达到这个目的,神奇的精华摘要使用谓词的软件模型。。。
  • X射线

  • 参考6篇文章[sw21003]
  • XASM—一种可扩展的、基于组件的摘要机器语言。这个摘要机器...
  • 参考7篇文章【sw13881】
  • 制表。斯格瓦姆是一个摘要 机器可以说是一种分享的方式。。。
  • 阿斯基

  • 参考6篇文章[sw25427]
  • 的安全逻辑摘要状态机器. 我们把逻辑扩展到摘要机器...机器在一个定义明确的区域摘要记忆。新的read谓词。。。
  • GcPan公司

  • 引用3篇文章[sw22677]
  • GcPan:一种高效的摘要 机器安全环境。有效率的摘要 机器为了安全的环境。。。过程称为严重干扰。帕兰摘要 机器,称为GcPan,用于分布式实现。。。提出并研究了类型SA。我们的机器改进了以前的执行建议。。。描述摘要 机器在OCaml中。更广泛地说,这项研究。。。