With the growth of the cloud computing market, the number and scale of cloud data centers
are expanding rapidly. While cloud data centers provide a large amount of computing …

Neural-network-enabled data analysis in real-time scientific applications imposes stringent
requirements on inference latency. Meanwhile, recent deep learning (DL) model design …

In many modern safety-critical cyber-physical sys-tems, such as in the automotive or robotic
domain, the appli-cation complexity requires the use of multi-core platforms to execute all …

The periodic directed acyclic graph (DAG) is an important system model widely used to
describe the structure and function of time-critical applications. The nodes in periodic DAGs …

As high‐performance computing (HPC) becomes a tool used in many different workflows,
quality of service (QoS) becomes increasingly important. In many cases, this includes the …

Directed acyclic graph (DAG) tasks are widely used to model parallel real-time workload.
The real-time performance of a DAG task not only depends on its total workload but also its …

Resumo As High Performance Computing (HPC) becomes a tool used in many different
workflows, Quality of Service (QoS) becomes increasingly important. In many cases, this …

This paper studies the response time bound of a DAG (directed acyclic graph) task.
Recently, the idea of using multiple paths to bound the response time of a DAG task, instead …

This lightning talk introduces the motivations of the needs of formal properties that can be
used modularly to compose safe and tight analysis and optimization for the scheduler …

Real-time systems are most prevalent in cyber-physical systems (CPS), which refer to cyber
subsystems which are integrated into a physical system such as automotive, avionic, or …