نتایج جستجو برای: static phase
تعداد نتایج: 699250 فیلتر نتایج به سال:
The Astrée static analyzer is a specialized tool that can prove the absence of runtime errors, including arithmetic overflows, in large critical programs. Keeping analysis times reasonable for industrial use is one of the design objectives. In this paper, we discuss the parallel implementation of the analysis.
ASTRÉE was the first static analyzer able to prove automatically the total absence of runtime errors of actual industrial programs of hundreds of thousand lines. What makes ASTRÉE such an innovative tool is its scalability, while retaining the required precision, when it is used to analyze a specific class of programs: that of reactive control-command software. In this paper, we discuss the imp...
Introduction and purpose: The ability of the elderly to maintain balance during cognitive activity changes. Given the importance of recognizing the nature of the balance disorder among the elderly and the importance of verbal commands in rehabilitating such disorders, the purpose of this study was to investigate the Effectiveness of Dual Task and Focus of Attention Intervention on Balance in El...
The objective of this paper is to control the phase shifting by applying a bias DC voltage and changing the mechanical characteristics in electrostatically-actuated micro-beams. This problem can be more useful in the design of micro-phase shifters, which has not generally been investigated their mechanical behavior. By presenting a mathematical modeling, Galerkin-based step by step linearizatio...
In this letter, we consider static black hole in f(R) gravity.We take advantage from corrected entropy and temperature and investigate such black hole. Finally, we study the $ P - V $ critically and phase transition of corrected black hole with respect to entropy and temperature. Here also, we obtain the heat capacity for the static black hole in $ f(R) $ gravity. This calculation help us...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید