Worldwide interoperability for Microwave Access (WiMAX) is based on the IEEE 802.16 standard. This technology provides broadband wireless last-mile access in a Metropolitan Area Network (MAN). The IEEE 802.16-2004 standard (i.e. Fixed WiMAX) provides specification for the Medium Access Control (MAC) and Physical (PHY) layers for WiMAX. A critical part of the MAC layer specification is schedulin...

| Many real-time applications have very tight time constraints which couldn't be met by disk resident databases. For those applications, main memory database where entire database is stored in main memory is the proper choice. It has been shown that coarse-granule locking is better than ne-granule locking for main-memory databases. Coarse-granule locking makes it easy to extract data access pat...

We describe a mechanically-checked proof of the optimality of earliest-deadline-rst (EDF) schedulers on periodic tasks accomplished using the Nqthm theorem prover. We present a formalization of the theorem and discuss why the machine-checked proof is both more complex and more reliable than a corresponding informal proof.

This paper proposes a new scheduler applying the concept of non-uniform laxity to Earliest Deadline First (EDF) approach for aperiodic tasks. This scheduler improves task utilisation (Execution time / deadline) and also increases the number of tasks that are being scheduled. Laxity is a measure of the spare time permitted for the task before it misses its deadline, and is computed using the exp...

Many applications need to solve the deadline guaranteed packet scheduling problem. However, it is a very difficult problem if three or more deadlines are present in a set of packets to be scheduled. The traditional approach to dealing with this problem is to use EDF (Earliest Deadline First) or similar methods. Recently, a non-EDF based algorithm was proposed that constantly produces a higher t...

Abstract— The provision of Quality of Service (QoS) in terms of end-to-end delay guarantees to real-time applications is an important issue in emerging broadband packet networks. Of the various packet scheduling schemes that have been proposed in the literature, Earliest Deadline First (EDF) scheduling in conjunction with per-hop traffic shaping (jointly referred to as Rate-Controlled EDF or RC...

A large fraction of the total electric load is comprised of end-use devices whose energy demand is inherently deferrable in time. Of interest is the potential to leverage on such latent flexibility in demand to absorb variability in power supplied from intermittent renewable generation. The challenge, however, lies in designing incentives to reliably induce the desired response in demand. To th...

This article addresses the ubiquitous topic of Quality of Service (QoS) aware connection provisioning in wavelength routed WDM optical networks. The impact of the connection setup time of an optical connection has not been adequately addressed in the open literature. As such, this paper presents a novel approach that uses the optical connection setup time as a service differentiator during conn...

Energy efficiency is amajor concern inmodern high performance computing (HPC) systems and a poweraware scheduling approach is a promising way to achieve that. While there are a number of studies in power-aware scheduling by means of dynamic power management (DPM) and/or dynamic voltage and frequency scaling (DVFS) techniques, most of them only consider scheduling at a steady state. However, HPC...

Unpredictable wireless channel errors may cause applications with real-time traffic to receive degraded quality of services due to packet losses. In the presence of such errors, a challenging problem is how to schedule packets to achieve fairness among real-time flows and to maximize the overall system throughput simultaneously. We capture fairness by minimizing the maximum degradation in servi...