An array content static analysis based on non-contiguous partitions
نویسندگان
چکیده
منابع مشابه
An array content static analysis based on non-contiguous partitions
Conventional array partitioning analyses split arrays into contiguous partitions to infer properties of sets of cells. Such analyses cannot group together non contiguous cells, even when they have similar properties. In this paper, we propose an abstract domain which utilizes semantic properties to split array cells into groups. Cells with similar properties will be packed into groups and abstr...
متن کاملAbstraction of Arrays Based on Non Contiguous Partitions
ion of Arrays Based on Non Contiguous Partitions Jiangchao Liu, Xavier Rival To cite this version: Jiangchao Liu, Xavier Rival. Abstraction of Arrays Based on Non Contiguous Partitions. 15th Conference on Verification, Model Checking, and Abstract Interpretation, Jan 2015, Mumbai, India. Springer, pp.282 299, 2015, Proceedings of the 15th Conference on Verification, Model Checking, and Abstract...
متن کاملan infinite planar array of rectangular microstrip patch antenna analysis
the methods which are used to analyze microstrip antennas, are divited into three categories: empirical methods, semi-empirical methods and full-wave analysis. empirical and semi-empirical methods are generally based on some fundamental simplifying assumptions about quality of surface current distribution and substrate thickness. thses simplificatioms cause low accuracy in field evaluation. ful...
15 صفحه اولAn Energy Based Adaptive Pushover Analysis for Nonlinear Static Procedures
Nonlinear static procedure (NSP) is a common technique to predict seismic demands on various building structures by subjecting a monotonically increasing horizontal loading (pushover) to the structure. Therefore, the pushover analysis is an important part of each NSP. Accordingly, the current paper aims at investigating the efficiencyof various algorithms of lateral load patterns applied to the...
متن کاملPhased array ultrasonic imaging using an improved beamforming based total focusing method for non destructive test
One of the novel ultrasonic phased array based scanning methods for ultrasonic imaging in non-destructive test is total focusing method (TFM). This method employs maximum available information of the phased array elements and leads to an improved defect detection accuracy compared to conventional scanning methods. Despite its high detection accuracy, TFM behaves weak in distinguishing the real ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Computer Languages, Systems & Structures
سال: 2017
ISSN: 1477-8424
DOI: 10.1016/j.cl.2016.01.005