Many real-world embedded systems employ a preemptive scheduling policy in order to satisfy their realtime requirements. However, most System-Level Design Languages (SLDLs) which were proposed up to now, such as SpecC, do not explicitly support modeling of preemptions. This paper proposes techniques for modeling xed-priority preemptive multi-task systems in the SpecC SLDL. The modeling technique...

We analyze a discrete-time queueing system with server interruptions and a hybrid preemptive repeat interruption discipline. Such a discipline encapsulates both the preemptive repeat identical and the preemptive repeat different disciplines. By the introduction and analysis of so-called service completion times, we significantly reduce the complexity of the analysis. Our results include a.o. th...

This paper derives a preemptive equilibrium in strategic investment in alternative projects. The problem is formulated in a real options model with a multidimensional state variable that represents project-specific uncertainty. The proposed method enables us to evaluate the value of potential alternatives. The results not only extend previous studies with a one-dimensional state variable but al...

We consider the single machine dynamic total completion time scheduling problem. This problem is known to be NP-hard in the strong sense. The currently best available lower bound for the problem is known to be the optimal solution value of the corresponding preemptive problem which can be computed in O(n logn) time. We propose an improvement on this bound by exploiting the properties of the pre...

UNLABELLED BACKAGROUND AND OBJECTIVES: Since the finding that ketamine blocks NMDA receptors in the neurons of spinal dorsal horn, it has been used to inhibit or decrease central sensitization triggered by nociceptive stimulations. This study aimed at presenting pharmacological aspects of racemic ketamine and its levogyrous compound, as well as its usefulness for preemptive analgesia. CONTENT...

We consider a loss system with a fixed budget for servers. The system owner’s problem is choosing the price, and selecting the number and quality of the servers, in order to maximize profits, subject to a budget constraint. We solve the problem with identical and different service rates as well as with preemptive and non-preemptive policies. In addition, when the policy is preemptive we prove t...

We propose a unifying framework based on configuration linear programs and randomized rounding, for different energy optimization problems in the dynamic speed-scaling setting. We apply our framework to various scheduling and routing problems in heterogeneous computing and networking environments. We first consider the energy minimization problem of scheduling a set of jobs on a set of parallel...

BACKGROUND Preemptive analgesia is an antinociceptive treatment that prevents central sensitization. Antinociceptive effects of diclofenac are well-known. The aim of this study was to investigate preemptive analgesic effects of intraperitoneally administrated diclofenac, before and after acute and inflammatory induced pain in rat model. METHODS Forty eight male Sprague Dawley rats were includ...