Interprocessor communication (PC) overheads have emerged as the major performance limitation in parallel processing systems, due to the transmission delays, synchronization overheads, and conflicts for shared communication resources created by data exchange. Accounting for these overheads is essential for attaining efficient hardware utilization. This thesis introduces two new compile-time heur...

Runtime verification techniques are increasingly being applied in industry as a lightweight formal approach to achieve added assurance of correctness at runtime. A key issue determining the adoption of these techniques is the overheads introduced by the runtime checks, affecting the performances of the monitored systems. Despite advancements in the development of optimisation techniques lowerin...

In this paper we implement the EDF-VD (Earliest Deadline First with Virtual Deadline) algorithm described in [1] for scheduling mixed-criticality, realtime task systems on preemptive uniprocessor platforms. We compare the scheduling overheads of this algorithm with the scheduling overheads of the well known EDF (Earliest Deadline First) algorithm for scheduling realtime task systems on preempti...

Emerging applications for Internet of Things (IoT) devices demand smaller mass, size, and cost whilst increasing capability reliability. Energy harvesting can provide power to these ultra-constrained devices, but introduces unreliability, unpredictability, intermittency. Schemes wireless sensors without batteries or supercapacitors overcome intermittency through saving system state into nonvola...

A classic problem in parallel computing is determining whether to execute a thread in parallel or sequentially. If small threads are executed in parallel, the overheads due to thread creation can overwhelm the benefits of parallelism, resulting in suboptimal efficiency and performance. If large threads are executed sequentially, processors may spin idle, resulting again in suboptimal efficiency...

IEEE 802.11-based wireless mesh networks are being increasingly deployed in enterprize and municipal settings. A lot of work has been done on developing measurement-based schemes for resource provisioning and fault management in these networks. The above goals require an efficient monitoring infrastructure to be deployed, which can provide the maximumamount of information regarding the network ...

This paper presents techniques to integrate the use of variable-latency units in a high-level synthesis (HLS) design methodology. Components used as building blocks (e.g., functional units) in conventional HLS techniques are assumed to have fixed latency values. Variable-latency units exhibit the property that the number of cycles taken to compute their outputs varies depending on the input val...

In persistent object storage, one of the most influential overheads at application runtime is caused by the conversion of pointers for transparency among variously represented pointers. Em’sting systems require some representations of pointers, which causes conversion of pointers and runtime overheads, because of the limitation of 3%bit processors’ virtual address space, and efficient garbage c...