In this work, an experimental comparison among the Rate Monotonic (RM) and Earliest Deadline First (EDF) multiprocessor real-time schedulers is performed, with a focus on soft real-time systems. We generated random workloads of synthetic periodic task sets and executed them on a big multi-core machine, using Linux as Operating System, gathering an extensive amount of data related to their exhib...

A novel packet multiplexing technique, called Rotating-Priority-Queues (RPQ), is presented which exploits the tradeo between high e ciency, i.e., the ability to support many connections with delay bounds, and low complexity. The operations required by the RPQ multiplexer are similar to those of the simple, but ine cient, Static-Priority (SP) multiplexer. The overhead of RPQ, as compared to SP, ...

To solve the problem that software testing cannot meet the verification needs of process scheduling over multi-core computer system, a model checking approach with MSVL is adapted to verify the correctness of process scheduling. Firstly, the grammar of MSVL is briefly introduced; further, a general model supporting the most commonly used scheduling algorithms for multi-core computer is formaliz...

To ensure the Quality of Service (QoS) of the high-priority requests, the paper proposes a Congestion Control Algorithm of Multi-Priority (CCAMP) which differentiates the QoS according to the priorities, CCAMP reserves queue buffer for the high-priority packets by dropping the low-priority packets in a certain probability. Moreover, the paper presents an improved EDF (Earliest Deadline First) s...

The advancement of various fields of science depends on the actions of individual scientists via the peer review process. The referees' work patterns and stochastic nature of decision making both relate to the particular features of refereeing and to the universal aspects of human behavior. Here, we show that the time a referee takes to write a report on a scientific manuscript depends on the f...

The observation and analysis of the activity of learners in computerized environments training is a major issue, particularly in the context of professional training on nuclear power plant full-scope simulator. In such a context, the role of the trainers is critic and require constant alertness throughout the simulation especially for the young trainers. The objective of our work is to propose ...

The Cramér-von Mises family of goodness-of-fit statistics is a well-known group of statistics used to test fit to a continuous distribution. In this article we extend the family to provide tests for discrete distributions. The statistics examined are the analogues of those associated with the names of Cramér-von Mises, Watson and Anderson-Darling, called W , U and A respectively, and their comp...

! " $#% & ('*),+ -/.0 +1 2 )435 3 $ )43 7698:3 ' ;< = '> @?A -4)4 ;< > B )C 9-C @-C EDF G ? H $ E )C3 0 +I J ? )4-4)/ K.L 3 M N O'* E P

We study the homogenization problem for a convection-diffusion equation in a periodic porous medium in the presence of chemical reaction on the pores surface. Mathematically this model is described in terms of a solution to a system of convection-diffusion equation in the medium and ordinary differential equation defined on the pores surface. These equations are coupled through the boundary con...

We address the problem of planning outages of nuclear power plants submitted by EDF (Électricité De France) as the challenge EURO/ROADEF 2010. As our team won the first prize of the contest in the senior category, our approach may be of interest: it is conceptually simple, easy to program and computationally relatively fast. We present both our method and some ideas to improve it.