نتایج جستجو برای: stet buffer
تعداد نتایج: 42947 فیلتر نتایج به سال:
in the past 25 years, rising of the caspian sea level, part of a natural treat to the sea, has inundated and destroyed many buildings and arable lands and threatened many inhabitations in coastal areas. the main reason for these damages is that the law-setback has lost its efficiency and human activities have proceeded seaward. the goal of this study is to introduce a proper setback line for th...
Scientific discoveries are increasingly dependent upon the analysis of large volumes of data from observations and simulations of complex phenomena. Scientists compose the complex analyses as workflows and execute them on largescale HPC systems. The workflow structures are in contrast with monolithic single simulations that have often been the primary use case on HPC systems. Simultaneously, ne...
HEALERS is a practical, high-performance toolkit that can enhance the robustness and security of existing applications. For any shared library, it can find all functions defined in that library and automatically derives properties for those functions. Through automated faultinjection experiments, it can detect arguments that cause the library to crash and derive safe argument types for each fun...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید