En route air traffic management is difficult and can benefit greatly from decision support tools. This paper presents a study of the efficiency and effectiveness of two practical approaches to real-time scheduling algorithms: a simple greedy scheduler and a well-studied optimal scheduler. A subset (region) of the National Airspace System is isolated to perform optimization on a manageable porti...

Many real-time application domains can benefit from flexible and open distributed architectures, such as those defined by the CORBA specification. Although CORBA is well-suited for conventional request/response applications, it is not yet suitable for realtime applications due to the lack of key Quality of Service (QoS) features and performance optimizations. This paper explains the design and ...

We present the SERRA Run-Time Scheduler Synthesis and Analysis Tool which automatically generates a run-time scheduler from a heterogeneous system-level specification in both Verilog HDL and C. Part of the runtime scheduler is implemented in hardware, which allows the scheduler to be predictable in being able to meet hard real-time constraints, while part is implemented in software, thus suppor...

This paper describes a new mechanism to garantee quality of service for multimedia streams in low-cost home networks. Quality of service is based on a token, of which the route in the network is determined by a distributed scheduler. The network node that has the token –the active node– can send its data during a predetermined period. The length of this period and which node gets the token next...

In the last decade, the use of the Beowulf Cluster concept for High Performance Computing and Cloud Computing has exploded. In addition, the Linux operating system used by many of these computing platforms has also greatly advanced. Understanding the effects of the underlying kernel scheduler on the computational performance of compute nodes is one of the main concerns in customizing a Linux op...

We propose an approach to certify the information flow security of multi-threaded programs independently from the scheduling algorithm. A scheduler-independent verification is desirable because the scheduler is part of the runtime environment and, hence, usually not known when a program is analyzed. Unlike for other system properties, it is not straightforward to achieve scheduler independence ...

Development of big data computing has brought many changes to society and social life is constantly digitized. ‘How to handle vast amounts of data’ has become a more and more fashionable topic. Hadoop is a distributed computing software framework, which includes HDFS and MapReduce distributed computing method, make distributed processing huge amounts of data possible. Then job scheduler determi...

We consider the power given to adversary scheduler of an asynchronous system and deene the value-oblivious scheduler. At each step this scheduler determines the next processor to operate based on the full history of the dynamics of the execution; the scheduler is oblivious to the intermediate values the processors manipulate. We argue that the value-oblivious scheduler captures the possible sou...