Event structures are a prominent model for non-interleaving concurrency. The use of event structures for providing a compositional non-interleaving semantics to LOTOS without data is studied. In particular, several quantitative extensions of event structures are proposed that incorporate notions like time|both of deterministic and stochastic nature|and probability. The suitability of these mode...

In this paper, we present a comprehensive performance evaluation of chip interleaving effect on turbo coded direct sequence spread spectrum (DS-SS) system in a frequency non-selective Rayleigh fading channel with antenna diversity reception. At the transmitter, chip interleaver scrambles the SF (spreading factor) chips associated with a data symbol and transforms the transmission channel into a...

Signal-event nets provide a modular modeling technique based on Petri nets. Actions of a module can be activated or can be prevented by another module through condition arcs. One-sided synchronization of modules is done by signal-events, which cause the execution of actions in steps. But due to condition arcs and signal-events simultaneous ring of steps may lead to markings, which are not reach...

This paper presents heuristic pulse interleaving algorithms for multi-target tracking on pulse Doppler phased array radars that can process multiple simultaneous received beams. The pulse interleaving problems for element and subarray level digital beamforming architectures are formulated as the same integer program and the asymptotic time complexities of the algorithms are analyzed.

Online evaluation methods, such as A/B and interleaving experiments, are widely used for search engine evaluation. Since they rely on noisy implicit user feedback, running each experiment takes a considerable time. Recently, the problem of reducing the duration of online experiments has received substantial attention from the research community. However, the possibility of using sequential stat...

Interleaving thermoplastic veils has proved to enhance the interlaminar fracture toughness of carbon fibre/epoxy composites under static loading conditions. However, fatigue delamination behaviour yet be investigated. Herein, meltable Polyamide-12 (PA) and non-meltable Polyphenylene-sulphide (PPS) were used for interlay toughening unidirectional (UD) non-crimp fabric (NCF) laminates that manufa...

When participants allocated time across two tasks (in which they generated as many words as possible from a fixed set of letters) they made frequent switches. This allowed them to allocate more time to the more productive task (i.e. the set of letters from which more words could be generated), even though times between the last word and the switch decision (“giving-up times”) were higher in the...

We consider the problem of interleaving sequences of real numbers in order to maximize the minimum, over all preexes p of the interleaved sequence, of the sum of the numbers in p. A simple and eecient solution is given. This problem is motivated by a resource scheduling application, and a special case of the scheduling problem is reduced to the interleaving problem.