A Mathematical Model for the Verification of Systolic Networks.
Rami G. MelhemWerner C. RheinboldtPublished in: SIAM J. Comput. (1984)
Keyphrases
- mathematical model
- ant colony algorithm
- control strategy
- mathematical models
- simulation model
- formal verification
- network analysis
- face verification
- model checking
- complex networks
- neural network
- feasible solution
- matlab simulink
- mathematical modeling
- computer networks
- network structure
- social network analysis
- power system
- computational model