Hadoop MapReduce is one of the popular framework for BigData analytics. MapReduce cluster is shared among multiple users with heterogeneous workloads. When jobs are concurrently submitted to the cluster, resources are shared among them so system performance might be degrades. The issue here is that schedule the tasks and provide the fairness of resources to all jobs. Hadoop supports different s...

Imprecise input data imposes special challenges to grid scheduling. This paper introduces a novel scheduler based on fuzzy optimization called IP-FULL-FUZZY which considers uncertainties of both application demands and of resource availability. The effectiveness of the proposed scheduler is compared to that of three non-fuzzy schedulers, as well as to that of a fuzzy scheduler which considers o...

Quantitative model checkers for Markov Decision Processes typically use finiteprecision arithmetic. If all the coefficients in the process are rational numbers, then the model checking results are rational, and so they can be computed exactly. However, exact techniques are generally too expensive or limited in scalability. In this paper we propose a method for obtaining exact results starting f...

In open real-time systems with a non-stationary workload, tasks can be dynamically mapped to servers. If a server-based, slack reclamation scheduler is used, each task reserves a fraction of the bandwidth based on its resource estimation. However, the slack time scheduler makes no guarantee to a task beyond its processor capacity reserve, i.e., the scheduler cannot guarantee that a soft real-ti...

In many practical application domains, the software is organized into a set of threads, whose activation is exclusive and controlled by a cooperative scheduling policy: threads execute, without any interruption, until they either terminate or yield the control explicitly to the scheduler. The formal verification of such software poses significant challenges. On the one side, each thread may hav...

Observational determinism has been proposed in the literature as a way to ensure confidentiality for multi-threaded programs. Intuitively, a program is observationally deterministic if the behavior of the public variables is deterministic, i.e., independent of the private variables and the scheduling policy. Several formal definitions of observational determinism exist, but all of them have sho...

Real-time traffic communication has Quality of Service (QoS) requirements such as end-to-end bandwidth and delay guarantees. We propose a novel frame-based QoS Scheduler, the frame-counter scheduler, for connection oriented packet switching networks. The frame-counter scheduler significantly reduces the end-to-end delay bound and buffer requirements provided by other frame-based schedulers. A f...

Long-term scheduling controls the degree of multiprogramming. The more processes that are created, the smaller is the percentage of time that each process can be executed. Thus the long term scheduler may limit the degree of multiprogramming to provide satisfactory service to the current set of processes. Whenever a process terminates, or the fraction of time that the processor is idle exceeds ...

This research introduces an improved Linux scheduler that models and manages several power dissipation problems based on user application usage pattern identified in mobile computing platform. The scheduler is developed and simulated in Android 5.0 with the Linux kernel 3.10 and 3.14. The scheduler monitors multiple system performance metrics at runtime, predicts power dissipation and future wo...

In this project, a multiuser diversity scheme for MIMO-OFDM systems has been proposed to improve system performance. In the space-time MIMO-OFDM system with multiuser, it needs a scheduler at the base station to do the spatial multiplexing. The scheduler distributes sub-channels to different users based on the feedback channel state information (CSI). The goal is that each user determines a lim...