首页> 外文OA文献 >Deterministic Concurrent Systems

【2h】

Deterministic Concurrent Systems

机译：确定性并发系统

代理获取

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

页面导航

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

著录项

作者
Samy Abbes;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. TaxDC: A Taxonomy of Non-Deterministic Concurrency Bugs in Datacenter Distributed Systems [J] . Tanakorn Leesatapornwongsa, Shan Lu, Jeffrey F. Lukman, Computer architecture news . 2016,第2期

机译：TaxDC：数据中心分布式系统中非确定性并发错误的分类法
2. TaxDC: A Taxonomy of Non-Deterministic Concurrency Bugs in Datacenter Distributed Systems [J] . Leesatapornwongsa Tanakorn, Lukman Jeffrey F., Lu Shan, ACM SIGPLAN Notices: A Monthly Publication of the Special Interest Group on Programming Languages . 2016,第4期

机译：TaxDC：数据中心分布式系统中非确定性并发错误的分类法
3. Concurrent deterministic 1-2 skip list in distributed message passing systems [J] . Ramesh Singh, Sandip Chakraborty, Sushanta Karmakar Parallel Algorithms and Applications . 2015,第1a2期

机译：分布式消息传递系统中的并发确定性1-2跳过列表
4. Deterministic Concurrent Systems [C] . Samy Abbes International Conference in Application and Theory of Petri Nets and Concurrency . 2021

机译：确定性化并发系统
5. Integrating concurrency control and proxy execution support and provide a framework for deterministic concurrency testing under the KURT-Linux group scheduling model. [D] . Aswathanarayana, Tejasvi. 2006

机译：集成了并发控制和代理执行支持，并为KURT-Linux组调度模型下的确定性并发测试提供了框架。
6. A deterministic approach for design of supervisory control of LPV systems with delay [O] . Ch. Nauman Zahid, Mina Salim, Raja Ali Riaz, 2021

机译：延迟LPV系统监督控制的确定性方法
7. Petri Nets: A Formal Language to Specify and Verify Concurrent Non-Deterministic Event Systems [O] . Didier Buchs, Stefan Klikovits, Alban Linard 2020

机译：Petri网：一种正式的语言，可以指定和验证并发非确定性事件系统

代理获取

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号