首页> 外文OA文献 >Symbolic Deadlock Analysis in Concurrent Libraries and their Clients

【2h】

Symbolic Deadlock Analysis in Concurrent Libraries and their Clients

机译：并发图书馆及其客户的符号死锁分析

页面导航

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

著录项

作者
Jyotirmoy Deshmukh; E. Allen Emerson; Sriram Sankaranarayanan;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. Symbolic modular deadlock analysis [J] . Jyotirmoy V. Deshmukh, E. Allen Emerson, Sriram Sankaranarayanan Automated software engineering . 2011,第3a4期

机译：符号模块化死锁分析
2. Deadlock and WCET analysis of barrier-synchronized concurrent programs [J] . Mittermayr Robert, Blieberger Johann Computing . 2021,第5期

机译：障碍同步并发程序的死锁和WCET分析
3. Deadlock Property Analysis of Concurrent Programs Based on Petri Net Structure [J] . Wei Liu, Lu Wang, Yuyue Du, International journal of parallel programming . 2017,第4期

机译：基于Petri网结构的并发程序的死锁特性分析
4. Symbolic Deadlock Analysis in Concurrent Libraries and Their Clients [C] . Deshmukh J., Emerson E.A., Sankaranarayanan S. Automated Software Engineering, 2009. ASE '09 . 2009

机译：并发图书馆及其客户的符号死锁分析
5. A study of perceptions of the impact of new funding on library media teachers and paraprofessionals provision of service toward library clients in school libraries. [D] . Archon, Mark. 2003

机译：对关于新资金对图书馆媒体老师和准专业人士向学校图书馆中的图书馆客户提供服务的影响的看法的研究。
6. Concurrent Heroin Use and Correlates among Methadone Maintenance Treatment Clients: A 12-Month Follow-up Study in Guangdong Province China [O] . Xiaofeng Luo, Peizhen Zhao, Xiao Gong, 2016

机译：美沙酮维持治疗患者中海洛因的同时使用及其相关性：中国广东省为期12个月的随访研究
7. Symbolic Data Flow Analysis for Detecting Deadlocks in Ada Tasking Programs [O] . Johann Blieberger, Bernd Burgstaller, Bernhard Scholz, 2000

机译：用于检测Ada Tasking程序中死锁的符号数据流分析

客服邮箱：kefu@zhangqiaokeyan.com

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

客服微信
服务号