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 paper addresses the issue of reserving resources at ATM switches along the path of calls requiring a deterministic bound on end-to-end delay. The switches are assumed to schedule outgoing cells using the Rate Controlled EarliestDeadline-First (EDF) scheduling discipline. EDF is known to be an optimal scheduling discipline when providing delay bounds to a number of calls being served by a si...

The Stack Resource Policy (SRP) is a resource allocation policy which permits processes with different priorities to share a single runtime stack. It is a refinement of the Priority Ceiling Protocol (PCP) of Sha, Rajkumar and Lehoczky, which strictly bounds priority inversion and permits simple schedulability tests. With or without stack sharing, the SRP offers improvements over the PCP, by: (1...

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...