首页> 外文OA文献 >Scalable Distributed Model Checking: Experiences, Lessons, and Expectations (invited talk)

【2h】

Scalable Distributed Model Checking: Experiences, Lessons, and Expectations (invited talk)

机译：可扩展的分布式模型检查：经验，教训和期望（邀请演讲）

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Schuster Assaf;
展开▼
作者单位

展开▼
年度 2003
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Concurrent Algorithms and Data Structures for Model Checking (Invited Talk) [J] . Jaco van de Pol LIPIcs : Leibniz International Proceedings in Informatics . 2019,第1期

机译：用于模型检查的并发算法和数据结构（特邀演讲）
2. Current Trends and New Perspectives for First-Order Model Checking (Invited Talk) [J] . Stephan Kreutzer LIPIcs : Leibniz International Proceedings in Informatics . 2017,第2期

机译：一阶模型检查的当前趋势和新观点（特邀演讲）
3. Model Checking and Strategy Synthesis for Stochastic Games: From Theory to Practice (Invited Talk) [J] . Marta Z. Kwiatkowska LIPIcs : Leibniz International Proceedings in Informatics . 2016,第2期

机译：随机游戏的模型检验和策略综合：从理论到实践（特邀演讲）
4. Industry Practice Expo Invited Talk Experiences and Lessons in Developing Industry-Strength Machine Learning and Data Mining Software [C] . Chih-Jen Lin ACM SIGKDD international conference on knowledge discovery and dataMining . 2012

机译：行业实践博览会邀请了开发行业实力的机器学习和数据挖掘软件的演讲经验和教训
5. Improving the scalability of directed model checking of concurrent java code through hybrid and distributed analysis. [D] . Milewicz, Reed Morgan. 2016

机译：通过混合和分布式分析提高并发Java代码的定向模型检查的可伸缩性。
6. Overcoming challenges in implementing the WHO Surgical Safety Checklist: lessons learnt from using a checklist training course to facilitate rapid scale up in Madagascar [O] . Kristin L Close, Linden S Baxter, Vaonandianina A Ravelojaona, 2017

机译：克服实施世卫组织手术安全检查表的挑战：在马达加斯加使用检查表培训课程以促进快速扩大的经验教训
7. Scalable Distributed Model Checking: Experiences, Lessons, and Expectations (invited talk) [O] . Schuster Assaf 2002

机译：可扩展的分布式模型检查：经验，教训和期望（邀请演讲）

Scalable Distributed Model Checking: Experiences, Lessons, and Expectations (invited talk)

著录项

引文网络

相似文献

相关主题

期刊订阅