An Efficient Verification Method for Microprocessors Based on the Virtual Machine

2005 ◽  
pp. 514-521 ◽  
Author(s):  
Jianfeng An ◽  
Xiaoya Fan ◽  
Shengbing Zhang ◽  
Danghui Wang
Keyword(s):  
Virtual Machine ◽  
Verification Method ◽  
Efficient Verification

scholarly journals Partially materialized digest scheme: an efficient verification method for outsourced databases

2008 ◽  
Vol 18 (1) ◽  
pp. 363-381 ◽  
Author(s):  
Kyriakos Mouratidis ◽  
Dimitris Sacharidis ◽  
HweeHwa Pang
Keyword(s):  
Verification Method ◽  
Efficient Verification ◽  
Outsourced Databases

SU-E-T-148: Efficient Verification Method for Modulated Electron Radiotherapy Treatment Plans

2014 ◽  
Vol 41 (6Part13) ◽  
pp. 256-257
Author(s):  
D Henzen ◽  
C Chatelain ◽  
P Manser ◽  
D Frei ◽  
W Volken ◽  
...  
Keyword(s):  
Verification Method ◽  
Treatment Plans ◽  
Efficient Verification ◽  
Electron Radiotherapy ◽  
Radiotherapy Treatment

Texture measurements in Al2O3 using BEKP

1994 ◽  
Vol 52 ◽  
pp. 608-609
Author(s):  
M. D. Vaudin ◽  
J. P. Cline
Keyword(s):  
Neutron Diffraction ◽  
Rapid Method ◽  
Crystallographic Orientation ◽  
Specimen Surface ◽  
X Ray Diffraction ◽  
Anisotropic Crystal ◽  
X Ray ◽  
Verification Method ◽  
Crystal Properties ◽  
Backscattered Electron

The study of preferred crystallographic orientation (texture) in ceramics is assuming greater importance as their anisotropic crystal properties are being used to advantage in an increasing number of applications. The quantification of texture by a reliable and rapid method is required. Analysis of backscattered electron Kikuchi patterns (BEKPs) can be used to provide the crystallographic orientation of as many grains as time and resources allow. The technique is relatively slow, particularly for noncubic materials, but the data are more accurate than any comparable technique when a sufficient number of grains are analyzed. Thus, BEKP is well-suited as a verification method for data obtained in faster ways, such as x-ray or neutron diffraction. We have compared texture data obtained using BEKP, x-ray diffraction and neutron diffraction. Alumina specimens displaying differing levels of axisymmetric (0001) texture normal to the specimen surface were investigated.BEKP patterns were obtained from about a hundred grains selected at random in each specimen.

The Effect of Investments and Risk Based Capital (RBC) of Tabarru Funds on Company (Case Study of Sharia Insurance in Indonesia for 2014-2019)

2020 ◽  
Vol 8 (1) ◽  
pp. 87-97
Author(s):  
Nana Diana ◽  
Tati Apriani
Keyword(s):  
Life Insurance ◽  
Statistical Tests ◽  
Linear Regression Analysis ◽  
Sampling Technique ◽  
Multiple Linear Regression Analysis ◽  
Insurance Companies ◽  
Coefficient Of Determination ◽  
Verification Method ◽  
Investment Returns ◽  
The Government

This study aims to examine the influence of investment returns and Risk Based Capital (RBC) Tabarru Funds to the profit of sharia life insurance in Indonesia from 2014-2019. This study The type of this research is quantitative research with descriptive verification as a method. This research method uses descriptive verification method with quantitative approach. The data used in this study were sourced from the financial statements of Islamic life insurance companies in Indonesia for the 2014-2019 period. Then the data obtained were analyzed using multiple linear regression analysis and hypothesis testing consisting of t test and f test with the help of SPSS 21 software. The sampling technique uses non probability sampling with purposive sampling technique. Based on the results of the study it can be seen that the development of investment returns on Sharia Life Insurance in Indonesia has fluctuated and even suffered losses. While the development of Risk Based Capital (RBC) has increased and decreased but overall above 120% as determined by the government. Likewise, the profits earned in each year fluctuate. The results of statistical tests show that investment results partially have a positive effect on profit and Risk Based Capital (RBC) of Tabarru funds partially has a negative effect on profit. Simultaneously investment return and Risk Based Capital (RBC) affect on profit. In addition, the results of the coefficient of determination (R2) were obtained which obtained a value of 81%. This shows that the variable investment returns and Risk Based Capital (RBC) can affect earnings by 81% and the remaining 19% is influenced by other variables not used in this study.

A Hybrid Approach for Virtual Machine Migration in Cloud Computing Environment

2017 ◽  
Vol 7 (9) ◽  
pp. 30 ◽  
Author(s):  
Ramandeep Kaur
Keyword(s):  
Cloud Computing ◽  
Virtual Machine ◽  
Heuristic Algorithms ◽  
Hybrid Approach ◽  
Cloud Infrastructure ◽  
Virtual Machine Migration ◽  
Bee Colony ◽  
Effective Manner ◽  
Effective Performance

A lot of research has been done in the field of cloud computing in computing domain.  For its effective performance, variety of algorithms has been proposed. The role of virtualization is significant and its performance is dependent on VM Migration and allocation. More of the energy is absorbed in cloud; therefore, the utilization of numerous algorithms is required for saving energy and efficiency enhancement in the proposed work. In the proposed work, green algorithm has been considered with meta heuristic algorithms, ABC (Artificial Bee colony .Every server has to perform different or same functions. A cloud computing infrastructure can be modelled as Primary Machineas a set of physical Servers/host PM1, PM2, PM3… PMn. The resources of cloud infrastructure can be used by the virtualization technology, which allows one to create several VMs on a physical server or host and therefore, lessens the hardware amount and enhances the resource utilization. The computing resource/node in cloud is used through the virtual machine. To address this problem, data centre resources have to be managed in resource -effective manner for driving Green Cloud computing that has been proposed in this work using Virtual machine concept with ABC and Neural Network optimization algorithm. The simulations have been carried out in CLOUDSIM environment and the parameters like SLA violations, Energy consumption and VM migrations along with their comparison with existing techniques will be performed.

Sign in / Sign up

Export Citation Format

Share Document