A semi-formal verification technique, which performs a brute-force compiled simulation with a sophisticated search space pruning, has been proposed and shown to be competitive with the state-of-the-art SAT-based verification techniques [3]. This paper presents a novel approach for accelerating the semi-formal verification by utilizing hardware/software co-execution. To maximize the gain from ha...

We complete the classification of binary patterns in partial words that was started in earlier publications by proving that the partial word avoidability index of the binary pattern ABABA is two and the one of the binary pattern ABBA is three.

Factorial designs are arguably the most widely used designs in scientific investigations. Generalized minimum aberration (GMA) and uniformity are two important criteria for evaluating both regular and non-regular designs. The generation of GMA designs is a non-trivial problem due to the sequential optimization nature of the criterion. Based on an analytical expression between the generalized wo...

We analyze pattern formation in doubly resonant second-harmonic generation in the presence of a competing parametric process, also named the internally pumped optical parametric oscillator. Different scenarios are established where either the upor down-conversion processes dominate the spatiotemporal behavior. The possibility of obtaining exact solutions above threshold for the parametric oscil...

ORGANOHALOGEN COMPOUNDS – Volume 66 (2004) 278 Introduction Most of the PCB pollutions are caused by industrial application. PCB-containing mixtures whose compositions are well known and constant should be rapidly and precisely analyzable as total PCB to monitor real pollution exposure. Consequently, a simple but reproducible and cheap method for operative control is needed which should be peri...

in this paper to predict the critical conditions for onset of elastic-plastic wrinkling of flange of a two-layered circular blank during the deep-drawing process a closed-form semi-analytical elastic-plastic solution using tresca yield criterion alongwith deformation theory in plasticity with considernig the perfectly plastic behaviour of materials is presented. simplifying the presented soluti...

In this document we will describe a semiautomated process for creating elicitation corpora. An elicitation corpus is translated by a bilingual consultant in order to produce high quality word aligned sentence pairs. The corpus sentences are automatically generated from detailed feature structures using the GenKit generation program. Feature structures themselves are automatically generated from...

Assembly lines are one of the cornerstones modern production systems, significantly affecting global society, economy, and other ancillary sectors. This is why evaluation assembly particularly significant. Hence, research on modeling approaches presented in this paper, yielding an efficient mathematical tool that enables steady-state performance at low CPU cost. First, analytical model transiti...

With the advent of small-cell networks (SCNs) to support growing wireless data volumes and thus reduced cell sizes, cooperative communications are significantly facilitated. Applicable to Third Generation Partnership Project long-term evolution-A, the authors propose a novel channel/queue-aware user pairing and scheduling scheme in a cooperative virtual multiple-input–multiple-output (VMIMO) sy...

Timed usage models (TUMs) represent a model-based statistical approach for system testing of real-time embedded systems. They enable an automatic test case generation and the calculation of parameters that aid the test process. However, a classical TUM only supports sequential uses of the system under test (SUT). It is not capable of dealing with concurrency, which is required for state of the ...