نتایج جستجو برای: deviation of program execution
تعداد نتایج: 21207786 فیلتر نتایج به سال:
This paper presents a proof system for reasoning about execution time bounds core imperative programming language. Proof systems are defined three different scenarios: approximations of the worst-case time, exact reasoning, and less pessimistic estimation using amortized analysis. We define Hoare logic cases prove its soundness with respect to an annotated cost-aware operational semantics. Fina...
abstract this mixed method study examines whether there is any relationship among the variables of the study (job satisfaction, social capital and motivation). the researcher considered job satisfaction and social capital as independent variables; motivation is the dependent variable of the study. the researcher applied a questionnaire to assess each variable. to measure efl teachers’ job sati...
recent years have witnessed an increased attention to form focused instruction and consciousness raising activities (ellis, 2002; doughty & williams, 1998) on the one hand and extensive and meaningful exposure to the target language (klapper & rees, 2003; day & bamford, 1998) on the other. due to significance attributed to above mentioned issues by scholars, this study attempted to bridge them ...
Haulage in open-pit mines allocates half of operational costs. Improvement in this system has significant effects in decrease of costs and increase of efficiency. Productivity in mines is a mixture of machinery efficiency and implementation of production strategies. In this paper after classifying dispatching models in open-pit mines, a new mathematical model will be introduced, to execute at t...
nowadays, robots account for most part of our lives in such a way that it is impossible for usto do many of affairs without them. increasingly, the application of robots is developing fastand their functions become more sensitive and complex. one of the important requirements ofrobot use is a reliable software operation. for enhancement of reliability, it is a necessity todesign the fault toler...
A sodium silicate-based chemical grout was used in the Karkheh dam site in order to examine the performance of the chemical grouting technique for stabilization of the dam's filter material. Karkheh, an embankment dam with the reservoir capacity of about 7.4 billion cubic meter at the maximum water level, is the largest dam in Iran. The grouting works performed at the dam site, were part of the...
Background and aims The HCS standard includes listing of chemicals, labeling of chemical containers, preparation of material safety data sheets, writing plan and employee training programs. The aim of this study was to determine the influence of implemented program to enhance the knowledge and safety performance level of employees. Methods The knowledge level and unsafe act ratio were...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید