This survey provides an overview of the scientific literature on timing verification techniques
for multi-core real-time systems. It reviews the key results in the field from its origins around …

Multi-core devices are envisioned to support the development of next-generation safety-
critical systems, enabling the on-chip integration of functions of different criticality. This …

Engineering related research, such as research on worst-case execution time, uses
experimentation to evaluate ideas. For these experiments we need example programs …

This work investigates the fundamental constraints of anonymous communication (AC)
protocols. We analyze the relationship between bandwidth overhead, latency overhead, and …

In this work, we present Vicuna, a timing-predictable vector coprocessor. A vector processor
can be scaled to satisfy the performance requirements of massively parallel computation …

Current processors provide high average-case performance, as they are optimized for
general purpose computing. However, those optimizations often lead to a high worst-case …

Estimation of worst-case execution times (WCETs) is required to validate the temporal
behavior of hard real time systems. Heptane is an open-source software program that …

This paper presents a novel 3D shape retrieval method, which uses Bag-of-Features and an
efficient multi-view shape matching scheme. In our approach, a properly normalized object …

A major challenge in modelling and simulation is the need to combine expertise in both
software technologies and a given scientific domain. When High-Performance Computing …

Virtualization technology is widespread in real-time embedded systems, resulting from the
availability of hardware support. Hardware assistance allows the penalties suffered by …