We present a parametric groundness analysis whose input and output are parameterized by a set of groundness parameters. The result of the analysis can be instantiated for different uses of the program. It can also be used to derive sufficient conditions for safely removing groundness checks for built-in calls in the program. The parametric groundness analysis is obtained by generalizing a non-p...

In this study, we present a new framework of runtime enforcement of security policies. Building on previous studies, we examine the enforcement power of monitors capable of transforming their target’s execution. We bound this ability by a restriction stating that any transformation must preserve equivalence between the monitor’s input and output. We proceed by giving examples of meaningful equi...

Article history: Received 11 March 2008 Received in revised form 10 November 2008 Accepted 30 January 2010 Available online xxxx

In this paper, a Gaussian multiple input multiple output multiple eavesdropper (MIMOME) channel is considered where a transmitter communicates to a receiver in the presence of an eavesdropper. We present a technique for determining the secrecy capacity of the multiple input multiple output (MIMO) channel under Gaussian noise. We transform the degraded MIMOME channel into multiple single input m...

In this paper, we have measured channel capacity for various communication system such as SISO, SIMO, MIMO with different modulation technique like BPSK, QPSK, 16-QAM and 64-QAM. In the proposed algorithm the Bit Error Rate (BER) is less compared to conventional algorithm. The proposed algorithm is suitable for fast speed traffic that is when the speed of the mobile is very high. We have measur...

In this study, the Input- Output Structural Decomposition Analysis (I-O SDA) is used to investigate the effects of technological structure changes on changes of total output in Sistan and Baluchestan Province during 2006-2011. The technological structure change is decomposed into two factors: intermediate input structure changes (input substitution) and change in direct backward linkage. The re...

in this paper, a reaction system consisting of two parallel, non-isothermal autocatalytic reactions in a continuous stirred tank reactor (cstr) has been considered. reactor chaotic behavior is possible for certain values of system parameters. two types of controllers are designed and compared in order to control both the reactor temperature and the product concentration. the first controller is...

because of the piecewise linear nature of the data envelopment analysis (dea) frontier, the optimal multipliers of the dea models may not be unique. choosing weights from alternative optimal solutions of dual multiplier models is one of the most frequently studied subjects in the context of dea. in this paper, the authors have been inspired by the idea of cooper et al. (2011) to propose a linea...

this project describes the steps to process a Bayer raw sensor output image which is noisy, undersampled, and blurred. The final output is a de-noised, de-blurred, and upsampled version of the input image. Some of the in-between steps include lens shading correction, color balancing, demosaicing, color correction, etc. Keywords—raw image ; deblurring ; denoising ; image deconvolution ;