Results 21 to 30 of about 23,085,941 (290)
StaticFixer: From Static Analysis to Static Repair
CoRR, 2023 Static analysis tools are traditionally used to detect and flag programs that violate properties. We show that static analysis tools can also be used to perturb programs that satisfy a property to construct variants that violate the property. Using this insight we can construct paired data sets of unsafe-safe program pairs, and learn strategies to ...
Naman Jain +7 more
openaire +2 more sources
A Study on Optimal Power System Reinforcement Measures Following Renewable Energy Expansion
Energies, 2020 Renewable energy generation capacity in Korea is expected to reach about 63.8 GW by 2030 based on calculations using values from a power plan survey (Korea’s renewable energy power generation project plan implemented in September 2017) and the “3020 ...
Hyuk-Il Kwon +2 more
doaj +1 more source
Static Analysis of Steel Plates and Sections Retrofitted with FRP Plates by Finite Elements Modelling [PDF]
Journal of Structural and Construction Engineering, 2019 Nowadays the use of FRP composites for strengthening steel structures has been considered by researchers. In present study, The maximum deformation of steel plates and structural sections before and after strengthening by GFRP plates was evaluated by ...
Hossein Amoushahi, Mohammad Ghasemitabar
doaj +1 more source
The Journal of Logic and Algebraic Programming, 2012 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Nataliya Skrypnyuk +2 more
openaire +3 more sources
Static Analysis of Android Programs [PDF]
Information and Software Technology, 2011 Context: Android is a programming language based on Java and an operating system for embedded and mobile devices, whose upper layers are written in the Android language itself. As a language, it features an extended eventbased library and dynamic inflation of graphical views from declarative XML layout files. A static analyzer for Android programs must
E. Payet, SPOTO, Nicola Fausto
openaire +6 more sources
Static analysis of deterministic negotiations [PDF]
2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2017 To appear in the Proceedings of LICS 2017, IEEE Computer ...
Javier Esparza +2 more
openaire +4 more sources
Nonlinear Bending Behavior of Functionally Graded Plates Combined with Active Fiber Composites under Thermal Environment [PDF]
Mechanics of Advanced Composite Structures, 2021 The present paper describes the study of nonlinear bending characteristics of smart Functionally Graded (FG) plates combined with piezoelectric composites.
N. Pradhan, Saroj Sarangi
doaj +1 more source
QuickChecking static analysis properties [PDF]
Software Testing, Verification and Reliability, 2015 SummaryA static analysis can check programs for potential errors. A natural question that arises is therefore: who checks the checker? Researchers have given this question varying attention, ranging from basic testing techniques, informal monotonicity arguments, thorough pen‐and‐paper soundness proofs, to verified fixed point checking.
Jan Midtgaard, Anders Møller
openaire +5 more sources
Static and Dynamic Analysis of a Pump Impeller with a Balancing Device Part I: Static Analysis [PDF]
, 2014 This part of the work presents the design and static analysis of an impeller for a single-stage pump. The impeller is directly connected with a balancing device. The impeller needs to have a properly designed system of longitudinal and lateral clearances
Kundera, C. +3 more
core +1 more source
Optimization study of shape of translational shell of square plan
Structural Mechanics of Engineering Constructions and Buildings, 2019 The aim of the work. The static analysis and comparison of the results for translational shells under equally distributed load of dead weight are provided. The shells of the similar general dimensions in plan and rise of four different types: translation
Evgeniya M. Tupikova
doaj +1 more source