Literatura académica sobre el tema "Automatic Static Analysi"
Crea una cita precisa en los estilos APA, MLA, Chicago, Harvard y otros
Consulte las listas temáticas de artículos, libros, tesis, actas de conferencias y otras fuentes académicas sobre el tema "Automatic Static Analysi".
Junto a cada fuente en la lista de referencias hay un botón "Agregar a la bibliografía". Pulsa este botón, y generaremos automáticamente la referencia bibliográfica para la obra elegida en el estilo de cita que necesites: APA, MLA, Harvard, Vancouver, Chicago, etc.
También puede descargar el texto completo de la publicación académica en formato pdf y leer en línea su resumen siempre que esté disponible en los metadatos.
Artículos de revistas sobre el tema "Automatic Static Analysi"
Li, Wei, Decheng Wang y Peng Cheng. "Design and Research of Automatic Tool Changer System for Multistation Spring Forming Machine". Journal of Robotics 2020 (1 de diciembre de 2020): 1–9. http://dx.doi.org/10.1155/2020/4635056.
Texto completoTatasciore, Monica, Vanessa K. Bowden, Troy A. W. Visser, Stephanie Chen y 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, n.º 1 (septiembre de 2018): 1668. http://dx.doi.org/10.1177/1541931218621378.
Texto completoG, Anil Reddy, Balakathikeyan B, Sri Ram S, Dr R. P. S. Manikandan, Dr S. Prakash y Mr B. Varun Kumar. "Automatic Water Saving Irrigation System Using IoT". International Journal for Research in Applied Science and Engineering Technology 10, n.º 2 (28 de febrero de 2022): 1157–60. http://dx.doi.org/10.22214/ijraset.2022.40469.
Texto completoPackevičius, Šarūnas, Greta Rudžionienė y Eduardas Bareiša. "Automated Visual Testing of Application User Interfaces Using Static Analysis of Screenshots". International Journal of Software Engineering and Knowledge Engineering 31, n.º 02 (febrero de 2021): 167–91. http://dx.doi.org/10.1142/s0218194021500042.
Texto completoTesfatsion, Leigh. "Nonlocal automated comparative static analysis". Computer Science in Economics and Management 5, n.º 4 (noviembre de 1992): 313–31. http://dx.doi.org/10.1007/bf00436585.
Texto completoRama, Mr V. Seetha. "Precision Agriculture using IOT". International Journal for Research in Applied Science and Engineering Technology 9, n.º VII (10 de julio de 2021): 122–27. http://dx.doi.org/10.22214/ijraset.2021.36255.
Texto completoCui, Bing Yan, Li Wen Chen, Zhi Jun Wang, Yuan Hao Zhao, Li Zhan Xian y 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 (marzo de 2015): 3–12. http://dx.doi.org/10.4028/www.scientific.net/jbbbe.22.3.
Texto completoLIANG, Guang-Tai, Na MENG, Jin-Hui LI, Hao ZHONG, Lu ZHANG y Qian-Xiang WANG. "A Semi-Automatic Extensible Static Defect Analysis Tool". Chinese Journal of Computers 34, n.º 6 (6 de septiembre de 2011): 1114–25. http://dx.doi.org/10.3724/sp.j.1016.2011.01114.
Texto completoRavitch, Tristan, Steve Jackson, Eric Aderhold y Ben Liblit. "Automatic generation of library bindings using static analysis". ACM SIGPLAN Notices 44, n.º 6 (28 de mayo de 2009): 352–62. http://dx.doi.org/10.1145/1543135.1542516.
Texto completoBozga, Marius, Jean-Claude Fernandez y Lucian Ghirvu. "Using static analysis to improve automatic test generation". International Journal on Software Tools for Technology Transfer (STTT) 4, n.º 2 (1 de febrero de 2003): 142–52. http://dx.doi.org/10.1007/s10009-002-0098-x.
Texto completoTesis sobre el tema "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.
Texto completoBaca, 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.
Texto completoJoni, 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.
Texto completoXie, 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.
Texto completoNimal, 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.
Texto completoAung, 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.
Texto completoDiarra, Rokiatou. "Automatic Parallelization for Heterogeneous Embedded Systems". Thesis, Université Paris-Saclay (ComUE), 2019. http://www.theses.fr/2019SACLS485.
Texto completoRecent 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.
Texto completoWei, 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/.
Texto completode, 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.
Texto completoDen 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
Libros sobre el tema "Automatic Static Analysi"
Office, ALMRS Project. Automated Land and Mineral Record System (ALMRS) alternatives analysis: Technical product. Alexandria, Va: Bureau of Land Management, 1985.
Buscar texto completoStaten, Carroll M. Training development under logistics support analysis. Brooks Air Force Base, Tex: Air Force Human Resources Laboratory, Air Force Systems Command, 1988.
Buscar texto completoU.S. Nuclear Regulatory Commission. Office of Nuclear Regulatory Research. Division of Systems Research. y 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.
Buscar texto completoJimenez, 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.
Buscar texto completoGoehring, 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.
Buscar texto completoSatdarova, Faina. DIFFRACTION ANALYSIS OF DEFORMED METALS: Theory, Methods, Programs. xxu: Academus Publishing, 2019. http://dx.doi.org/10.31519/monography_1598.
Texto completoUnited 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.
Buscar texto completoBogumil, Veniamin y Sarango Duke. Telematics on urban passenger transport. ru: INFRA-M Academic Publishing LLC., 2022. http://dx.doi.org/10.12737/1819882.
Texto completoService, 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.
Buscar texto completoKovalenko, Vladimir. Design of information systems. ru: INFRA-M Academic Publishing LLC., 2020. http://dx.doi.org/10.12737/987869.
Texto completoCapítulos de libros sobre el tema "Automatic Static Analysi"
Samanta, Roopsha, Oswaldo Olivo y E. Allen Emerson. "Cost-Aware Automatic Program Repair". En Static Analysis, 268–84. Cham: Springer International Publishing, 2014. http://dx.doi.org/10.1007/978-3-319-10936-7_17.
Texto completoRaychev, Veselin, Martin Vechev y Eran Yahav. "Automatic Synthesis of Deterministic Concurrency". En Static Analysis, 283–303. Berlin, Heidelberg: Springer Berlin Heidelberg, 2013. http://dx.doi.org/10.1007/978-3-642-38856-9_16.
Texto completoXu, Xuezheng, Xudong Wang y Jingling Xue. "Automatic Synthesis of Data-Flow Analyzers". En Static Analysis, 453–78. Cham: Springer International Publishing, 2021. http://dx.doi.org/10.1007/978-3-030-88806-0_22.
Texto completoD’Osualdo, Emanuele, Jonathan Kochems y C. H. Luke Ong. "Automatic Verification of Erlang-Style Concurrency". En Static Analysis, 454–76. Berlin, Heidelberg: Springer Berlin Heidelberg, 2013. http://dx.doi.org/10.1007/978-3-642-38856-9_24.
Texto completoChatterjee, Krishnendu, Thomas A. Henzinger y Jan Otop. "Quantitative Monitor Automata". En Static Analysis, 23–38. Berlin, Heidelberg: Springer Berlin Heidelberg, 2016. http://dx.doi.org/10.1007/978-3-662-53413-7_2.
Texto completoBrauer, Jörg y Andy King. "Automatic Abstraction for Intervals Using Boolean Formulae". En Static Analysis, 167–83. Berlin, Heidelberg: Springer Berlin Heidelberg, 2010. http://dx.doi.org/10.1007/978-3-642-15769-1_11.
Texto completoBeillahi, Sidi Mohamed, Ahmed Bouajjani, Constantin Enea y Shuvendu Lahiri. "Automated Synthesis of Asynchronizations". En Static Analysis, 135–59. Cham: Springer Nature Switzerland, 2022. http://dx.doi.org/10.1007/978-3-031-22308-2_7.
Texto completoVenet, Arnaud. "Automatic Determination of Communication Topologies in Mobile Systems". En Static Analysis, 152–67. Berlin, Heidelberg: Springer Berlin Heidelberg, 1998. http://dx.doi.org/10.1007/3-540-49727-7_9.
Texto completoVechev, Martin, Eran Yahav, Raghavan Raman y Vivek Sarkar. "Automatic Verification of Determinism for Structured Parallel Programs". En Static Analysis, 455–71. Berlin, Heidelberg: Springer Berlin Heidelberg, 2010. http://dx.doi.org/10.1007/978-3-642-15769-1_28.
Texto completoAbdulla, Parosh Aziz, Bengt Jonsson y Cong Quy Trinh. "Automated Verification of Linearization Policies". En Static Analysis, 61–83. Berlin, Heidelberg: Springer Berlin Heidelberg, 2016. http://dx.doi.org/10.1007/978-3-662-53413-7_4.
Texto completoActas de conferencias sobre el tema "Automatic Static Analysi"
Marcilio, Diego y Rodrigo Bonifácio. "Automatically Fixing Static Analysis Tools Violations". En 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.
Texto completoJenei, Bettina, Roman Manasipov, Hussein Almuallim y 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". En SPE Reservoir Characterisation and Simulation Conference and Exhibition. SPE, 2023. http://dx.doi.org/10.2118/212616-ms.
Texto completoAghav, Ishwari, Vishal Tathe, Aashay Zajriya y M. Emmanuel. "Automated static data flow analysis". En 2013 Fourth International Conference on Computing, Communications and Networking Technologies (ICCCNT). IEEE, 2013. http://dx.doi.org/10.1109/icccnt.2013.6726670.
Texto completoMaas, Alisa J. "Automatic array property detection via static analysis". En 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.
Texto completoAldavert, David, Marcal Rusinol y Ricardo Toledo. "Automatic Static/Variable Content Separation in Administrative Document Images". En 2017 14th IAPR International Conference on Document Analysis and Recognition (ICDAR). IEEE, 2017. http://dx.doi.org/10.1109/icdar.2017.23.
Texto completoVenkatesh, Sid, Sidney Ly, Martin Manning, John Michaloski y Fred Proctor. "Automating Asset Knowledge With MTConnect". En ASME 2016 11th International Manufacturing Science and Engineering Conference. American Society of Mechanical Engineers, 2016. http://dx.doi.org/10.1115/msec2016-8629.
Texto completoRamler, Rudolf, Michael Moser y Josef Pichler. "Automated Static Analysis of Unit Test Code". En 2016 IEEE 23rd International Conference on Software Analysis, Evolution, and Reengineering (SANER). IEEE, 2016. http://dx.doi.org/10.1109/saner.2016.102.
Texto completoDoty, L. F. "Automated static covariance analysis with Mathematica". En Signal and Data Processing of Small Targets 1990. SPIE, 1990. http://dx.doi.org/10.1117/12.2321772.
Texto completoDoty, L. F. "Automated static covariance analysis with mathematica". En OE/LASE '90, 14-19 Jan., Los Angeles, CA, editado por Oliver E. Drummond. SPIE, 1990. http://dx.doi.org/10.1117/12.21599.
Texto completoXiang, Jianwen y Kazuo Yanoo. "Automatic Static Fault Tree Analysis from System Models". En 2010 IEEE 16th Pacific Rim International Symposium on Dependable Computing (PRDC). IEEE, 2010. http://dx.doi.org/10.1109/prdc.2010.35.
Texto completoInformes sobre el tema "Automatic Static Analysi"
Wendelberger, James G., Juan Duque, Kimberly Ann Kaufeld y Elizabeth J. Kelly. Automatic Image Analysis Status Report. Office of Scientific and Technical Information (OSTI), diciembre de 2017. http://dx.doi.org/10.2172/1412838.
Texto completoGajera, Hardik, Srinivas S. Pulugurtha y Sonu Mathew. Influence of Level 1 and Level 2 Automated Vehicles on Fatal Crashes and Fatal Crash Occurrence. Mineta Transportation Institute, junio de 2022. http://dx.doi.org/10.31979/mti.2022.2034.
Texto completoKress, Marin, Patricia DiJoseph, Patrick Donohue y Kenneth Mitchell. Automatic Identification System Analysis Package user guide. Engineer Research and Development Center (U.S.), julio de 2022. http://dx.doi.org/10.21079/11681/44783.
Texto completoMadni, 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), mayo de 1994. http://dx.doi.org/10.2172/10159734.
Texto completoBates, C. Richards, Melanie Chocholek, Clive Fox, John Howe y 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. Editado por Mark James y Hannah Ladd-Jones. Marine Alliance for Science and Technology for Scotland (MASTS), 2019. http://dx.doi.org/10.15664/10023.23449.
Texto completoBishop, 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, enero de 2000. http://dx.doi.org/10.15760/etd.6197.
Texto completoTetreault, Brian, Marin Kress y 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.), enero de 2022. http://dx.doi.org/10.21079/11681/42980.
Texto completoArhin, Stephen, Babin Manandhar, Hamdiat Baba Adam y Adam Gatiba. Predicting Bus Travel Times in Washington, DC Using Artificial Neural Networks (ANNs). Mineta Transportation Institute, abril de 2021. http://dx.doi.org/10.31979/mti.2021.1943.
Texto completoOsadcha, Kateryna P. y Viacheslav V. Osadchyi. The use of cloud computing technology in professional training of future programmers. [б. в.], junio de 2021. http://dx.doi.org/10.31812/123456789/4435.
Texto completoEl-Rayes, Khaled y Ernest-John Ignacio. Evaluating the Benefits of Implementing Mobile Road Weather Information Sensors. Illinois Center for Transportation, febrero de 2022. http://dx.doi.org/10.36501/0197-9191/22-004.
Texto completo