OpenMP is the de-facto standard for shared memory systems in High-Performance Computing (HPC). It includes a tasking model that offers high-level of abstraction to effectively exploit structured (loop-based) and highly dynamic unstructured (task-based) parallelism an easy flexible way. Unfortunately, run-time overheads introduced manage tasks are (very) high most common frameworks (e.g., GCC, L...

Modelling multi-tasking behaviour is an important phase of real-time system design. It is shown how task scheduling principles can be captured in a CCS-based process algebra via extensions for both asymmetric interleaving, to model intraprocessor scheduling decisions, and for asynchronous communication, to model interprocessor precedence constraints. Examples are given of task preemption, block...

Next-generation large-scale structure surveys will deliver a significant increase in the precision of growth data, allowing us to use `agnostic' methods study evolution perturbations without assumption cosmological model. We focus on particular machine learning tool, Gaussian processes, reconstruct rate $f$, root mean square matter fluctuations $\sigma_8$, and their product $f\sigma_8$. apply t...

Many multi-task operations require human operators to simultaneously perform visual surveillance and a secondary task. As the trend in technological advancement of systems indicates high likelihood heavy interdependence between technology foreseeable future, it is paramount venture beyond context driving, an area where similar research saturated in, investigate functional field view (FFoV) mult...