• 皮克特

  • 70篇参考文献[ SW08929 ]
  • 高阶编程,选择性通信,以及同时发生的 目标. 类型系统集成了一个数字…
  • ABS

  • 26篇参考文献[SW21211]
  • 高级并发性同步机制同时发生的 目标用功能语言建模的组…方法激活的协同调度同时发生的 目标. 这个特征组合导致了同时发生的
  • ADA95

  • 128篇参考文献[SW01753]
  • 结构化的、静态类型的、命令性的、宽谱的,以及目标面向高级的计算机程序设计语言,扩展…支持显式并发性提供任务,同步消息传递,保护目标和非决定论…
  • 普茂德

  • 29篇参考文献[SW08422]
  • 概率的目标系统我们引入基于重写的规范语言来建模概率。同时发生的协议可以使用参与者建模(同时发生的 目标通过异步消息传递,我们提供…
  • 班德拉

  • 133篇参考文献[SW07663]
  • 模型集检查属性的工具集同时发生的Java软件。Bandera工具…爪哇锁目标. 本教程中的PAR,我们使用简单的同时发生的Java程序…
  • JCOBOX

  • 15篇参考文献[SW21212]
  • JCoBox:推广活动目标同时发生的组件JCOBOX是一种扩展Java语言的编程语言。分布式编程新概念同时发生的 目标面向软件,开发于本集团。CoBoxes…主动泛化目标同时地运行组目标具有多个协作任务…最新论文:JCOBOX:来自主动目标同时发生的组件或者你可以从…开始。
  • 克雷尔

  • 25篇参考文献[SW09421]
  • 安全的目标面向分布式的模型同时发生的系统目标面向分布式计算正变得越来越…
  • 中美合作组织

  • 8篇参考文献[SW21209]
  • 静态分析仪同时发生的 目标. 我们介绍的主要概念,使用和实施…SACO,一个静态分析器同时发生的 目标. 有趣的是,中美合作所能够推陈出新…基于程序的死锁自由度同时发生的 目标. 该系统集成辅助分析,如…
  • 斯皮诺

  • 9篇参考文献[SW10691]
  • 随机PI演算同时发生的 目标. 我们提出了一种新的建模和仿真语言SPICO…基于多轮廓的高层建模同时发生的 目标具有静态继承。我们提出了一个语义…
  • 藜芦醇

  • 10篇参考文献[SW0949]
  • VRICOOL:一种自动验证器同时发生的 目标面向语言。推理目标面向程序…数据抽象和框架。推理同时发生的 目标面向程序更难,因为…自动检定方法探讨同时发生的类似Java的程序。方法的基石…由AN保护的内存位置目标锁。此外,我们结合模型与…
  • ABCL

  • 14篇参考文献[SW28079]
  • ABC:一个目标面向同时发生的系统这本书提供了新范式的概述。
  • 普洛克

  • 8篇参考文献[SW02535]
  • 普罗科尔同时发生的 目标具有协议委托和约束的面向语言目标具有分布式委托。它强烈支持并发性:许多目标可能同时活跃,他们执行…
  • 迭戈

  • 13篇参考文献[SW02178]
  • 具有封装图的分布式程序设计方法目标. 它们的操作语义定义如下…分布式系统规范同时地相互作用目标. 适应先前提出的图的建议…
  • 乔卡姆

  • 25篇参考文献[SW02065 ]
  • 目标CAML语言。它扩展了OCAML的支持。并发性和同步,分布式执行…
  • 盎司

  • 112篇参考文献[SW06999 ]
  • 结合约束推理的层次编程语言并发性. OZ的典型应用领域包括优化…键入并具有一流的程序、类,目标异常和顺序线程同步在…
  • 莫扎特

  • 20篇参考文献[SW0475 9]
  • 它支持声明式编程,目标面向编程,约束编程,和并发性作为一部分…
  • 库珀建筑者

  • 4篇参考文献[SW0483]
  • 集成开发环境(IDE)同时发生的 目标面向Petri网(COPN)。它伴随着…
  • 波斯特雷斯尔

  • 64篇参考文献[SW15935]
  • 还支持二进制大容量的存储目标包括图片、声音或视频。它有天然的…拥有复杂的特性,如多版本并发性控制(MVCC),时间点恢复,表空间…
  • 库尔

  • 7篇参考文献[SW32 263]
  • 分析本文介绍了KoOL同时发生的,动态的,目标在重写逻辑中定义的语言…
  • 辛帕

  • 7篇参考文献[SW0863]
  • 越来越多的方面并发性同时发生的编程正在成为主流编程的一部分…这导致了主流的延伸。目标面向编程语言和平台——Java…细粒度机制和成语支持同时发生的编程,特别是用于构建高效程序…有助于建筑的抽象同时发生的程序,如纯目标面向抽象有助于建立大的…