HAL Id: hal-01340757
https://hal.archives-ouvertes.fr/hal-01340757
Preprint submitted on 1 Jul 2016
HAL is a multi-disciplinary open access archive for the deposit and dissemination of sci- entific research documents, whether they are pub- lished or not. The documents may come from teaching and research institutions in France or
L’archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents scientifiques de niveau recherche, publiés ou non, émanant des établissements d’enseignement et de recherche français ou étrangers, des laboratoires
Practical scheduling of computer vision functions
Adrien Chan-Hon-Tong, Stéphane Herbin
To cite this version:
Adrien Chan-Hon-Tong, Stéphane Herbin. Practical scheduling of computer vision functions. 2016.
�hal-01340757�
Practical scheduling of computer vision functions
Adrien CHAN-HON-TONG, St´ephane Herbin July 1, 2016
Abstract
Practical scheduler in computer vision context could boost the devel- opment of robotic platform embedding large variety of computer vision functions (like image classifier). In this paper, we make a step toward such scheduler. More precisely, we offer a scheduling framework for image classification whose relevancy is clearly established by experimentation on real life computer vision dataset and scenarios.
1 Introduction
Computer vision focus on developing routines which solve computer vision tasks like deblurring [22], registration [14], segmentation [29], classification [12], pixelwise classification [23], object detection [3].
However, in computer vision, there exist multiple non dominated rou- tines designed for a same task: for image classification, there exist classi- fiers with better quality than the state of the art but also classifiers faster with almost state of the art quality.
For example, even if deep learning classifiers (like alexnet [9]) have brought an important quality increasing on classic datasets (eg. [20]), its do not completely dominated classifier state of the art because deep learning classifiers have classically a running time greater by one or two orders of magnitude than older classifiers (eg. HoG+SVM [3], boosting [28], DPM [4]).
Now, let wonder about how to design system which should classify batches of N images in T seconds using black box classifiers. This leads to a scheduling problem i.e. mapping effectors on resources across time to perform tasks. Such kind of problem is classic in discrete optimisation.
Precisely, let assume that the system has C available resources and can rely on K classifiers each associated to an overall quality q
1, ..., q
K, a speed s
1, ..., s
K(speed is approximated as constant), and a resource consumption c
1, ..., c
K. In practice, one could take a look at the state of the art and select the classic classifier from the K which best fit to the problem. But from scheduling perspective, this approach is clearly not the one which maximizes the output quality - unless if one day a new classifiers would dominated all previous ones (both in quality and speed).
A little step toward such maximization is done by the following model:
let the number of images x
kprocessed by the classifier k, as batch should
be processed in T seconds, each classifier should process this own sub- batch in less than T seconds (leading to ∀k, s
kx
k≤ T ) - in addition each image should be processed ( P
k
x
k= N ) - finally, if an classifier is used (x
k6= 0) then it uses some resources. So forgetting that one classifier could start after than on other have stopped, the value x
kare the solution of the following integer linear program:
x1,...,x
max
K∈NP
k
q
kx
ksc :
∀k, s
kx
k≤ T P
k
x
k= N P
k