Collective MPI operations are an interesting research topic, since their implementation is complex and there are many different possible ways to improve their performance. It is no...
Simulation and model checking are commonly used to compare the behaviour of a computer-based system with its requirements specification. However, when upgrading an operational le...
The state of the art in verifying the real-time requirements of applications developed using general processing graph models relies on simulation or off-line scheduling. We extend...
Automakers are trying to make vehicles more intelligent and safe by embedding processors which can be used to implement by-wire applications for taking smart decisions on the road...
In this paper, we analyze the convergence of an iterative selftraining semi-supervised support vector machine (SVM) algorithm, which is designed for classi cation in small trainin...