首页> 外文OA文献 >LP Deadlock Checking Using Partial Order Dependencies

【2h】

LP Deadlock Checking Using Partial Order Dependencies

机译：使用部分顺序相关性的LP死锁检查

页面导航

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

著录项

作者
Victor Khomenko; Maciej Koutny;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. Effects of NaCl stress on accumulation of K⁺, Na⁺, Cl^-, NO₃^-, sugar an [J] . Rifat Samad, Jl Karmoker Bangladesh Journal of Botany . 2013,第2期

机译：NaCl胁迫对K + ，Na + ，Cl -，否 3 -，
2. Checking deadlock-freedom of parametric component-based systems [J] . Marius Bozga, Radu Iosif, Joseph Sifakis The journal of logical and algebraic methods in programming . 2021,第Feba期

机译：检查基于参数的系统的死锁 - 自由
3. Communication and Resource Deadlock Analysis Using IMDS Formalism and Model Checking [J] . Wiktor B. Daszczuk The Computer journal . 2017,第5期

机译：使用IMDS形式主义和模型检查的通信和资源死锁分析
4. LP Deadlock Checking Using Partial Order Dependencies [C] . Victor Khomenko, Maciej Koutny 11th International Conference on CONCUR 2000-Concurrency Theory, 11th, Aug 22-25, 2000, University Park, PA, USA . 2000

机译：使用部分顺序相关性的LP死锁检查
5. Extending VM checkpointing security with dependency detection [D] . Wyszynski, Chad 2013

机译：通过依赖性检测扩展VM检查点安全性
6. Checkpoint inhibitors and myeloma: promises deadlocks and new directions [O] . Luca Bertamini, Francesca Gay 2020

机译：检查点抑制剂和骨髓瘤：承诺僵局和新方向
7. Constraint-based deadlock checking of high-level specifications [O] . Stefan Hallerstede, Michael Leuschel 2016

机译：基于约束的高级规范的死锁检查
8. Linear Programming Deadlock Checking Using Partial Order Dependencies [R] . Khomenko, V., Koutny, M. 2001

机译：使用偏序顺序依赖的线性编程死锁检查

客服邮箱：kefu@zhangqiaokeyan.com

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

客服微信
服务号