Proved development of the real-time properties of the IEEE 1394 Root Contention Protocol with the event-B method.
Joris RehmPublished in: Int. J. Softw. Tools Technol. Transf. (2010)
Keyphrases
- real time
- synthetic data
- similarity measure
- preprocessing
- pairwise
- cost function
- support vector machine
- support vector machine svm
- neural network
- control system
- detection method
- clustering method
- software engineering
- high precision
- image registration
- computational cost
- experimental evaluation
- dynamic programming
- significant improvement