Modern program verifiers use the same uniform program text to both specify and implement programs. The program text is also used to provide the necessary guidance to ensure that the program satisfies its specification. The amount of guidance required is often called the annotation overhead. This can be high and is often seen as a hindrance for wider use of program verifiers, as development time...

In real-time systems, it is required to complete all work on a timely basis. There are mainly two types of real time systems: hard real-time systems (HRT) and soft-real time (SRT) systems. In hard real-time systems, a missed deadline is considered a system failure; in soft real-time systems some deadlines may be missed. The aim of real-time scheduling analysis is to ensure a sequence of jobs me...

In recent processor development, we have witnessed the integration of GPU and CPUs into a single chip. The result of this integration is a reduction of the data communication overheads. This enables an efficient collaboration of both devices in the execution of parallel workloads. In this work, we focus on the problem of efficiently scheduling chunks of iterations of parallel loops among the co...

Costs not directly attributable to or recoverable from production and sales are often loosely referred to as overhead costs. In construction, some of these result from the organisation structure, size and form of the enterprise, some apply more directly to site operations and some may lie somewhere in between. Overhead costs largely represent the enterprise’s operational capacity, including asp...

Advances in multiprocessor interconnect technology are leading to high performance networks. However , software overheads associated with message passing are limiting the processors to get maximum performance from these networks, leading to under-utilization of network resources. Though processor-clusters are being used in some systems in an ad hoc manner to alleviate this problem, there is no ...

Work-stealing is a promising approach for effectively exploiting software parallelism on parallel hardware. A programmer who uses work-stealing explicitly identifies potential parallelism and the runtime then schedules work, keeping otherwise idle hardware busy while relieving overloaded hardware of its burden. However, work-stealing comes with substantial overheads. Our prior work demonstrates...

Advances in multiprocessor interconnect technology are leading to high performance networks. However, software overheads associated with message passing are limiting the processors to get maximum performance from these networks, leading to under-utilization of network resources. Though processor-clusters are being used in some systems in an ad hoc manner to alleviate this problem, there is no f...

Problem statement: With the escalating demand for mobile ad hoc network projects, major challenges to system planners and designers were addressing stability and reliability problems due to frequent change of network topology. Controlling an overhead, which means bandwidth utilization due to control packets, depends on the routing protocol, topology and data traffic. Limiting the network contro...

Modern image storage services, especially those associated with social media services, host massive collections of images. These images are often replicated at many different resolutions to support different devices and contexts, incurring substantial capacity overheads. One approach to alleviate these overheads is to resize them at request time. However, this approach can be inefficient, as re...

Causal message ordering is required for several distributed applications. In order to preserve causal ordering, only direct dependency information between messages, with respect to the destination process(es), need be sent with each message. By eliminating other kinds of control information from the messages, the communication overheads can be signi cantly reduced. In this paper we present an a...