CCSP公司

CCSP:一个正式的分布式程序调试系统。在并行/分布式环境中编程的一个主要问题是由于程序之间复杂的交互作用而难以调试。可以得到看起来随机的结果,但是当给定特定运行时bahavior的完整知识时,结果就不复存在了。不幸的是,这种完整的知识在分布式系统中通常是不可获得的。为了开发一个用于调试分布式程序的系统,并且在更一般的情况下,确保它们在运行时的正确性,我们基于Hoare的CSP构建了一个分布式执行环境,允许在CSP程序中执行和评估嵌入式断言。


zbMATH中的参考文献(参考文献14条,1标准件)

显示第1至14个结果,共14个。
按年份排序(引用)

  1. 布拉托夫,安德烈A。;马克思,丹尼尔:全球基数约束的复杂性(2010)
  2. 陈振邦;刘志明:具有稳定失效语义的扩展cCSP(2010)
  3. Boucheham,Bachir:Shalter:对数字信号中短期和长期冗余减少的贡献(2007)
  4. 陈一峰;何彦翔;曹建农:CDNs容量约束代理配置的贪婪算法(2007)
  5. 顾锡武;吕正定:一个基于BPEL4WS的web服务组合描述的形式化模型(2006)
  6. 盖勒,费利克斯;Veksler,Michael:条件CSP中基于假设的剪枝(2005)
  7. 萨宾,米哈埃拉;弗洛伊德,尤金·C。;Wallace,Richard J.:条件约束满足的更高效率(2003)ioport公司
  8. 范格拉贝克,罗伯;Vaandrager,Frits:捆绑事件结构和CCSP(2003年)
  9. 皮莱,哈里什K。;Narayanan,H.:行为系统的二重性(2002)
  10. 巴蒂蒂,罗伯托;马可.普罗塔西:最大(k)-合取约束满足问题的反应式局部搜索技术(MAX-k-CCSP))(1999)
  11. Alimonti,Paola:MAX 2-CCSP的非遗忘局部搜索及其在MAX DICUT中的应用(1997)
  12. 阿罗史密斯,贝丝;Bruce SP正式调试程序(Bruce SP 1995)
  13. 埃尔纳吉达维,M。K、 多阶段、多产品生产过程批量调度的作业分割启发式算法(1994)
  14. 穆罕默德·K·埃尔纳吉达维。;Kleindorfer,Paul R.:多产品、多阶段生产的公共周期批量调度(1993)