Sequentialization is one of the most promising approaches for the symbolic analysis of concurrent programs. However, existing sequentializations assume sequential consistency, which modern hardware architectures no longer guarantee. In this paper we describe an approach to embed weak memory models within eager sequentializations. Our approach is based on the separation of intrathread computatio...

Recent approaches to fault detection and isolation for dynamic systems using methods of integrating quantitative and qualitative model information, based upon soft computing (SC) methods are surveyed. In this study, the use of SC methods is considered an important extension to the quantitative model-based approach for residual generation in FDI. When quantitative models are not readily availabl...

Supply chain maturity models attempt to disseminate best practices in supply chain management (SCM). One basic idea behind these models is that increased maturity will lead to improved supply chain performance, which in turn will lead to improved financial performance. There is, however, little empirical evidence about the relationship between supply chain (SC) maturity and financial performanc...

this paper reports on the use of artificial neural networks (ann) and partial least squareregression (pls) combined with nir spectroscopy (900-1700 nm) to design calibration models for thedetermination of sugar content in sugar beet. in this study a total of 80 samples were used as the calibration set,whereas 40 samples were used for prediction. three pre-processing methods, including multiplic...

Modern multi-core processors equipped with weak memory models seemingly reorder instructions (with respect to program order) due to built-in optimizations. For concurrent programs, weak memory models thereby produce interleaved executions which are impossible on sequentially consistent (SC) memory. Verification of concurrent programs consequently needs to take the memory model of the executing ...

Sequentialization is one of the most promising approaches for the symbolic analysis of concurrent programs. However, existing sequentializations assume sequential consistency, which modern hardware architectures no longer guarantee. In this paper we describe an approach to embed weak memory models within eager sequentializations (a la Lal/Reps). Our approach is based on the separation of intra-...

In this paper, we apply continuous review (S-1, S) policy for inventory control in a three-echelon supply chain (SC) including r identical retailers, a central warehouse with limited storage space, and two independent manufacturing plants which offer two kinds of product to the customer. The warehouse of the model follows (M/M/1) queue model where customer demands follow a Poisson probabilit...