Ordinary differential equation-based deadlock detection

Keyphrases

• Computation Errors 50%
• Concurrent Systems 100%
• Deadlock 100%
• Deadlock Detection 100%
• Differential Equations 50%
• Equation-based 100%
• Matrix Laboratory (MATLAB) 50%
• Numerical Solution 50%
• Ordinary Differential Equations 100%
• P-space 50%
• Resource Sharing 50%
• Restricted Type 50%
• Sharing Mechanism 50%
• State Change 50%
• State Measure 50%
• State Space Explosion 50%
• Static Analysis 50%
• System State 50%

Computer Science

• Concurrent System 50%
• Deadlock 100%
• Numerical Solution 25%
• Resource Sharing 25%
• State Space 25%
• Static Program Analysis 25%