Gotowa bibliografia na temat „Static tool”
Utwórz poprawne odniesienie w stylach APA, MLA, Chicago, Harvard i wielu innych
Spis treści
Zobacz listy aktualnych artykułów, książek, rozpraw, streszczeń i innych źródeł naukowych na temat „Static tool”.
Przycisk „Dodaj do bibliografii” jest dostępny obok każdej pracy w bibliografii. Użyj go – a my automatycznie utworzymy odniesienie bibliograficzne do wybranej pracy w stylu cytowania, którego potrzebujesz: APA, MLA, Harvard, Chicago, Vancouver itp.
Możesz również pobrać pełny tekst publikacji naukowej w formacie „.pdf” i przeczytać adnotację do pracy online, jeśli odpowiednie parametry są dostępne w metadanych.
Artykuły w czasopismach na temat "Static tool"
Thomson, Patrick. "Static Analysis: An Introduction". Queue 19, nr 4 (31.08.2021): 29–41. http://dx.doi.org/10.1145/3487019.3487021.
Pełny tekst źródłaImbert, C. A. C., i H. J. McQueen. "Static Recrystallization of Tool Steels". Materials Science Forum 539-543 (marzec 2007): 4458–63. http://dx.doi.org/10.4028/www.scientific.net/msf.539-543.4458.
Pełny tekst źródłaMilind Shinde, Mrunmayee, i A. S. Rao. "Static collision detection using visualization tool". Materials Today: Proceedings 5, nr 13 (2018): 27220–24. http://dx.doi.org/10.1016/j.matpr.2018.09.035.
Pełny tekst źródłaTiganov, Daniil, Lisa Nguyen Quang Do i Karim Ali. "Designing UIs for Static Analysis Tools". Queue 19, nr 4 (31.08.2021): 97–118. http://dx.doi.org/10.1145/3487019.3487026.
Pełny tekst źródłaDewar, Robert B. K. "The compiler as a static analysis tool". ACM SIGAda Ada Letters XXVII, nr 3 (17.11.2007): 83–88. http://dx.doi.org/10.1145/1315607.1315601.
Pełny tekst źródłaKoshelev, V. K., V. N. Ignatiev, A. I. Borzilov i A. A. Belevantsev. "SharpChecker: Static analysis tool for C# programs". Programming and Computer Software 43, nr 4 (lipiec 2017): 268–76. http://dx.doi.org/10.1134/s0361768817040041.
Pełny tekst źródłaGawade, Makarand, K. Ravikanth i Sanjeev Aggarwal. "Constantine: configurable static analysis tool in Eclipse". Software: Practice and Experience 44, nr 5 (7.12.2012): 537–63. http://dx.doi.org/10.1002/spe.2173.
Pełny tekst źródłaWang, Han, Tianjian Li, Xizhi Sun, Diane Mynors i Tao Wu. "Optimal Design Method for Static Precision of Heavy-Duty Vertical Machining Center Based on Gravity Deformation Error Modelling". Processes 10, nr 10 (24.09.2022): 1930. http://dx.doi.org/10.3390/pr10101930.
Pełny tekst źródłaGuo, Ting Ting, Teng Jiao Sun i Fang Shao. "Finite Element Analysis for Static Stiffness of a Crankshaft Grinding Machine Tool". Applied Mechanics and Materials 543-547 (marzec 2014): 76–79. http://dx.doi.org/10.4028/www.scientific.net/amm.543-547.76.
Pełny tekst źródłaZaus, Mahesi Agni, Rizky Ema Wulansari, Syaiful Islami i Doni Pernanda. "Perancangan Media Pembelajaran Listrik Statis dan Dinamis Berbasis Android". INTECOMS: Journal of Information Technology and Computer Science 1, nr 1 (13.03.2018): 1–7. http://dx.doi.org/10.31539/intecoms.v1i1.140.
Pełny tekst źródłaRozprawy doktorskie na temat "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.
Pełny tekst źródłaMorgenthaler, 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.
Pełny tekst źródłaDutko, Adam M. "THE RELATIONAL DATABASE: A NEW STATIC ANALYSIS TOOL?" Cleveland State University / OhioLINK, 2011. http://rave.ohiolink.edu/etdc/view?acc_num=csu1313678735.
Pełny tekst źródłaBaca, 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.
Pełny tekst źródłaEads, 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.
Pełny tekst źródłaVita. The entire thesis text is included in file. Title from title screen of thesis/dissertation PDF file (viewed May 4, 2010) Includes bibliographical references (p. 65-68).
Gustafson, Christopher, i 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.
Pełny tekst źródłaInom flygindustrin är användandet av olika programmeringsverktyg inte lika självklart som inom andra industrier. På grund av de katastrofala konsekvenser som fel i mjukvaran i ett flygplan kan resultera i finns det rigorösa krav på mjukvaruutvecklingsprocessen. Ett av dessa krav är att en viss kodstandard måste upprätthållas. Kodstandarder används för att exkludera vissa strukturer i kod som kan leda till oönskat beteende. Upprätthållandet av en viss kodstandard är en långdragen process att genomföra manuellt, och kan därför automatiseras med hjälp av ett statiskt kodanalysverktyg. För att kunna använda ett sådant verktyg behövs däremot en formell verktygskvalificering. I denna uppsats kommer kvalificeringsprocessen av ett verktyg för statisk kodanalys att evalueras enligt de krav som de två stora flygmyndigheterna EASA och FAA ställer. För att förklara processen av att kvalificera ett sådant verktyg gjordes en litteraturstudie följt av en fallstudie av det existerande verktyget Parasoft C/C++ test. Resultaten av litteraturstudien beskriver de olika processerna som måste genomföras för att kvalificera ett statiskt kodanalysverktyg. Noterbart är att resultaten visar att inga krav ställs på utvecklingsprocessen av verktyget själv. Detta betyder att ett existerande kommersiellt verktyg kan kvalificeras utan att verktygsutvecklarna själva behöver bidra med extra information. Fallstudien visade hur verktyget Parasoft C/C++ test kan konfigureras och verifieras att följa en viss kodstandard. Vidare resulterade fallstudien i utkast av de nödvändiga dokumenten som behöver produceras för att kommunicera kvalificeringsprocessen till en myndighet. De resultat som presenteras i denna uppsats är i sig inte tillräckliga för beskriva hela kvalificeringsprocessen. Ytterligare överväganden som är specifika till den mjukvaran som verktyget ska användas till att utveckla måste göras för att en komplett kvalificering ska kunna genomföras. Uppsatsen bidrar däremot med riktlinjer och vägledning av majoriteten av de processerna som behöver genomföras. Ytterligare forskning kan göras för att bidra med den kompletta bilden av verktygskvalificering av ett statiskt kodanalysverktyg, samt hur kvalificering kan göras av andra typer av verktyg.
Al, 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.
Pełny tekst źródłaWoods, 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.
Pełny tekst źródłaSilva, 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/.
Pełny tekst źródłaExiste uma crescente busca por softwares e arquiteturas alternativas. Essa busca acontece pois houveram avanços na tecnologia do hardware, e estes avanços devem ser complementados por inovações nas metodologias de projetos, testes e verificação para que haja um uso eficaz da tecnologia. Os software e arquiteturas alternativas, geralmente são modelos que exploram o paralelismo das aplicações, ao contrário do modelo de Von Neumann. Dentre as arquiteturas alternativas de alto desempenho, tem-se a arquitetura a fluxo de dados. Nesse tipo de arquitetura, o processo de execução de programas é determinado pela disponibilidade dos dados, logo o paralelismo está embutido na própria natureza do sistema. O modelo a fluxo de dados possui a vantagem de expressar o paralelismo de maneira intrínseca, eliminando a necessidade do programador explicitar em seu código os trechos onde deve haver paralelismo. As arquiteturas a fluxo de dados voltaram a ser uma área de pesquisa devido aos avanços do hardware, em particular, os avanços da Computação Reconfigurável e dos Field Programmable Gate Arrays (FPGAs).Nesta tese é descrita uma ferramenta de conversão de código que visa a geração de aplicações utilizando uma arquitetura a fluxo de dados estática. Também é descrito o projeto ChipCflow, cuja ferramenta de conversão de código, descrita nesta tese, é parte integrante. A especificação do algoritmo a ser convertido é feita em linguagem C e convertida para uma linguagem de descrição de hardware, respeitando o modelo proposto pelo ChipCflow. Os resultados alcançados visam a prova de conceito da conversão de código de uma linguagem de alto nível para uma arquitetura a fluxo de dados a ser configurada em FPGA.
Hubert, Laurent. "Foundations and implementation of a tool bench for static analysis of Java bytecode programs". Rennes 1, 2010. http://www.theses.fr/2010REN1S122.
Pełny tekst źródłaDans cette thèse, nous nous intéressons à l’analyse statique du bytecode Java. L’initialisation d’un système d’information est une phase délicate où des propriétés de sécurité sont vérifiées et des invariants installés. L’initialisation en Java pose des difficultés, que ce soit pour les champs, les objets ou les classes. De ces difficultés peuvent résulter des failles de sécurité, des erreurs d’exécution (bugs), ou une plus grande difficulté à valider statiquement ces logiciels. Cette thèse propose des analyses statiques répondant aux problèmes d’initialisation de champs, d’objets et de classes. Ainsi, nous décrivons une analyse de pointeurs nuls qui suit finement l’initialisation des champs et permet de prouver l’absence d’exception de pointeur nuls (NullPointerException) et de raffiner le graphe de flot de contrôle intra-procédural. Nous proposons aussi une analyse pour raffiner le graphe de flot de contrôle inter-procédural liée à l’initialisation de classe et permettant de modéliser plus finement le contenu des champs statiques. Enfin, nous proposons un système de type permettant de garantir que les objets manipulés sont complètement initialisés, et offrant ainsi une solution formelle et automatique à un problème de sécurité connu. Les fondations sémantiques de ces analyses sont données. Les analyses sont décrites formellement et prouvées correctes. Pour pouvoir adapter ces analyses, formalisées sur de petits langages, au bytecode, nous avons développé une bibliothèque logicielle. Elle nous a permis de produire des prototypes efficaces gérant l’intégralité du bytecode Java
Książki na temat "Static tool"
United States. Internal Revenue Service. Ogden Service Center. Career Counseling Cadre. Managers' tool for career path counseling. Washington, D.C.?]: Department of the Treasury, Internal Revenue Service, 1991.
Znajdź pełny tekst źródłaUnited States. Dept. of Commerce. Office of Acquisition Management., red. Annual performance management assessment tool (PMAT) report. [Washington, D.C.]: U.S. Dept. of Commerce, Office of Acquisition Management, 1998.
Znajdź pełny tekst źródłaAdaskin, Anatoliy. Instrumental materials in mechanical engineering. ru: INFRA-M Academic Publishing LLC., 2024. http://dx.doi.org/10.12737/1870562.
Pełny tekst źródłaUnited States. General Accounting Office. RCED., red. A superfund tool for more efficient cleanups. Washington, D.C: The Office, 1996.
Znajdź pełny tekst źródłaUnited States. General Accounting Office. RCED, red. A superfund tool for more efficient cleanups. Washington, D.C: The Office, 1996.
Znajdź pełny tekst źródłaUnited States. General Accounting Office. RCED., red. A superfund tool for more efficient cleanups. Washington, D.C: The Office, 1996.
Znajdź pełny tekst źródłaSheila, Martin. The effectiveness of state technology incentives: Evidence from the machine tool industry. Ames, Iowa: Center for Agricultural and Rural Development, Iowa State University, 1994.
Znajdź pełny tekst źródłaPetrova, Inga. Digital technologies as a financial control tool. ru: INFRA-M Academic Publishing LLC., 2021. http://dx.doi.org/10.12737/1234413.
Pełny tekst źródłaUnited States. Environmental Protection Agency. Office of Research and Development. ORD information tools. [Washington, D.C.?]: U.S. Environmental Protection Agency, Research and Development, 1987.
Znajdź pełny tekst źródłaNewby, Claude. It Took Heroes. New York: Random House Publishing Group, 2009.
Znajdź pełny tekst źródłaCzęści książek na temat "Static tool"
Imbert, C. A. C., i H. J. McQueen. "Static Recrystallization of Tool Steels". W THERMEC 2006, 4458–63. Stafa: Trans Tech Publications Ltd., 2007. http://dx.doi.org/10.4028/0-87849-428-6.4458.
Pełny tekst źródłaNordin, Magnus, Thomas Lindgren i Håkan Millroth. "IGOR: A tool for developing Prolog dataflow analyzers". W Static Analysis, 420–21. Berlin, Heidelberg: Springer Berlin Heidelberg, 1995. http://dx.doi.org/10.1007/3-540-60360-3_54.
Pełny tekst źródłaNielson, Flemming. "Semantics-directed program analysis: A tool-maker's perspective". W Static Analysis, 2–21. Berlin, Heidelberg: Springer Berlin Heidelberg, 1996. http://dx.doi.org/10.1007/3-540-61739-6_30.
Pełny tekst źródłaFecht, Christian. "GENA — A tool for generating Prolog analyzers from specifications". W Static Analysis, 418–19. Berlin, Heidelberg: Springer Berlin Heidelberg, 1995. http://dx.doi.org/10.1007/3-540-60360-3_53.
Pełny tekst źródłaBesson, Frédéric, Thomas Jensen i Pierre Vittet. "SawjaCard: A Static Analysis Tool for Certifying Java Card Applications". W Static Analysis, 51–67. Cham: Springer International Publishing, 2014. http://dx.doi.org/10.1007/978-3-319-10936-7_4.
Pełny tekst źródłaSpoto, Fausto. "Watchpoint Semantics: A Tool for Compositional and Focussed Static Analyses". W Static Analysis, 127–45. Berlin, Heidelberg: Springer Berlin Heidelberg, 2001. http://dx.doi.org/10.1007/3-540-47764-0_8.
Pełny tekst źródłaHall, Robert J. "Open Modeling in Multi-stakeholder Distributed Systems: Research and Tool Challenges". W Static Analysis, 2. Berlin, Heidelberg: Springer Berlin Heidelberg, 2002. http://dx.doi.org/10.1007/3-540-45789-5_2.
Pełny tekst źródłaPonce-de-León, Hernán, Florian Furbach, Keijo Heljanko i Roland Meyer. "Portability Analysis for Weak Memory Models porthos: One Tool for all Models". W Static Analysis, 299–320. Cham: Springer International Publishing, 2017. http://dx.doi.org/10.1007/978-3-319-66706-5_15.
Pełny tekst źródłaKalnina, Elina, i Audris Kalnins. "DSL Tool Development with Transformations and Static Mappings". W Models in Software Engineering, 356–70. Berlin, Heidelberg: Springer Berlin Heidelberg, 2009. http://dx.doi.org/10.1007/978-3-642-01648-6_37.
Pełny tekst źródłaBardsley, Ethel, Adam Betts, Nathan Chong, Peter Collingbourne, Pantazis Deligiannis, Alastair F. Donaldson, Jeroen Ketema, Daniel Liew i Shaz Qadeer. "Engineering a Static Verification Tool for GPU Kernels". W Computer Aided Verification, 226–42. Cham: Springer International Publishing, 2014. http://dx.doi.org/10.1007/978-3-319-08867-9_15.
Pełny tekst źródłaStreszczenia konferencji na temat "Static tool"
Chiang, Jim, Allison Stephens i Jim Potvin. "Retooling Jack’s Static Strength Prediction Tool". W 2006 Digital Human Modeling for Design and Engineering Conference. 400 Commonwealth Drive, Warrendale, PA, United States: SAE International, 2006. http://dx.doi.org/10.4271/2006-01-2350.
Pełny tekst źródłaImashev, Alfarabi. "Sign Language Static Gestures Recognition Tool Prototype". W 2017 IEEE 11th International Conference on Application of Information and Communication Technologies (AICT). IEEE, 2017. http://dx.doi.org/10.1109/icaict.2017.8687032.
Pełny tekst źródłaDewar, Robert B. K. "The compiler as a static analysis tool". W the 2007 ACM international conference. New York, New York, USA: ACM Press, 2007. http://dx.doi.org/10.1145/1315580.1315601.
Pełny tekst źródłaNoman, Haitham Ameen, Qusay Al-Maatouk i Sinan Ameen Noman. "A Static Analysis Tool for Malware Detection". W 2021 International Conference on Data Analytics for Business and Industry (ICDABI). IEEE, 2021. http://dx.doi.org/10.1109/icdabi53623.2021.9655866.
Pełny tekst źródłaKhulape, Vishal D., Vijay N. Patil i Vinay Sharma. "Improved Static Timing Path Analyzer for DSCH Tool". W 2017 International Conference on Computing, Communication, Control and Automation (ICCUBEA). IEEE, 2017. http://dx.doi.org/10.1109/iccubea.2017.8463706.
Pełny tekst źródłaNewman, Christian D., Jonathan I. Maletic i Michael L. Collard. "srcType: A Tool for Efficient Static Type Resolution". W 2016 IEEE International Conference on Software Maintenance and Evolution (ICSME). IEEE, 2016. http://dx.doi.org/10.1109/icsme.2016.38.
Pełny tekst źródłaShah, Bhasha M., i Usha Mehta. "Development of Static Timing Analysis Tool in Perl". W 2020 International Conference on Recent Trends on Electronics, Information, Communication & Technology (RTEICT). IEEE, 2020. http://dx.doi.org/10.1109/rteict49044.2020.9315618.
Pełny tekst źródłaHarrison, Warren. "An extensible static analysis tool for COBOL programs". W the 15th annual conference. New York, New York, USA: ACM Press, 1987. http://dx.doi.org/10.1145/322917.322962.
Pełny tekst źródłaImtiaz, Nasif, Akond Rahman, Effat Farhana i Laurie Williams. "Challenges with Responding to Static Analysis Tool Alerts". W 2019 IEEE/ACM 16th International Conference on Mining Software Repositories (MSR). IEEE, 2019. http://dx.doi.org/10.1109/msr.2019.00049.
Pełny tekst źródłaLi, Junjie, i Jinqiu Yang. "StaticTracker: A Diff Tool for Static Code Warnings". W 2023 IEEE International Conference on Software Maintenance and Evolution (ICSME). IEEE, 2023. http://dx.doi.org/10.1109/icsme58846.2023.00074.
Pełny tekst źródłaRaporty organizacyjne na temat "Static tool"
Okun, vadim, Romain Gaucher i Paul E. Black. Static analysis tool exposition (SATE) 2008. Gaithersburg, MD: National Institute of Standards and Technology, 2009. http://dx.doi.org/10.6028/nist.sp.500-279.
Pełny tekst źródłaOgata, Michael. Static Analysis Tool Exposition (SATE) VI:. Gaithersburg, MD: National Institute of Standards and Technology, 2023. http://dx.doi.org/10.6028/nist.ir.8462.
Pełny tekst źródłaOkun, vadim, Aurelien Delaitre i Paul E. Black. The second static analysis tool exposition (SATE) 2009. Gaithersburg, MD: National Institute of Standards and Technology, 2010. http://dx.doi.org/10.6028/nist.sp.500-287.
Pełny tekst źródłaOkun, Vadim, Aurelien Delaitre i Paul E. Black. Report on the Static Analysis Tool Exposition (SATE) IV. National Institute of Standards and Technology, styczeń 2013. http://dx.doi.org/10.6028/nist.sp.500-297.
Pełny tekst źródłaOkun, vadim, Aurelien Delaitre i Paul E. Black. Report on the third static analysis tool exposition (SATE 2010). Gaithersburg, MD: National Institute of Standards and Technology, 2011. http://dx.doi.org/10.6028/nist.sp.500-283.
Pełny tekst źródłaDelaitre, Aurelien, Bertrand Stivalet, Paul E. Black, Vadim Okun, Athos Ribeiro i Terry S. Cohen. SATE V report: ten years of static analysis tool expositions. Gaithersburg, MD: National Institute of Standards and Technology, październik 2018. http://dx.doi.org/10.6028/nist.sp.500-326.
Pełny tekst źródłaChen. PR-224-03158-R01 Static and Cyclic Surface Loading on the Performance of Welds in Pre-1970 Pipelines. Chantilly, Virginia: Pipeline Research Council International, Inc. (PRCI), sierpień 2009. http://dx.doi.org/10.55274/r0010973.
Pełny tekst źródłaTidd, Alexander N., Richard A. Ayers, Grant P. Course i 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. Redaktorzy Mark James i Hannah Ladd-Jones. Marine Alliance for Science and Technology for Scotland (MASTS), 2019. http://dx.doi.org/10.15664/10023.23452.
Pełny tekst źródłaBryndum. L51854 Integrity Assessment Models-Software for Exposed and Unburied Pipelines in River Channels. Chantilly, Virginia: Pipeline Research Council International, Inc. (PRCI), luty 2000. http://dx.doi.org/10.55274/r0011225.
Pełny tekst źródłaKiianovska, N. M. The development of theory and methods of using cloud-based information and communication technologies in teaching mathematics of engineering students in the United States. Видавничий центр ДВНЗ «Криворізький національний університет», grudzień 2014. http://dx.doi.org/10.31812/0564/1094.
Pełny tekst źródła