1.
Experiments on Detecting Program Deadlock with Ordinary Differential Equation Model
基于常微分方程的死锁检测实验分析
2.
On-the-fly Deadlock Detection with Partial-order Reduction Based on CEGAR
基于CEGAR偏序化简的并行程序死锁检测
3.
Deadlock Detection in MPI Synchronization Communication Through Whole Node Space
全节点空间MPI同步通信死锁检测
4.
A Novel NoC-Based Deadlock Detection Algorithm
一种新的基于NoC的死锁检测算法
5.
Fast and Low Cost Deadlock Detection and Resolution in Distributed Systems
一种快速低开销的分布式死锁检测解决算法
6.
Research on Cycle and Knot Oriented Distributed Deadlock Detection Algorithm;
面向环和结的分布式死锁检测算法研究
7.
On Configuration of the Initial Marking and Deadlock Detection for a Class of Petri Nets;
基于一类Petri Net模型的初始状态配置与死锁检测
8.
A Deadlock Detection and Prevention Strategy Based on the Transitive Matrix of Petri Nets
一种基于传递矩阵的死锁检测和预防策略
9.
Static Detection of Unspecified Behaviors and Deadlocks in OpenMP Programs;
OpenMP程序中的未指定行为和死锁的静态检测
10.
Oopn's Reduction and Systems Deadlock Detection
面向对象Petri网的约简和系统死锁的检测
11.
THE DEADLOCK DETECTION METHOD FOR COMMAND CONTROL INFORMATION NETWORK BASED ON Petri NET
一种基于Petri网的指控信息网死锁的检测方法
12.
Concurrency control in database always leads to deadlock. This article has put forward a method to detect it.
数据库的并发控制,经常导致死锁,本文针对此问题给出检测方法。
13.
Study on vicious cycle node checking algorithm for BOM based on search technology
基于搜索技术的BOM数据死锁检验算法研究
14.
Detetion of Harmonic Waves Based on DPLL Synchronous Sampling
基于数字锁相环同步采样的谐波检测
15.
Detecting internal resistance of VRLA battery based on phase-lock amplifier
基于锁相放大技术检测VRLA电池的内阻
16.
Systematic Design of Torque Tester for Lock Testing;
用于锁具检测的扭矩测试仪的系统化设计
17.
The system could not be unlocked. A communication error with the smart card has been detected.
系统无法解除锁定。检测到与智能卡的通信错误。
18.
Research on System for Measuring Serviceability of SANTANA Sedan Door Lock
桑塔纳轿车车门锁操纵性能检测系统的研究