Journal articles on the topic 'Automatic Static Analysi'
Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles
Consult the top 50 journal articles for your research on the topic 'Automatic Static Analysi.'
Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.
You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.
Browse journal articles on a wide variety of disciplines and organise your bibliography correctly.
Li, Wei, Decheng Wang, and Peng Cheng. "Design and Research of Automatic Tool Changer System for Multistation Spring Forming Machine." Journal of Robotics 2020 (December 1, 2020): 1–9. http://dx.doi.org/10.1155/2020/4635056.
Full textTatasciore, Monica, Vanessa K. Bowden, Troy A. W. Visser, Stephanie Chen, and Shayne Loft. "The Effect of the Degree of Static Automation in Simulated Submarine Track Management." Proceedings of the Human Factors and Ergonomics Society Annual Meeting 62, no. 1 (September 2018): 1668. http://dx.doi.org/10.1177/1541931218621378.
Full textG, Anil Reddy, Balakathikeyan B, Sri Ram S, Dr R. P. S. Manikandan, Dr S. Prakash, and Mr B. Varun Kumar. "Automatic Water Saving Irrigation System Using IoT." International Journal for Research in Applied Science and Engineering Technology 10, no. 2 (February 28, 2022): 1157–60. http://dx.doi.org/10.22214/ijraset.2022.40469.
Full textPackevičius, Šarūnas, Greta Rudžionienė, and Eduardas Bareiša. "Automated Visual Testing of Application User Interfaces Using Static Analysis of Screenshots." International Journal of Software Engineering and Knowledge Engineering 31, no. 02 (February 2021): 167–91. http://dx.doi.org/10.1142/s0218194021500042.
Full textTesfatsion, Leigh. "Nonlocal automated comparative static analysis." Computer Science in Economics and Management 5, no. 4 (November 1992): 313–31. http://dx.doi.org/10.1007/bf00436585.
Full textRama, Mr V. Seetha. "Precision Agriculture using IOT." International Journal for Research in Applied Science and Engineering Technology 9, no. VII (July 10, 2021): 122–27. http://dx.doi.org/10.22214/ijraset.2021.36255.
Full textCui, Bing Yan, Li Wen Chen, Zhi Jun Wang, Yuan Hao Zhao, Li Zhan Xian, and Zhen Lin Jin. "Analysis of Statics and Design of Structur Parameters for a Bionic Robot Hip Joint." Journal of Biomimetics, Biomaterials and Biomedical Engineering 22 (March 2015): 3–12. http://dx.doi.org/10.4028/www.scientific.net/jbbbe.22.3.
Full textLIANG, Guang-Tai, Na MENG, Jin-Hui LI, Hao ZHONG, Lu ZHANG, and Qian-Xiang WANG. "A Semi-Automatic Extensible Static Defect Analysis Tool." Chinese Journal of Computers 34, no. 6 (September 6, 2011): 1114–25. http://dx.doi.org/10.3724/sp.j.1016.2011.01114.
Full textRavitch, Tristan, Steve Jackson, Eric Aderhold, and Ben Liblit. "Automatic generation of library bindings using static analysis." ACM SIGPLAN Notices 44, no. 6 (May 28, 2009): 352–62. http://dx.doi.org/10.1145/1543135.1542516.
Full textBozga, Marius, Jean-Claude Fernandez, and Lucian Ghirvu. "Using static analysis to improve automatic test generation." International Journal on Software Tools for Technology Transfer (STTT) 4, no. 2 (February 1, 2003): 142–52. http://dx.doi.org/10.1007/s10009-002-0098-x.
Full textSun, Hongwei, Chao Liu, Benshun Zhang, Yiming Chen, Sibo Zhao, and Chengdong Li. "Static and modal analysis of industrial robots." Journal of Physics: Conference Series 2174, no. 1 (January 1, 2022): 012086. http://dx.doi.org/10.1088/1742-6596/2174/1/012086.
Full textRevnivykh, Aleksandr Vladimirovich, and Anatolii Sergeevich Velizhanin. "Methods for automated formation of a disassembled listing structure." Кибернетика и программирование, no. 2 (February 2019): 1–16. http://dx.doi.org/10.25136/2306-4196.2019.2.28272.
Full textLv, Dong Qing. "Finite Element Static Analysis of YP2080 Automatic Hydraulic Press." Applied Mechanics and Materials 556-562 (May 2014): 1046–49. http://dx.doi.org/10.4028/www.scientific.net/amm.556-562.1046.
Full textKataev, Nikita Andreevich, Alexander Andreevich Smirnov, and Andrey Dmitrievich Zhukov. "Investigation of Data Dependencies by Dynamic Analysis of Sapfor." Russian Digital Libraries Journal 23, no. 3 (May 9, 2020): 473–93. http://dx.doi.org/10.26907/1562-5419-2020-23-3-473-493.
Full textBunus, Peter, and Peter Fritzson. "Automated Static Analysis of Equation-Based Components." SIMULATION 80, no. 7-8 (July 2004): 321–45. http://dx.doi.org/10.1177/0037549704046340.
Full textSNEZHKO, V. L., and D. M. BENIN. "AUTOMATED MEASURING COMPLEX FOR MONITORING THE LEVEL MODE OF CHANNELS AND ATMOSPHERIC PARAMETERS." Prirodoobustrojstvo, no. 5 (2022): 6–14. http://dx.doi.org/10.26897/1997-6011-2022-5-6-14.
Full textOlender, K. M., and L. J. Osterweil. "Cecil: a sequencing constraint language for automatic static analysis generation." IEEE Transactions on Software Engineering 16, no. 3 (March 1990): 268–80. http://dx.doi.org/10.1109/32.48935.
Full textSalmi, Tapani, and Lea Leinonen. "Automatic analysis of sleep records with static charge sensitive bed." Electroencephalography and Clinical Neurophysiology 64, no. 1 (July 1986): 84–87. http://dx.doi.org/10.1016/0013-4694(86)90047-7.
Full textHuang, Ning, Shuguang Huang, and Chao Chang. "Automatic Generation of ROP Through Static Instructions Assignment and Dynamic Memory Analysis." International Journal of Digital Crime and Forensics 13, no. 2 (March 2021): 57–76. http://dx.doi.org/10.4018/ijdcf.2021030104.
Full textZhang, Chunyan, Qinglei Zhou, Yizhao Huang, Ke Tang, Hairen Gui, and Fudong Liu. "Automatic Detection of Android Malware via Hybrid Graph Neural Network." Wireless Communications and Mobile Computing 2022 (May 11, 2022): 1–11. http://dx.doi.org/10.1155/2022/7245403.
Full textThomson, Patrick. "Static Analysis: An Introduction." Queue 19, no. 4 (August 31, 2021): 29–41. http://dx.doi.org/10.1145/3487019.3487021.
Full textRiggs, H. R., and T. Leraand. "Efficient Static Analysis and Design of Flexible Risers." Journal of Offshore Mechanics and Arctic Engineering 113, no. 3 (August 1, 1991): 235–40. http://dx.doi.org/10.1115/1.2919925.
Full textCésar, Eduardo, Anna Morajko, Tomàs Margalef, Joan Sorribes, Antonio Espinosa, and Emilio Luque. "Dynamic Performance Tuning Supported by Program Specification." Scientific Programming 10, no. 1 (2002): 35–44. http://dx.doi.org/10.1155/2002/549617.
Full textHeckman, Sarah Smith. "Adaptively ranking alerts generated from automated static analysis." XRDS: Crossroads, The ACM Magazine for Students 14, no. 1 (September 2007): 1–11. http://dx.doi.org/10.1145/1349332.1349339.
Full textCraven, Mark A., and Julian W. Gardner. "Rapid static headspace sampler for automated odour analysis." Transactions of the Institute of Measurement and Control 20, no. 2 (April 1998): 67–73. http://dx.doi.org/10.1177/014233129802000203.
Full textZhang, Hui Feng, Li Wen Guan, and Tie Min Li. "Dynamic Analysis and Optimization of Automatic Tape-Laying (ATL) Machine for Cylinder Components." Applied Mechanics and Materials 138-139 (November 2011): 9–14. http://dx.doi.org/10.4028/www.scientific.net/amm.138-139.9.
Full textHan, Seung Ho, So Young Shin, Tae Hee Lee, Sang Boo Lee, and Tae Woo Kwon. "Fatigue Durability Analysis Based on FE Modeling Support System for Arc-Welded Members in Automobile Suspension Module." Key Engineering Materials 353-358 (September 2007): 2065–68. http://dx.doi.org/10.4028/www.scientific.net/kem.353-358.2065.
Full textWang, Zhong Shuang, Yang Yang Tao, and Quan Yi Wen. "A Vector Bond Graph Method of Kineto-Static Analysis for Spatial Multibody Systems." Applied Mechanics and Materials 321-324 (June 2013): 1725–29. http://dx.doi.org/10.4028/www.scientific.net/amm.321-324.1725.
Full textHan, Liang, Jia Li, and Lei Xiang Zhang. "Design and Study on the Automatic Extrusion Device for Curved Chassis of Vibratory Feeder." Applied Mechanics and Materials 198-199 (September 2012): 1298–301. http://dx.doi.org/10.4028/www.scientific.net/amm.198-199.1298.
Full textKim, Sungjoong, Seongkyu Yeom, Haengrok Oh, Dongil Shin, and Dongkyoo Shin. "Automatic Malicious Code Classification System through Static Analysis Using Machine Learning." Symmetry 13, no. 1 (December 28, 2020): 35. http://dx.doi.org/10.3390/sym13010035.
Full textYan, Dongmei. "Research of Automatic Scoring of Student Programs Based on Static Analysis." Journal of Electrical and Electronic Engineering 6, no. 2 (2018): 53. http://dx.doi.org/10.11648/j.jeee.20180602.13.
Full textJeusette, Jean-Pierre, Gottfried Laschet, and Sergio Idelsohn. "An effective automatic incremental/iterative method for static nonlinear structural analysis." Computers & Structures 32, no. 1 (January 1989): 125–35. http://dx.doi.org/10.1016/0045-7949(89)90077-1.
Full textGargot, T. "Diagnostic automated algorithms in neurodevelopmental disorders: Focus on automatic motor assessment." European Psychiatry 64, S1 (April 2021): S18—S19. http://dx.doi.org/10.1192/j.eurpsy.2021.72.
Full textXi, Yan, and Qin Xing. "Automatic Electromechanical Control System Based on PLC Technology." Journal of Physics: Conference Series 2143, no. 1 (December 1, 2021): 012037. http://dx.doi.org/10.1088/1742-6596/2143/1/012037.
Full textLiu, Guosong, and Junlin Wang. "Improvement of Automatic Calculation Method of CASE Bearing Capacity." Advances in Civil Engineering 2021 (August 27, 2021): 1–8. http://dx.doi.org/10.1155/2021/3667193.
Full textSyaifudin, Achmad, Betti Mawar Kalista, and Agus Windharto. "Analisis deformasi pada coupling element dari automatic mechanical coupler: studi kasus LRT Palembang." Jurnal Teknik Mesin Indonesia 14, no. 2 (October 7, 2019): 58. http://dx.doi.org/10.36289/jtmi.v14i2.132.
Full textSchlie, Alexander, Safa Bougouffa, Juliane Fischer, Ina Schaefer, and Birgit Vogel-Heuser. "Change analysis on evolving PLC software in automated production systems." at - Automatisierungstechnik 66, no. 10 (October 25, 2018): 806–18. http://dx.doi.org/10.1515/auto-2018-0037.
Full textПоляков, Александр, Aleksandr Polyakov, Антон Гончаров, Anton Goncharov, Игорь Парфёнов, and Igor' Parfenov. "TECHNIQUE FOR CORRECTION OF CNC MACHINE TOOL TEMPERATURE ER-ROR." Bulletin of Belgorod State Technological University named after. V. G. Shukhov 4, no. 3 (April 10, 2019): 117–27. http://dx.doi.org/10.34031/article_5ca1f634ef76c8.31770383.
Full textIvković, Milan, Vladimir Milovanović, Bogdan Nedić, and Stefan Đurić. "Load of remote controlled battle station upper carriage with integrated automatic grenade launcher." Scientific Technical Review 72, no. 2 (2022): 27–31. http://dx.doi.org/10.5937/str2202027i.
Full textGimatdinov, Damir Maratovich, Alexander Yurievich Gerasimov, Petr Alekseevich Privalov, Veronika Nikolaevna Butkevich, Natalya Andreevna Chernova, and Anna Antonovna Gorelova. "An Automated Framework for Testing Source Code Static Analysis Tools." Proceedings of the Institute for System Programming of the RAS 33, no. 3 (2021): 41–50. http://dx.doi.org/10.15514/ispras-2021-33(3)-3.
Full textWang, Tiantian, Djoko Budi Santoso, Kechao Wang, and Xiaohong Su. "Automatic Grading for Complex Multifile Programs." Complexity 2020 (June 13, 2020): 1–15. http://dx.doi.org/10.1155/2020/3279053.
Full textZougari, Soundous, Mariam Tanana, and Abdelouahid Lyhyaoui. "Validity of a graph-based automatic assessment system for programming assignments: human versus automatic grading." International Journal of Electrical and Computer Engineering (IJECE) 12, no. 3 (June 1, 2022): 2867. http://dx.doi.org/10.11591/ijece.v12i3.pp2867-2875.
Full textSZABOLCSI, Róbert. "HANDLING DYNAMIC NONLINEARITIES IN UAV AUTOMATIC FLIGHT CONTROL SYSTEMS." Review of the Air Force Academy XX, no. 1 (December 22, 2022): 43–52. http://dx.doi.org/10.19062/1842-9238.2022.20.1.5.
Full textJu, Jin San, Xiu Gen Jiang, and Xiang Rong Fu. "Fracture Analysis for Damaged Aircraft Fuselage Subjected to Blast." Key Engineering Materials 348-349 (September 2007): 705–8. http://dx.doi.org/10.4028/www.scientific.net/kem.348-349.705.
Full textLv, Dong Qing. "The Finite Element Analysis on the Crossbeam of Full Automatic Hydraulic Tile Press." Advanced Materials Research 605-607 (December 2012): 397–400. http://dx.doi.org/10.4028/www.scientific.net/amr.605-607.397.
Full textPavlenko, Ivan. "Static and Dynamic Analysis of the Closing Rotor Balancing Device of the Multistage Centrifugal Pump." Applied Mechanics and Materials 630 (September 2014): 248–54. http://dx.doi.org/10.4028/www.scientific.net/amm.630.248.
Full textSong, Tianhong, Sven Köhler, Bertram Ludäscher, James Hanken, Maureen Kelly, David Lowery, James A. Macklin, Paul J. Morris, and Robert A. Morris. "Towards Automated Design, Analysis and Optimization of Declarative Curation Workflows." International Journal of Digital Curation 9, no. 2 (October 29, 2014): 111–22. http://dx.doi.org/10.2218/ijdc.v9i2.337.
Full textPradhan, S. K., Amit Kumar, and A. N. Sinha. "Some Analysis of Automated Guided Vehicle." Applied Mechanics and Materials 592-594 (July 2014): 2225–28. http://dx.doi.org/10.4028/www.scientific.net/amm.592-594.2225.
Full textWang, Ya Ning, and Lan Nan Xiao. "Research on Automatic Scoring Methods for Programs Based on Program Understanding." Applied Mechanics and Materials 513-517 (February 2014): 2054–58. http://dx.doi.org/10.4028/www.scientific.net/amm.513-517.2054.
Full textLiu, Yun Han, Zhang Yong Wu, Xian Wang, Zhen Hua Duan, Xiao Yan Gao, and Jin Tao Qu. "Design and Performance Analysis Based on High-Speed Switching Valve of Magnetorheological Plug-Mounted." Advanced Materials Research 630 (December 2012): 106–9. http://dx.doi.org/10.4028/www.scientific.net/amr.630.106.
Full text