首页> 外文OA文献 >Verifiable Concurrent Programming Using Concurrency Controllers

【2h】

Verifiable Concurrent Programming Using Concurrency Controllers

机译：使用并发控制器的可验证并发编程

页面导航

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

著录项

作者

展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. Precise slicing of concurrent programs: An Evaluation of static slicing algorithms for concurrent programs [J] . Dennis Giffhorn, Christian Hammer Automated software engineering . 2009,第2期

机译：并发程序的精确切片：对并发程序的静态切片算法的评估
2. Concurrent Generation of Concurrent Programs for Post-Silicon Validation [J] . Adir A., Nahir A., Ziv A. Computer-Aided Design of Integrated Circuits and Systems, IEEE Transactions on . 2012,第8期

机译：并发生成用于硅后验证的并发程序
3. Synthesis of verifiable concurrent Java components from formal models [J] . Marino Julio, Alborodo Raul N. N., Fredlund Lars-Ake, Software and systems modeling . 2019,第1期

机译：从形式模型综合可验证的并发Java组件
4. Verifiable concurrent programming using concurrency controllers [C] . Betin-Can, A., Bultan, . 2004

机译：使用并发控制器的可验证并发编程
5. High-level Petri net semantics of concurrent and non-concurrent logic programs. [D] . Jeffrey, John Michael. 1993

机译：并发和非并发逻辑程序的高级Petri网语义。
6. Concurrent Injection of Unlabeled Antibodies AllowsPositron Emission Tomography Imaging of Programmed Cell Death Ligand1 Expression in an Orthotopic Pancreatic Tumor Model [O] . Jun Zhao, Xiaoxia Wen, Tingting Li, 2020

机译：同时注射未标记的抗体允许程序性细胞死亡配体的正电子发射断层扫描成像1在原位胰腺肿瘤模型中的表达
7. Verifiable concurrent programming using concurrency controllers [O] . Aysu Betin-can, Tevfik Bultan 2004

机译：使用并发控制器的可验证并发编程

客服邮箱：kefu@zhangqiaokeyan.com

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

客服微信
服务号