The following pages link to Ming Fu (Q351977):
Displaying 11 items.
- Formal verification of concurrent programs with Read-write locks (Q351980) (← links)
- A temporal programming model with atomic blocks based on projection temporal logic (Q1633057) (← links)
- Stability and bifurcation in a delayed Holling-Tanner predator-prey system with ratio-dependent functional response (Q1952833) (← links)
- Hopf bifurcation in a predator-prey system with Holling type III functional response and time delays (Q2511431) (← links)
- A Structural Approach to Prophecy Variables (Q2898019) (← links)
- (Q2916200) (← links)
- A rely-guarantee-based simulation for verifying concurrent program transformations (Q2942895) (← links)
- Fast mode decision of downscaling video transcoding for H.264 streams (Q3399685) (← links)
- Research of the method of software/hardware partitioning in the embedded system (Q3407059) (← links)
- Reasoning about Optimistic Concurrency Using a Program Logic for History (Q3584944) (← links)
- (Q5483652) (← links)
