Performance Analysis of Concurrent Programs Using Ordinary Differential Equations.
Zuohua DingKao ZhangPublished in: COMPSAC (2008)
Keyphrases
- ordinary differential equations
- concurrent programs
- differential equations
- dynamic systems
- concurrent programming
- numerical solution
- process algebra
- partial differential equations
- mathematical models
- web applications
- biological systems
- model checking
- formal methods
- concurrent systems
- image denoising
- programming language
- image enhancement
- asynchronous circuits
- complex systems
- distributed systems