Academic literature on the topic 'Static tool'
Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles
Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources on the topic 'Static tool.'
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.
Journal articles on the topic "Static tool"
Imbert, C. A. C., and H. J. McQueen. "Static Recrystallization of Tool Steels." Materials Science Forum 539-543 (March 2007): 4458–63. http://dx.doi.org/10.4028/www.scientific.net/msf.539-543.4458.
Full textMilind Shinde, Mrunmayee, and A. S. Rao. "Static collision detection using visualization tool." Materials Today: Proceedings 5, no. 13 (2018): 27220–24. http://dx.doi.org/10.1016/j.matpr.2018.09.035.
Full textDewar, Robert B. K. "The compiler as a static analysis tool." ACM SIGAda Ada Letters XXVII, no. 3 (2007): 83–88. http://dx.doi.org/10.1145/1315607.1315601.
Full textKoshelev, V. K., V. N. Ignatiev, A. I. Borzilov, and A. A. Belevantsev. "SharpChecker: Static analysis tool for C# programs." Programming and Computer Software 43, no. 4 (2017): 268–76. http://dx.doi.org/10.1134/s0361768817040041.
Full textGawade, Makarand, K. Ravikanth, and Sanjeev Aggarwal. "Constantine: configurable static analysis tool in Eclipse." Software: Practice and Experience 44, no. 5 (2012): 537–63. http://dx.doi.org/10.1002/spe.2173.
Full textGuo, Ting Ting, Teng Jiao Sun, and Fang Shao. "Finite Element Analysis for Static Stiffness of a Crankshaft Grinding Machine Tool." Applied Mechanics and Materials 543-547 (March 2014): 76–79. http://dx.doi.org/10.4028/www.scientific.net/amm.543-547.76.
Full textThomson, Patrick. "Static Analysis: An Introduction." Queue 19, no. 4 (2021): 29–41. http://dx.doi.org/10.1145/3487019.3487021.
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 (2011): 1114–25. http://dx.doi.org/10.3724/sp.j.1016.2011.01114.
Full textFerreira, N. T. "49. Modelling tool to enhance static nutritional tables." Animal - science proceedings 13, no. 4 (2022): 569–70. http://dx.doi.org/10.1016/j.anscip.2022.07.440.
Full textWang, Li Ming, Ying Xian, Li Zhang, and Xi Yang Liu. "JSSlicer: A Static Program Slicing Tool for JavaScript." Applied Mechanics and Materials 241-244 (December 2012): 2690–95. http://dx.doi.org/10.4028/www.scientific.net/amm.241-244.2690.
Full textDissertations / Theses on the topic "Static tool"
Tao, Hongjing. "Static analyzer, a design tool for TROM." Thesis, National Library of Canada = Bibliothèque nationale du Canada, 1997. http://www.collectionscanada.ca/obj/s4/f2/dsk1/tape11/PQDD_0002/MQ44886.pdf.
Full textMorgenthaler, John David. "Static analysis for a software transformation tool /." Diss., Connect to a 24 p. preview or request complete full text in PDF format. Access restricted to UC campuses, 1997. http://wwwlib.umi.com/cr/ucsd/fullcit?p9804509.
Full textDutko, Adam M. "THE RELATIONAL DATABASE: A NEW STATIC ANALYSIS TOOL?" Cleveland State University / OhioLINK, 2011. http://rave.ohiolink.edu/etdc/view?acc_num=csu1313678735.
Full textBaca, Dejan. "Automated static code analysis : A tool for early vulnerability detection." Licentiate thesis, Karlskrona : Department of Systems and Software Engineering, School of Engineering, Blekinge Institute of Technology, 2009. http://urn.kb.se/resolve?urn=urn:nbn:se:bth-00429.
Full textEads, Joshua Michael. "EtherAnnotate: a transparent malware analysis tool for integrating dynamic and static examination." Diss., Rolla, Mo. : Missouri University of Science and Technology, 2010. http://scholarsmine.mst.edu/thesis/pdf/Eads_09007dcc807a2d75.pdf.
Full textGustafson, Christopher, and Sam Florin. "Qualification of Tool for Static Code Analysis : Processes and Requirements for Approval of Static Code Analysis in the Aviation Industry." Thesis, KTH, Skolan för elektroteknik och datavetenskap (EECS), 2020. http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-277941.
Full textAl, Awadi Wali. "An Assessment of Static and Dynamic malware analysis techniques for the android platform." Thesis, Edith Cowan University, Research Online, Perth, Western Australia, 2015. https://ro.ecu.edu.au/theses/1635.
Full textWoods, Brian Keith. "Development of an active pulsed radar receiver for a mono-static borehole-radar tool." Thesis, Stellenbosch : University of Stellenbosch, 2003. http://hdl.handle.net/10019.1/2512.
Full textSilva, Antonio Carlos Fernandes da. "ChipCflow: tool for convert C code in a static dataflow architecture in reconfigurable hardware." Universidade de São Paulo, 2015. http://www.teses.usp.br/teses/disponiveis/55/55134/tde-30062015-141638/.
Full textHubert, Laurent. "Foundations and implementation of a tool bench for static analysis of Java bytecode programs." Rennes 1, 2010. http://www.theses.fr/2010REN1S122.
Full textBooks on the topic "Static tool"
David, Finegold, United States. Office of Science and Technology Policy., and Critical Technologies Institute (Rand Corporation), eds. The decline of the U.S. machine-tool industry and prospects for its sustainable recovery. Rand, 1994.
Find full textUnited States. Internal Revenue Service. Ogden Service Center. Career Counseling Cadre. Managers' tool for career path counseling. Department of the Treasury, Internal Revenue Service, 1991.
Find full textUnited States. Dept. of Commerce. Office of Acquisition Management., ed. Annual performance management assessment tool (PMAT) report. U.S. Dept. of Commerce, Office of Acquisition Management, 1998.
Find full textUnited States. General Accounting Office. RCED., ed. A superfund tool for more efficient cleanups. The Office, 1996.
Find full textUnited States. General Accounting Office. RCED., ed. A superfund tool for more efficient cleanups. The Office, 1996.
Find full textUnited States. General Accounting Office. RCED, ed. A superfund tool for more efficient cleanups. The Office, 1996.
Find full textSheila, Martin. The effectiveness of state technology incentives: Evidence from the machine tool industry. Center for Agricultural and Rural Development, Iowa State University, 1994.
Find full textAdaskin, Anatoliy. Instrumental materials in mechanical engineering. INFRA-M Academic Publishing LLC., 2024. http://dx.doi.org/10.12737/1870562.
Full textBook chapters on the topic "Static tool"
Imbert, C. A. C., and H. J. McQueen. "Static Recrystallization of Tool Steels." In THERMEC 2006. Trans Tech Publications Ltd., 2007. http://dx.doi.org/10.4028/0-87849-428-6.4458.
Full textNordin, Magnus, Thomas Lindgren, and Håkan Millroth. "IGOR: A tool for developing Prolog dataflow analyzers." In Static Analysis. Springer Berlin Heidelberg, 1995. http://dx.doi.org/10.1007/3-540-60360-3_54.
Full textNielson, Flemming. "Semantics-directed program analysis: A tool-maker's perspective." In Static Analysis. Springer Berlin Heidelberg, 1996. http://dx.doi.org/10.1007/3-540-61739-6_30.
Full textFecht, Christian. "GENA — A tool for generating Prolog analyzers from specifications." In Static Analysis. Springer Berlin Heidelberg, 1995. http://dx.doi.org/10.1007/3-540-60360-3_53.
Full textBesson, Frédéric, Thomas Jensen, and Pierre Vittet. "SawjaCard: A Static Analysis Tool for Certifying Java Card Applications." In Static Analysis. Springer International Publishing, 2014. http://dx.doi.org/10.1007/978-3-319-10936-7_4.
Full textSpoto, Fausto. "Watchpoint Semantics: A Tool for Compositional and Focussed Static Analyses." In Static Analysis. Springer Berlin Heidelberg, 2001. http://dx.doi.org/10.1007/3-540-47764-0_8.
Full textHall, Robert J. "Open Modeling in Multi-stakeholder Distributed Systems: Research and Tool Challenges." In Static Analysis. Springer Berlin Heidelberg, 2002. http://dx.doi.org/10.1007/3-540-45789-5_2.
Full textPonce-de-León, Hernán, Florian Furbach, Keijo Heljanko, and Roland Meyer. "Portability Analysis for Weak Memory Models porthos: One Tool for all Models." In Static Analysis. Springer International Publishing, 2017. http://dx.doi.org/10.1007/978-3-319-66706-5_15.
Full textKalnina, Elina, and Audris Kalnins. "DSL Tool Development with Transformations and Static Mappings." In Models in Software Engineering. Springer Berlin Heidelberg, 2009. http://dx.doi.org/10.1007/978-3-642-01648-6_37.
Full textBardsley, Ethel, Adam Betts, Nathan Chong, et al. "Engineering a Static Verification Tool for GPU Kernels." In Computer Aided Verification. Springer International Publishing, 2014. http://dx.doi.org/10.1007/978-3-319-08867-9_15.
Full textConference papers on the topic "Static tool"
Philippe, Pierrick, Mohamed Sabt, and Pierre-Alain Fouque. "GnuZero: A Compiler-Based Zeroization Static Detection Tool for the Masses." In 2025 55th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN). IEEE, 2025. https://doi.org/10.1109/dsn64029.2025.00032.
Full textBasak, Setu Kumar, K. Virgil English, Ken Ogura, Vitesh Kambara, Bradley Reaves, and Laurie Williams. "AssetHarvester: A Static Analysis Tool for Detecting Secret-Asset Pairs in Software Artifacts." In 2025 IEEE/ACM 47th International Conference on Software Engineering (ICSE). IEEE, 2025. https://doi.org/10.1109/icse55347.2025.00067.
Full textLiu, David, Jonathan Calver, and Michelle Craig. "Are a Static Analysis Tool Study's Findings Static? A Replication." In ITiCSE 2024: Innovation and Technology in Computer Science Education. ACM, 2024. http://dx.doi.org/10.1145/3649217.3653545.
Full textChiang, Jim, Allison Stephens, and Jim Potvin. "Retooling Jack’s Static Strength Prediction Tool." In 2006 Digital Human Modeling for Design and Engineering Conference. SAE International, 2006. http://dx.doi.org/10.4271/2006-01-2350.
Full textImashev, Alfarabi. "Sign Language Static Gestures Recognition Tool Prototype." In 2017 IEEE 11th International Conference on Application of Information and Communication Technologies (AICT). IEEE, 2017. http://dx.doi.org/10.1109/icaict.2017.8687032.
Full textDewar, Robert B. K. "The compiler as a static analysis tool." In the 2007 ACM international conference. ACM Press, 2007. http://dx.doi.org/10.1145/1315580.1315601.
Full textNoman, Haitham Ameen, Qusay Al-Maatouk, and Sinan Ameen Noman. "A Static Analysis Tool for Malware Detection." In 2021 International Conference on Data Analytics for Business and Industry (ICDABI). IEEE, 2021. http://dx.doi.org/10.1109/icdabi53623.2021.9655866.
Full textKhulape, Vishal D., Vijay N. Patil, and Vinay Sharma. "Improved Static Timing Path Analyzer for DSCH Tool." In 2017 International Conference on Computing, Communication, Control and Automation (ICCUBEA). IEEE, 2017. http://dx.doi.org/10.1109/iccubea.2017.8463706.
Full textNewman, Christian D., Jonathan I. Maletic, and Michael L. Collard. "srcType: A Tool for Efficient Static Type Resolution." In 2016 IEEE International Conference on Software Maintenance and Evolution (ICSME). IEEE, 2016. http://dx.doi.org/10.1109/icsme.2016.38.
Full textShah, Bhasha M., and Usha Mehta. "Development of Static Timing Analysis Tool in Perl." In 2020 International Conference on Recent Trends on Electronics, Information, Communication & Technology (RTEICT). IEEE, 2020. http://dx.doi.org/10.1109/rteict49044.2020.9315618.
Full textReports on the topic "Static tool"
Okun, vadim, Romain Gaucher, and Paul E. Black. Static analysis tool exposition (SATE) 2008. National Institute of Standards and Technology, 2009. http://dx.doi.org/10.6028/nist.sp.500-279.
Full textOgata, Michael. Static Analysis Tool Exposition (SATE) VI:. National Institute of Standards and Technology, 2023. http://dx.doi.org/10.6028/nist.ir.8462.
Full textOkun, vadim, Aurelien Delaitre, and Paul E. Black. The second static analysis tool exposition (SATE) 2009. National Institute of Standards and Technology, 2010. http://dx.doi.org/10.6028/nist.sp.500-287.
Full textOkun, Vadim, Aurelien Delaitre, and Paul E. Black. Report on the Static Analysis Tool Exposition (SATE) IV. National Institute of Standards and Technology, 2013. http://dx.doi.org/10.6028/nist.sp.500-297.
Full textOkun, vadim, Aurelien Delaitre, and Paul E. Black. Report on the third static analysis tool exposition (SATE 2010). National Institute of Standards and Technology, 2011. http://dx.doi.org/10.6028/nist.sp.500-283.
Full textDelaitre, Aurelien, Bertrand Stivalet, Paul E. Black, Vadim Okun, Athos Ribeiro, and Terry S. Cohen. SATE V report: ten years of static analysis tool expositions. National Institute of Standards and Technology, 2018. http://dx.doi.org/10.6028/nist.sp.500-326.
Full textChen. PR-224-03158-R01 Static and Cyclic Surface Loading on the Performance of Welds in Pre-1970 Pipelines. Pipeline Research Council International, Inc. (PRCI), 2009. http://dx.doi.org/10.55274/r0010973.
Full textTidd, Alexander N., Richard A. Ayers, Grant P. Course, and Guy R. Pasco. Scottish Inshore Fisheries Integrated Data System (SIFIDS): work package 6 final report development of a pilot relational data resource for the collation and interpretation of inshore fisheries data. Edited by Mark James and Hannah Ladd-Jones. Marine Alliance for Science and Technology for Scotland (MASTS), 2019. http://dx.doi.org/10.15664/10023.23452.
Full textBARUMERLI, Roberto, Piotr MAJDAK, Michele GERONAZZO, David MEIJER, Federico AVANZINI, and Robert BAUMGARTNER. Evaluation of spatial tasks in virtual acoustic environments by means of modeling individual localization performances. Verlag der Österreichischen Akademie der Wissenschaften, 2025. https://doi.org/10.1553/ica_2022_acoustic-environments.
Full textBryndum. L51854 Integrity Assessment Models-Software for Exposed and Unburied Pipelines in River Channels. Pipeline Research Council International, Inc. (PRCI), 2000. http://dx.doi.org/10.55274/r0011225.
Full text