Добірка наукової літератури з теми "Automatic Static Analysi"
Оформте джерело за APA, MLA, Chicago, Harvard та іншими стилями
Ознайомтеся зі списками актуальних статей, книг, дисертацій, тез та інших наукових джерел на тему "Automatic Static Analysi".
Біля кожної праці в переліку літератури доступна кнопка «Додати до бібліографії». Скористайтеся нею – і ми автоматично оформимо бібліографічне посилання на обрану працю в потрібному вам стилі цитування: APA, MLA, «Гарвард», «Чикаго», «Ванкувер» тощо.
Також ви можете завантажити повний текст наукової публікації у форматі «.pdf» та прочитати онлайн анотацію до роботи, якщо відповідні параметри наявні в метаданих.
Статті в журналах з теми "Automatic Static Analysi"
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.
Повний текст джерелаTatasciore, 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.
Повний текст джерелаG, 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.
Повний текст джерелаPackevič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.
Повний текст джерелаTesfatsion, 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.
Повний текст джерелаRama, 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.
Повний текст джерелаCui, 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.
Повний текст джерелаLIANG, 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.
Повний текст джерелаRavitch, 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.
Повний текст джерелаBozga, 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.
Повний текст джерелаДисертації з теми "Automatic Static Analysi"
Sterner, Kenneth. "Automated checking of programming assignments using static analysis." Thesis, Mälardalens högskola, Akademin för innovation, design och teknik, 2021. http://urn.kb.se/resolve?urn=urn:nbn:se:mdh:diva-53337.
Повний текст джерелаBaca, 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.
Повний текст джерелаJoni, Jeffry Hartono. "Quasi-static force analysis of an automated live-bird transfer system." Thesis, Georgia Institute of Technology, 2000. http://hdl.handle.net/1853/16781.
Повний текст джерелаXie, Yichen. "Static detection of software errors precise and scalable algorithms for automatic detection of software errors." Saarbrücken VDM, Müller, 2006. http://deposit.d-nb.de/cgi-bin/dokserv?id=2991792&prov=M&dok_var=1&dok_ext=htm.
Повний текст джерелаNimal, Vincent P. J. "Static analyses over weak memory." Thesis, University of Oxford, 2014. http://ora.ox.ac.uk/objects/uuid:469907ec-6f61-4015-984e-7ca8757b992c.
Повний текст джерелаAung, Arkar Min. "Automatic Eye-Gaze Following from 2-D Static Images: Application to Classroom Observation Video Analysis." Digital WPI, 2018. https://digitalcommons.wpi.edu/etd-theses/251.
Повний текст джерелаDiarra, Rokiatou. "Automatic Parallelization for Heterogeneous Embedded Systems." Thesis, Université Paris-Saclay (ComUE), 2019. http://www.theses.fr/2019SACLS485.
Повний текст джерелаRecent years have seen an increase of heterogeneous architectures combining multi-core CPUs with accelerators such as GPU, FPGA, and Intel Xeon Phi. GPU can achieve significant performance for certain categories of application. Nevertheless, achieving this performance with low-level APIs (e.g. CUDA, OpenCL) requires to rewrite the sequential code, to have a good knowledge of GPU architecture, and to apply complex optimizations that are sometimes not portable. On the other hand, directive-based programming models (e.g. OpenACC, OpenMP) offer a high-level abstraction of the underlying hardware, thus simplifying the code maintenance and improving productivity. They allow users to accelerate their sequential codes on GPU by simply inserting directives. OpenACC/OpenMP compilers have the daunting task of applying the necessary optimizations from the user-provided directives and generating efficient codes that take advantage of the GPU architecture. Although the OpenACC / OpenMP compilers are mature and able to apply some optimizations automatically, the generated code may not achieve the expected speedup as the compilers do not have a full view of the whole application. Thus, there is generally a significant performance gap between the codes accelerated with OpenACC/OpenMP and those hand-optimized with CUDA/OpenCL. To help programmers for speeding up efficiently their legacy sequential codes on GPU with directive-based models and broaden OpenMP/OpenACC impact in both academia and industry, several research issues are discussed in this dissertation. We investigated OpenACC and OpenMP programming models and proposed an effective application parallelization methodology with directive-based programming approaches. Our application porting experience revealed that it is insufficient to simply insert OpenMP/OpenACC offloading directives to inform the compiler that a particular code region must be compiled for GPU execution. It is highly essential to combine offloading directives with loop parallelization constructs. Although current compilers are mature and perform several optimizations, the user may provide them more information through loop parallelization constructs clauses in order to get an optimized code. We have also revealed the challenge of choosing good loop schedules. The default loop schedule chosen by the compiler may not produce the best performance, so the user has to manually try different loop schedules to improve the performance. We demonstrate that OpenMP and OpenACC programming models can achieve best performance with lesser programming effort, but OpenMP/OpenACC compilers quickly reach their limit when the offloaded region code is computed/memory bound and contain several nested loops. In such cases, low-level languages may be used. We also discuss pointers aliasing problem in GPU codes and propose two static analysis tools that perform automatically at source level type qualifier insertion and scalar promotion to solve aliasing issues
Rungta, Neha Shyam. "Guided Testing for Automatic Error Discovery in Concurrent Software." Diss., CLICK HERE for online access, 2009. http://contentdm.lib.byu.edu/ETD/image/etd3175.pdf.
Повний текст джерелаWei, Ran. "An extensible static analysis framework for automated analysis, validation and performance improvement of model management programs." Thesis, University of York, 2016. http://etheses.whiterose.ac.uk/14375/.
Повний текст джерелаde, Carvalho Gomes Pedro. "Automatic Extraction of Program Models for Formal Software Verification." Doctoral thesis, KTH, Teoretisk datalogi, TCS, 2015. http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-176286.
Повний текст джерелаDen här avhandlingen studerar automatisk konstruktion av abstrakta modeller för formell verifikation av program skrivna i verkliga programmeringsspråk. Avhandlingen består av tre delar som involverar olika typer av program, programmeringsspråk, verifikationsscenarier, programmodeller och egenskaper.Del ett presenterar en algoritm för generation av flödesgrafer från sekventiella program i Java bytekod. Graferna är skräddarsydda för en kompositionell teknik för verifikationen av temporala kontrollflödens säkerhetsegenskaper. Vi visar att de extraherade modellerna sunt överapproximerar programbeteenden med avseende på sekvenser av metodanrop och -undantag. Således gäller egenskaperna som kan fastställas genom kompositionstekniken över kontrollflöden även för programmen. Vi implementerar dessutom algoritmen i form av verktyget ConFlEx och utvärderar verktyget på ett antal testfall.Del två presenterar en teknik för att generera modeller av ofullständiga program. Det vill säga, program där implementationen av åtminstone en komponent inte är tillgänglig. Vi definierar ett ramverk för att representera ofullständiga Java bytekodsprogram och utökar algoritmen från del ett till att hantera ofullständig kod. Därefter presenterar vi raffineringsregler - villkor för att instansiera den saknade koden - och bevisar att reglerna bevarar relevanta egenskaper av kontrollflödesgrafer. Vi har dessutom utökat ConFlEx till att stödja de nya definitionerna och har omvärderat verktyget på testfall av ofullständiga program.Del tre angriper verifikation av multitrådade program. Vi presenterar en teknik för att bevisa följande egenskap för synkronisering med vilkorsvariabler: "Om varje trådsynkronisering under samma villkor så småningom stiger in i sitt synkroniseringsblock så kommer varje tråd också till slut lämna synkroniseringen". För att stödja verifikationen så introducerar vi först SyncTask - ett enkelt mellanliggande språk för att specificera synkronisering av parallella beräkningar. Därefter presenterar vi ett annoteringsspråk för Java som tillåter automatisk extrahering av SyncTask-program och visar att egenskapen gäller om och endast om motsvarande SyncTask-program terminerar. Vi reducerar termineringsproblemet till ett nåbarhetsproblem på färgade Petrinät samt definierar en algoritm som skapar Petrinät från SyncTask-program där programmet terminerar om och endast om nätet alltid når en särskild mängd av döda konfigurationer. Extraktionen av SyncTask-program och deras motsvarande Petrinät är implementerade i form av verktyget STaVe. Slutligen utvärderar vi verktyget genom att mata annoterade.
QC 20151101
Книги з теми "Automatic Static Analysi"
Office, ALMRS Project. Automated Land and Mineral Record System (ALMRS) alternatives analysis: Technical product. Alexandria, Va: Bureau of Land Management, 1985.
Знайти повний текст джерелаStaten, Carroll M. Training development under logistics support analysis. Brooks Air Force Base, Tex: Air Force Human Resources Laboratory, Air Force Systems Command, 1988.
Знайти повний текст джерелаU.S. Nuclear Regulatory Commission. Office of Nuclear Regulatory Research. Division of Systems Research. and Brookhaven National Laboratory, eds. Analysis of long-term station blackout without automatic depressurization at Peach Bottom using MELCOR (version 1.8). Washington, DC: Division of Systems Research, Office of Nuclear Regulatory Research, U.S. Nuclear Regulatory Commission, 1994.
Знайти повний текст джерелаJimenez, Felix F. Automated Land and Mineral Record System equipment analysis: Bureau of Land Management, Colorado. Denver, Colo: U.S. Department of the Interior, Bureau of Land℗Management,℗Colorado State Office, 1985.
Знайти повний текст джерелаGoehring, Dwight J. An automated system for the analysis of Combat Training Center information: Strategy and development. Alexandria, Va: U.S. Army Research Institute for the Behavioral and Social Sciences, 1995.
Знайти повний текст джерелаSatdarova, Faina. DIFFRACTION ANALYSIS OF DEFORMED METALS: Theory, Methods, Programs. xxu: Academus Publishing, 2019. http://dx.doi.org/10.31519/monography_1598.
Повний текст джерелаUnited States. Bureau of Land Management. Automated resource requirements study: An analysis of the functional requirements and automated capabilities needed for resource management in the Bureau of Land Management : final report. [Washington, D.C.]: U.S. Dept. of the Interior, Bureau of Land Management, 1986.
Знайти повний текст джерелаBogumil, Veniamin, and Sarango Duke. Telematics on urban passenger transport. ru: INFRA-M Academic Publishing LLC., 2022. http://dx.doi.org/10.12737/1819882.
Повний текст джерелаService, United States Internal Revenue. Organizational impact analysis handbook: A guide for analyzing the impacts of implementing information technology in IRS offices. [Washington, D.C.?]: Dept. of the Treasury, Internal Revenue Service, 1990.
Знайти повний текст джерелаKovalenko, Vladimir. Design of information systems. ru: INFRA-M Academic Publishing LLC., 2020. http://dx.doi.org/10.12737/987869.
Повний текст джерелаЧастини книг з теми "Automatic Static Analysi"
Samanta, Roopsha, Oswaldo Olivo, and E. Allen Emerson. "Cost-Aware Automatic Program Repair." In Static Analysis, 268–84. Cham: Springer International Publishing, 2014. http://dx.doi.org/10.1007/978-3-319-10936-7_17.
Повний текст джерелаRaychev, Veselin, Martin Vechev, and Eran Yahav. "Automatic Synthesis of Deterministic Concurrency." In Static Analysis, 283–303. Berlin, Heidelberg: Springer Berlin Heidelberg, 2013. http://dx.doi.org/10.1007/978-3-642-38856-9_16.
Повний текст джерелаXu, Xuezheng, Xudong Wang, and Jingling Xue. "Automatic Synthesis of Data-Flow Analyzers." In Static Analysis, 453–78. Cham: Springer International Publishing, 2021. http://dx.doi.org/10.1007/978-3-030-88806-0_22.
Повний текст джерелаD’Osualdo, Emanuele, Jonathan Kochems, and C. H. Luke Ong. "Automatic Verification of Erlang-Style Concurrency." In Static Analysis, 454–76. Berlin, Heidelberg: Springer Berlin Heidelberg, 2013. http://dx.doi.org/10.1007/978-3-642-38856-9_24.
Повний текст джерелаChatterjee, Krishnendu, Thomas A. Henzinger, and Jan Otop. "Quantitative Monitor Automata." In Static Analysis, 23–38. Berlin, Heidelberg: Springer Berlin Heidelberg, 2016. http://dx.doi.org/10.1007/978-3-662-53413-7_2.
Повний текст джерелаBrauer, Jörg, and Andy King. "Automatic Abstraction for Intervals Using Boolean Formulae." In Static Analysis, 167–83. Berlin, Heidelberg: Springer Berlin Heidelberg, 2010. http://dx.doi.org/10.1007/978-3-642-15769-1_11.
Повний текст джерелаBeillahi, Sidi Mohamed, Ahmed Bouajjani, Constantin Enea, and Shuvendu Lahiri. "Automated Synthesis of Asynchronizations." In Static Analysis, 135–59. Cham: Springer Nature Switzerland, 2022. http://dx.doi.org/10.1007/978-3-031-22308-2_7.
Повний текст джерелаVenet, Arnaud. "Automatic Determination of Communication Topologies in Mobile Systems." In Static Analysis, 152–67. Berlin, Heidelberg: Springer Berlin Heidelberg, 1998. http://dx.doi.org/10.1007/3-540-49727-7_9.
Повний текст джерелаVechev, Martin, Eran Yahav, Raghavan Raman, and Vivek Sarkar. "Automatic Verification of Determinism for Structured Parallel Programs." In Static Analysis, 455–71. Berlin, Heidelberg: Springer Berlin Heidelberg, 2010. http://dx.doi.org/10.1007/978-3-642-15769-1_28.
Повний текст джерелаAbdulla, Parosh Aziz, Bengt Jonsson, and Cong Quy Trinh. "Automated Verification of Linearization Policies." In Static Analysis, 61–83. Berlin, Heidelberg: Springer Berlin Heidelberg, 2016. http://dx.doi.org/10.1007/978-3-662-53413-7_4.
Повний текст джерелаТези доповідей конференцій з теми "Automatic Static Analysi"
Marcilio, Diego, and Rodrigo Bonifácio. "Automatically Fixing Static Analysis Tools Violations." In XI Congresso Brasileiro de Software: Teoria e Prática. Sociedade Brasileira de Computação - SBC, 2020. http://dx.doi.org/10.5753/cbsoft_estendido.2020.14625.
Повний текст джерелаJenei, Bettina, Roman Manasipov, Hussein Almuallim, and Leonhard Ganzer. "Advantages of Automated Rock Type Adjusting History Matching Workflow Driven by Adjoint Approach with Sensitivity Analysis of Different Model Parameters and Saturation Functions." In SPE Reservoir Characterisation and Simulation Conference and Exhibition. SPE, 2023. http://dx.doi.org/10.2118/212616-ms.
Повний текст джерелаAghav, Ishwari, Vishal Tathe, Aashay Zajriya, and M. Emmanuel. "Automated static data flow analysis." In 2013 Fourth International Conference on Computing, Communications and Networking Technologies (ICCCNT). IEEE, 2013. http://dx.doi.org/10.1109/icccnt.2013.6726670.
Повний текст джерелаMaas, Alisa J. "Automatic array property detection via static analysis." In SPLASH '15: Conference on Systems, Programming, Languages, and Applications: Software for Humanity. New York, NY, USA: ACM, 2015. http://dx.doi.org/10.1145/2814189.2815367.
Повний текст джерелаAldavert, David, Marcal Rusinol, and Ricardo Toledo. "Automatic Static/Variable Content Separation in Administrative Document Images." In 2017 14th IAPR International Conference on Document Analysis and Recognition (ICDAR). IEEE, 2017. http://dx.doi.org/10.1109/icdar.2017.23.
Повний текст джерелаVenkatesh, Sid, Sidney Ly, Martin Manning, John Michaloski, and Fred Proctor. "Automating Asset Knowledge With MTConnect." In ASME 2016 11th International Manufacturing Science and Engineering Conference. American Society of Mechanical Engineers, 2016. http://dx.doi.org/10.1115/msec2016-8629.
Повний текст джерелаRamler, Rudolf, Michael Moser, and Josef Pichler. "Automated Static Analysis of Unit Test Code." In 2016 IEEE 23rd International Conference on Software Analysis, Evolution, and Reengineering (SANER). IEEE, 2016. http://dx.doi.org/10.1109/saner.2016.102.
Повний текст джерелаDoty, L. F. "Automated static covariance analysis with Mathematica." In Signal and Data Processing of Small Targets 1990. SPIE, 1990. http://dx.doi.org/10.1117/12.2321772.
Повний текст джерелаDoty, L. F. "Automated static covariance analysis with mathematica." In OE/LASE '90, 14-19 Jan., Los Angeles, CA, edited by Oliver E. Drummond. SPIE, 1990. http://dx.doi.org/10.1117/12.21599.
Повний текст джерелаXiang, Jianwen, and Kazuo Yanoo. "Automatic Static Fault Tree Analysis from System Models." In 2010 IEEE 16th Pacific Rim International Symposium on Dependable Computing (PRDC). IEEE, 2010. http://dx.doi.org/10.1109/prdc.2010.35.
Повний текст джерелаЗвіти організацій з теми "Automatic Static Analysi"
Wendelberger, James G., Juan Duque, Kimberly Ann Kaufeld, and Elizabeth J. Kelly. Automatic Image Analysis Status Report. Office of Scientific and Technical Information (OSTI), December 2017. http://dx.doi.org/10.2172/1412838.
Повний текст джерелаGajera, Hardik, Srinivas S. Pulugurtha, and Sonu Mathew. Influence of Level 1 and Level 2 Automated Vehicles on Fatal Crashes and Fatal Crash Occurrence. Mineta Transportation Institute, June 2022. http://dx.doi.org/10.31979/mti.2022.2034.
Повний текст джерелаKress, Marin, Patricia DiJoseph, Patrick Donohue, and Kenneth Mitchell. Automatic Identification System Analysis Package user guide. Engineer Research and Development Center (U.S.), July 2022. http://dx.doi.org/10.21079/11681/44783.
Повний текст джерелаMadni, I. K. Analysis of Long-Term Station Blackout without automatic depressurization at Peach Bottom using MELCOR (Version 1.8). Office of Scientific and Technical Information (OSTI), May 1994. http://dx.doi.org/10.2172/10159734.
Повний текст джерелаBates, C. Richards, Melanie Chocholek, Clive Fox, John Howe, and Neil Jones. Scottish Inshore Fisheries Integrated Data System (SIFIDS): Work package (3) final report development of a novel, automated mechanism for the collection of scallop stock 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.23449.
Повний текст джерелаBishop, Gary. Uncertainty analysis of runoff estimates from runoff-depth contour maps produced by five automated procedures for the northeastern United States. Portland State University Library, January 2000. http://dx.doi.org/10.15760/etd.6197.
Повний текст джерелаTetreault, Brian, Marin Kress, and Patricia DiJoseph. AIS data case study : evaluating reception of AIS position reports on the Missouri River by LOMA AIS sites in April and August 2020. Engineer Research and Development Center (U.S.), January 2022. http://dx.doi.org/10.21079/11681/42980.
Повний текст джерелаArhin, Stephen, Babin Manandhar, Hamdiat Baba Adam, and Adam Gatiba. Predicting Bus Travel Times in Washington, DC Using Artificial Neural Networks (ANNs). Mineta Transportation Institute, April 2021. http://dx.doi.org/10.31979/mti.2021.1943.
Повний текст джерелаOsadcha, Kateryna P., and Viacheslav V. Osadchyi. The use of cloud computing technology in professional training of future programmers. [б. в.], June 2021. http://dx.doi.org/10.31812/123456789/4435.
Повний текст джерелаEl-Rayes, Khaled, and Ernest-John Ignacio. Evaluating the Benefits of Implementing Mobile Road Weather Information Sensors. Illinois Center for Transportation, February 2022. http://dx.doi.org/10.36501/0197-9191/22-004.
Повний текст джерела