A Concurrent Coloured Petri Nets Model for Solving Binary Search Problem on a Multicore Architecture.
Alaa M. Al-ObaidiSai Peck LeePublished in: ICSECS (3) (2011)
Keyphrases
- formal model
- management system
- high level
- conceptual model
- binary search
- probabilistic model
- mathematical model
- statistical model
- objective function
- computational model
- selection mechanism
- integer program
- sensitivity analysis
- experimental data
- data sets
- theoretical analysis
- search algorithm
- image segmentation
- neural network