DEADLOCK

作品数：30被引量：21H指数：3
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：李磊蒋昌俊谭庆平樊驰更多>>
相关机构：国防科学技术大学武汉理工大学中国科学院研究生院清华大学更多>>
相关期刊：《Journal of Computer Science & Technology》《Beijing Review》《武汉理工大学学报》《China International Studies》更多>>
相关基金：国家自然科学基金中国博士后科学基金福建省自然科学基金国家重点基础研究发展计划更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
Static Analysis Techniques for Fixing Software Defects in MPI-Based Parallel Programs
《Computers, Materials & Continua》2024年第5期3139-3173,共35页Norah Abdullah Al-Johany Sanaa Abdullah Sharaf Fathy Elbouraey Eassa Reem Abdulaziz Alnanih 
the Deanship of Scientific Research at King Abdulaziz University,Jeddah,Saudi Arabia under the Grant No.RG-12-611-43.
The Message Passing Interface (MPI) is a widely accepted standard for parallel computing on distributed memorysystems.However, MPI implementations can contain defects that impact the reliability and performance of par...
关键词：High-performance computing parallel computing software engineering software defect message passing interface DEADLOCK 
Type-2 Neutrosophic Set and Their Applications in Medical Databases Deadlock Resolution
《Computers, Materials & Continua》2023年第2期4417-4434,共18页Marwan H.Hassan Saad M.Darwish Saleh M.Elkaffas 
Electronic patient data gives many advantages,but also new difficulties.Deadlocks may delay procedures like acquiring patient information.Distributed deadlock resolution solutions introduce uncertainty due to inaccura...
关键词：Deadlock recovery type-2 neutrosophic set healthcare databases distributed deadlock detection 
CD4+Tregs may be essential for solving astrocyte glial scar deadlock
《Neural Regeneration Research》2021年第12期2563-2563,共1页Michel Edwar-Mickael Norwin Kubick 
Glial scar is at the heart of the insolvability of spinal cord injury riddle.Spinal cord injury constitutes one of the worst fears for many active individuals.In addition to its economic burden on the global health sy...
关键词：SCAR al. injury 
A Deadlock-Avoidance Dispatching Method for Multiple-Load AGVs Based Transportation System被引量：3
《Transactions of Nanjing University of Aeronautics and Astronautics》2021年第1期181-192,共12页XIAO Haining WU Xing ZOU Ting ZHAI Jingjing 
supported by the National Natural Science Foundation of China(Nos.52005427,61973154);the National Defense Basic Scientific Research Program of China(No.JCKY2018605C004);the Natural Science Research Project of Jiangsu Higher Education Institutions(Nos.19KJB510013,18KJA460009);the Foundation of Graduate Innovation Center in Nanjing University of Aeronautics and Astronautics(No.KFJJ20190516)。
In recent years,multiple-load automatic guided vehicle(AGV)is increasingly used in the logistics transportation fields,owing to the advantages of smaller fleet size and fewer occurrences of traffic congestion.However,...
关键词：automatic guided vehicle(AGV)dispatching deadlock avoidance multiple-load AGV system critical tasks multi-attribute rules 
MPI-RCDD: A Framework for MPI Runtime Communication Deadlock Detection被引量：1
《Journal of Computer Science & Technology》2020年第2期395-411,共17页Hong-Mei Wei Jian Gao Peng Qing Kang Yu Yan-Fei Fang Ming-Lu Li 
This work was supported by the National Key Research and Development Program of China under Grant No. 2017YFB0202003。
The message passing interface (MPI) has become a de facto standard for programming models of highperformance computing, but its rich and flexible interface semantics makes the program easy to generate communication de...
关键词：high-performance computing message PASSING interface(MPI) COMMUNICATION DEADLOCK DEADLOCK detection AND⊕OR model 
Robust Deadlock Avoidance Policy for Automated Manufacturing System With Multiple Unreliable Resources被引量：7
《IEEE/CAA Journal of Automatica Sinica》2020年第3期812-821,共10页Jianchao Luo Zhiqiang Liu Shuogang Wang Keyi Xing 
supported in part by the Fundamental Research Funds for the Central Universities(3102017OQD110);the Natural Science Basic Research Plan in Shaanxi Province of China(2019JQ-435);the Project Funded by China Postdoctoral Science Foundation(2019M663818);the National Key Research and Development Program of China(2019YFB1703800);Guangdong Basic and Applied Basic Research Foundation(2019A1515111076);the National Natural Science Foundation of China(71931007)。
This work studies the robust deadlock control of automated manufacturing systems with multiple unreliable resources. Our goal is to ensure the continuous production of the jobs that only require reliable resources. To...
关键词：Automated manufacturing system(AMS) DEADLOCK avoidamce policy(DAP) modified Banker's algorithm(MBA) PETRINET 
The Implementation of a Communication Deadlock Analysis Based on the Theory of Deadlock Analysis for the Actor Model
《Journal of Software Engineering and Applications》2019年第10期393-405,共13页Yupeng Xi Jianrui Zhang Furi Xiang 
We present a unique approach for communication deadlock analysis for actor-model which has an under-approximated analysis result. Our analysis detects narrowly defined communication deadlocks by finding a cyclic depen...
关键词：ACTOR MODEL COMMUNICATION DEADLOCK Program ANALYSIS Akka Soot DEPENDENCY Graph 
Verification of Hypertorus Communication Grids by Infinite Petri Nets and Process Algebra
《IEEE/CAA Journal of Automatica Sinica》2019年第3期733-742,共10页Dmitry A.Zaitsev Tatiana R.Shmeleva Jan Friso Groote 
supported in part by NATO(ICS.NUKR.CLG982689)
A model of a hypertorus communication grid has been constructed in the form of an infinite Petri net. A grid cell represents either a packet switching device or a bioplast cell. A parametric expression is obtained to ...
关键词：Computing grid conservativeness DEADLOCK hypertorus INFINITE PETRI NETS process ALGEBRA systems BIOLOGY 
Surveying concurrency bug detectors based on types of detected bugs被引量：2
《Science China(Information Sciences)》2017年第3期1-27,共27页Zhendong WU Kai LU Xiaoping WANG 
supported by National High Technology Research and Development Program of China(863 Program)(Grant Nos.2012AA01A301,2012AA010901);Program for New Century Excellent Talents in University and National Natural Science Foundation of China(Grant Nos.61402486,61402492,61272142);Moreover,it is a part of Innovation Fund Sponsor Project of Excellent Postgraduate Student(Grant No.B130608)
Concurrency bugs widely exist in concurrent programs and have caused severe failures in the real world. Researchers have made significant progress in detecting concurrency bugs, which improves software reliability. In...
关键词：concurrency bug detection data race atomicity violation order violation DEADLOCK 
DPTSV:A Dynamic Priority Task Scheduling Strategy for TSS Deadlock Based on Value Evaluation被引量：2
《China Communications》2016年第1期161-175,共15页ZHAO Bo XIANG Shuang AN Yang TAO Wei 
supported by the State Key Program of National Natural Science Foundation of China(Grant No.91118003);the National Natural Science Foundation of China(Grant No.61173138,61272452,61332019);the National Basic Research Program of China("973"Program)(Grant No.2014CB340600);the National High-Tech Research and Development Program of China("863"Program)(Grant No.2015AA016002)
This paper analyzes the threat of TCG Software Stack(TSS)/TCM Service Module(TSM) deadlock in multi-user environment such as cloud and discusses its causes and mechanism.In addition,this paper puts forward a dynamic p...
关键词：TCG software stack/TCM service module deadlock multi-user trusted platform module real-time value 
全选清除导出
共3页<123>
检索报告 对象比较 聚类工具 使用帮助 返回顶部