This paper presents the preemption abstraction, an abstraction technique for lightweight verification of one sequential component of a concurrent system. Thereby, different components of the system are permitted to interfere with each other. The preemption abstraction yields a sequential abstract system that can easily be described in the higherorder logic of a theorem prover. One can therefore...

Most static task scheduling algorithms schedule tasks in non-preemptive mode. Basic reason of such tendency is that preemption invokes overheads and it does not help to minimize its schedule length. We found that preemption helps to reduce the number of processors while the schedule length does not increase. We propose a task scheduling algorithm that applies task preemption. The basic process ...

David Trueman's article reviews the history of ERISA preemption by analyzing seminal Supreme Court cases and predicts the future of ERISA preemption in his analysis of recent federal case law. Traditionally, the ability to hold a managed care entity responsible for its actions has been hampered by a strict interpretation of the preemption clauses of ERISA but as the Supreme Court's jurisprudenc...

A route-based dynamic strategy is developed for efficient preemption of traffic signals for emergency vehicles in real time. The proposed method combines an on-line route selection module and a sequential dynamic preemption strategy, so that traffic queues at the intersections on a given emergency route can be cleared in advance for an emergency vehicle, while minimizing delay because of unnece...

Cache memory is used in almost all computer systems today to bridge the ever increasing speed gap between the processor and main memory. However, its use in multitasking computer systems introduces additional preemption delay due to reloading of memory blocks that were replaced during preemption. This cache-related preemption delay poses a serious problem in real-time computing systems where pr...

In this article we apply research in the field of judgment and decision making to the policy of preemption. We use Brunswik’s lens model to frame the policy of preemption as the integration of multiple fallible indicators under conditions of uncertainty. We use the Taylor-Russell diagram to demonstrate how the policy of preemption increases judgment uncertainty and error. The continuation of a ...

Controlling the preemption behavior in real-time systems can have beneficial impacts in multiple contexts as it can decrease the processor utilization, reduce the energy consumption or even enable the schedulability of the system. In this paper we study the preemption behavior of sporadic task systems scheduled using the Fixed Priority Scheduling (FPS) policy, and evaluate the feasibility of pr...

The objective of traffic engineering is to optimize resource efficiency and network performance. Its study issue is to make the use of the available bandwidth in IP backbone networks effectively. MPLS (Multi-Protocol Label Switching) approach proposed by the IETF (Internet Engineering Task Force) is a new technology that facilitates significantly the process of traffic engineering. In MPLS netw...

Abstract We used a multi-method approach to investigate how children avoid (or retreat from) argument structure overgeneralisation errors (e.g., * You giggled me ). Experiment 1 investigated semantic and statistical constraints (preemption entrenchment) influence children’s adults’ judgments of the grammatical acceptability 120 verbs in transitive intransitive sentences. 2 syntactic priming eli...

ÐCache memory is used in almost all computer systems today to bridge the ever increasing speed gap between the processor and main memory. However, its use in multitasking computer systems introduces additional preemption delay due to the reloading of memory blocks that are replaced during preemption. This cache-related preemption delay poses a serious problem in real-time computing systems wher...