Littérature scientifique sur le sujet « Automatic Static Analysi »
Créez une référence correcte selon les styles APA, MLA, Chicago, Harvard et plusieurs autres
Sommaire
Consultez les listes thématiques d’articles de revues, de livres, de thèses, de rapports de conférences et d’autres sources académiques sur le sujet « Automatic Static Analysi ».
À côté de chaque source dans la liste de références il y a un bouton « Ajouter à la bibliographie ». Cliquez sur ce bouton, et nous générerons automatiquement la référence bibliographique pour la source choisie selon votre style de citation préféré : APA, MLA, Harvard, Vancouver, Chicago, etc.
Vous pouvez aussi télécharger le texte intégral de la publication scolaire au format pdf et consulter son résumé en ligne lorsque ces informations sont inclues dans les métadonnées.
Articles de revues sur le sujet "Automatic Static Analysi"
Li, Wei, Decheng Wang et Peng Cheng. « Design and Research of Automatic Tool Changer System for Multistation Spring Forming Machine ». Journal of Robotics 2020 (1 décembre 2020) : 1–9. http://dx.doi.org/10.1155/2020/4635056.
Texte intégralTatasciore, Monica, Vanessa K. Bowden, Troy A. W. Visser, Stephanie Chen et 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 (septembre 2018) : 1668. http://dx.doi.org/10.1177/1541931218621378.
Texte intégralG, Anil Reddy, Balakathikeyan B, Sri Ram S, Dr R. P. S. Manikandan, Dr S. Prakash et Mr B. Varun Kumar. « Automatic Water Saving Irrigation System Using IoT ». International Journal for Research in Applied Science and Engineering Technology 10, no 2 (28 février 2022) : 1157–60. http://dx.doi.org/10.22214/ijraset.2022.40469.
Texte intégralPackevičius, Šarūnas, Greta Rudžionienė et 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 (février 2021) : 167–91. http://dx.doi.org/10.1142/s0218194021500042.
Texte intégralTesfatsion, Leigh. « Nonlocal automated comparative static analysis ». Computer Science in Economics and Management 5, no 4 (novembre 1992) : 313–31. http://dx.doi.org/10.1007/bf00436585.
Texte intégralRama, Mr V. Seetha. « Precision Agriculture using IOT ». International Journal for Research in Applied Science and Engineering Technology 9, no VII (10 juillet 2021) : 122–27. http://dx.doi.org/10.22214/ijraset.2021.36255.
Texte intégralCui, Bing Yan, Li Wen Chen, Zhi Jun Wang, Yuan Hao Zhao, Li Zhan Xian et 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 (mars 2015) : 3–12. http://dx.doi.org/10.4028/www.scientific.net/jbbbe.22.3.
Texte intégralLIANG, Guang-Tai, Na MENG, Jin-Hui LI, Hao ZHONG, Lu ZHANG et Qian-Xiang WANG. « A Semi-Automatic Extensible Static Defect Analysis Tool ». Chinese Journal of Computers 34, no 6 (6 septembre 2011) : 1114–25. http://dx.doi.org/10.3724/sp.j.1016.2011.01114.
Texte intégralRavitch, Tristan, Steve Jackson, Eric Aderhold et Ben Liblit. « Automatic generation of library bindings using static analysis ». ACM SIGPLAN Notices 44, no 6 (28 mai 2009) : 352–62. http://dx.doi.org/10.1145/1543135.1542516.
Texte intégralBozga, Marius, Jean-Claude Fernandez et Lucian Ghirvu. « Using static analysis to improve automatic test generation ». International Journal on Software Tools for Technology Transfer (STTT) 4, no 2 (1 février 2003) : 142–52. http://dx.doi.org/10.1007/s10009-002-0098-x.
Texte intégralThèses sur le sujet "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.
Texte intégralBaca, 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.
Texte intégralJoni, 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.
Texte intégralXie, 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.
Texte intégralNimal, 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.
Texte intégralAung, 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.
Texte intégralDiarra, Rokiatou. « Automatic Parallelization for Heterogeneous Embedded Systems ». Thesis, Université Paris-Saclay (ComUE), 2019. http://www.theses.fr/2019SACLS485.
Texte intégralRecent 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.
Texte intégralWei, 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/.
Texte intégralde, 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.
Texte intégralDen 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
Livres sur le sujet "Automatic Static Analysi"
Office, ALMRS Project. Automated Land and Mineral Record System (ALMRS) alternatives analysis : Technical product. Alexandria, Va : Bureau of Land Management, 1985.
Trouver le texte intégralStaten, Carroll M. Training development under logistics support analysis. Brooks Air Force Base, Tex : Air Force Human Resources Laboratory, Air Force Systems Command, 1988.
Trouver le texte intégralU.S. Nuclear Regulatory Commission. Office of Nuclear Regulatory Research. Division of Systems Research. et Brookhaven National Laboratory, dir. 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.
Trouver le texte intégralJimenez, 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.
Trouver le texte intégralGoehring, 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.
Trouver le texte intégralSatdarova, Faina. DIFFRACTION ANALYSIS OF DEFORMED METALS : Theory, Methods, Programs. xxu : Academus Publishing, 2019. http://dx.doi.org/10.31519/monography_1598.
Texte intégralUnited 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.
Trouver le texte intégralBogumil, Veniamin, et Sarango Duke. Telematics on urban passenger transport. ru : INFRA-M Academic Publishing LLC., 2022. http://dx.doi.org/10.12737/1819882.
Texte intégralService, 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.
Trouver le texte intégralKovalenko, Vladimir. Design of information systems. ru : INFRA-M Academic Publishing LLC., 2020. http://dx.doi.org/10.12737/987869.
Texte intégralChapitres de livres sur le sujet "Automatic Static Analysi"
Samanta, Roopsha, Oswaldo Olivo et E. Allen Emerson. « Cost-Aware Automatic Program Repair ». Dans Static Analysis, 268–84. Cham : Springer International Publishing, 2014. http://dx.doi.org/10.1007/978-3-319-10936-7_17.
Texte intégralRaychev, Veselin, Martin Vechev et Eran Yahav. « Automatic Synthesis of Deterministic Concurrency ». Dans Static Analysis, 283–303. Berlin, Heidelberg : Springer Berlin Heidelberg, 2013. http://dx.doi.org/10.1007/978-3-642-38856-9_16.
Texte intégralXu, Xuezheng, Xudong Wang et Jingling Xue. « Automatic Synthesis of Data-Flow Analyzers ». Dans Static Analysis, 453–78. Cham : Springer International Publishing, 2021. http://dx.doi.org/10.1007/978-3-030-88806-0_22.
Texte intégralD’Osualdo, Emanuele, Jonathan Kochems et C. H. Luke Ong. « Automatic Verification of Erlang-Style Concurrency ». Dans Static Analysis, 454–76. Berlin, Heidelberg : Springer Berlin Heidelberg, 2013. http://dx.doi.org/10.1007/978-3-642-38856-9_24.
Texte intégralChatterjee, Krishnendu, Thomas A. Henzinger et Jan Otop. « Quantitative Monitor Automata ». Dans Static Analysis, 23–38. Berlin, Heidelberg : Springer Berlin Heidelberg, 2016. http://dx.doi.org/10.1007/978-3-662-53413-7_2.
Texte intégralBrauer, Jörg, et Andy King. « Automatic Abstraction for Intervals Using Boolean Formulae ». Dans Static Analysis, 167–83. Berlin, Heidelberg : Springer Berlin Heidelberg, 2010. http://dx.doi.org/10.1007/978-3-642-15769-1_11.
Texte intégralBeillahi, Sidi Mohamed, Ahmed Bouajjani, Constantin Enea et Shuvendu Lahiri. « Automated Synthesis of Asynchronizations ». Dans Static Analysis, 135–59. Cham : Springer Nature Switzerland, 2022. http://dx.doi.org/10.1007/978-3-031-22308-2_7.
Texte intégralVenet, Arnaud. « Automatic Determination of Communication Topologies in Mobile Systems ». Dans Static Analysis, 152–67. Berlin, Heidelberg : Springer Berlin Heidelberg, 1998. http://dx.doi.org/10.1007/3-540-49727-7_9.
Texte intégralVechev, Martin, Eran Yahav, Raghavan Raman et Vivek Sarkar. « Automatic Verification of Determinism for Structured Parallel Programs ». Dans Static Analysis, 455–71. Berlin, Heidelberg : Springer Berlin Heidelberg, 2010. http://dx.doi.org/10.1007/978-3-642-15769-1_28.
Texte intégralAbdulla, Parosh Aziz, Bengt Jonsson et Cong Quy Trinh. « Automated Verification of Linearization Policies ». Dans Static Analysis, 61–83. Berlin, Heidelberg : Springer Berlin Heidelberg, 2016. http://dx.doi.org/10.1007/978-3-662-53413-7_4.
Texte intégralActes de conférences sur le sujet "Automatic Static Analysi"
Marcilio, Diego, et Rodrigo Bonifácio. « Automatically Fixing Static Analysis Tools Violations ». Dans 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.
Texte intégralJenei, Bettina, Roman Manasipov, Hussein Almuallim et 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 ». Dans SPE Reservoir Characterisation and Simulation Conference and Exhibition. SPE, 2023. http://dx.doi.org/10.2118/212616-ms.
Texte intégralAghav, Ishwari, Vishal Tathe, Aashay Zajriya et M. Emmanuel. « Automated static data flow analysis ». Dans 2013 Fourth International Conference on Computing, Communications and Networking Technologies (ICCCNT). IEEE, 2013. http://dx.doi.org/10.1109/icccnt.2013.6726670.
Texte intégralMaas, Alisa J. « Automatic array property detection via static analysis ». Dans 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.
Texte intégralAldavert, David, Marcal Rusinol et Ricardo Toledo. « Automatic Static/Variable Content Separation in Administrative Document Images ». Dans 2017 14th IAPR International Conference on Document Analysis and Recognition (ICDAR). IEEE, 2017. http://dx.doi.org/10.1109/icdar.2017.23.
Texte intégralVenkatesh, Sid, Sidney Ly, Martin Manning, John Michaloski et Fred Proctor. « Automating Asset Knowledge With MTConnect ». Dans ASME 2016 11th International Manufacturing Science and Engineering Conference. American Society of Mechanical Engineers, 2016. http://dx.doi.org/10.1115/msec2016-8629.
Texte intégralRamler, Rudolf, Michael Moser et Josef Pichler. « Automated Static Analysis of Unit Test Code ». Dans 2016 IEEE 23rd International Conference on Software Analysis, Evolution, and Reengineering (SANER). IEEE, 2016. http://dx.doi.org/10.1109/saner.2016.102.
Texte intégralDoty, L. F. « Automated static covariance analysis with Mathematica ». Dans Signal and Data Processing of Small Targets 1990. SPIE, 1990. http://dx.doi.org/10.1117/12.2321772.
Texte intégralDoty, L. F. « Automated static covariance analysis with mathematica ». Dans OE/LASE '90, 14-19 Jan., Los Angeles, CA, sous la direction de Oliver E. Drummond. SPIE, 1990. http://dx.doi.org/10.1117/12.21599.
Texte intégralXiang, Jianwen, et Kazuo Yanoo. « Automatic Static Fault Tree Analysis from System Models ». Dans 2010 IEEE 16th Pacific Rim International Symposium on Dependable Computing (PRDC). IEEE, 2010. http://dx.doi.org/10.1109/prdc.2010.35.
Texte intégralRapports d'organisations sur le sujet "Automatic Static Analysi"
Wendelberger, James G., Juan Duque, Kimberly Ann Kaufeld et Elizabeth J. Kelly. Automatic Image Analysis Status Report. Office of Scientific and Technical Information (OSTI), décembre 2017. http://dx.doi.org/10.2172/1412838.
Texte intégralGajera, Hardik, Srinivas S. Pulugurtha et Sonu Mathew. Influence of Level 1 and Level 2 Automated Vehicles on Fatal Crashes and Fatal Crash Occurrence. Mineta Transportation Institute, juin 2022. http://dx.doi.org/10.31979/mti.2022.2034.
Texte intégralKress, Marin, Patricia DiJoseph, Patrick Donohue et Kenneth Mitchell. Automatic Identification System Analysis Package user guide. Engineer Research and Development Center (U.S.), juillet 2022. http://dx.doi.org/10.21079/11681/44783.
Texte intégralMadni, 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), mai 1994. http://dx.doi.org/10.2172/10159734.
Texte intégralBates, C. Richards, Melanie Chocholek, Clive Fox, John Howe et 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. Sous la direction de Mark James et Hannah Ladd-Jones. Marine Alliance for Science and Technology for Scotland (MASTS), 2019. http://dx.doi.org/10.15664/10023.23449.
Texte intégralBishop, 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, janvier 2000. http://dx.doi.org/10.15760/etd.6197.
Texte intégralTetreault, Brian, Marin Kress et 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.), janvier 2022. http://dx.doi.org/10.21079/11681/42980.
Texte intégralArhin, Stephen, Babin Manandhar, Hamdiat Baba Adam et Adam Gatiba. Predicting Bus Travel Times in Washington, DC Using Artificial Neural Networks (ANNs). Mineta Transportation Institute, avril 2021. http://dx.doi.org/10.31979/mti.2021.1943.
Texte intégralOsadcha, Kateryna P., et Viacheslav V. Osadchyi. The use of cloud computing technology in professional training of future programmers. [б. в.], juin 2021. http://dx.doi.org/10.31812/123456789/4435.
Texte intégralEl-Rayes, Khaled, et Ernest-John Ignacio. Evaluating the Benefits of Implementing Mobile Road Weather Information Sensors. Illinois Center for Transportation, février 2022. http://dx.doi.org/10.36501/0197-9191/22-004.
Texte intégral