Auswahl der wissenschaftlichen Literatur zum Thema „Statit analysis“
Geben Sie eine Quelle nach APA, MLA, Chicago, Harvard und anderen Zitierweisen an
Inhaltsverzeichnis
Machen Sie sich mit den Listen der aktuellen Artikel, Bücher, Dissertationen, Berichten und anderer wissenschaftlichen Quellen zum Thema "Statit analysis" bekannt.
Neben jedem Werk im Literaturverzeichnis ist die Option "Zur Bibliographie hinzufügen" verfügbar. Nutzen Sie sie, wird Ihre bibliographische Angabe des gewählten Werkes nach der nötigen Zitierweise (APA, MLA, Harvard, Chicago, Vancouver usw.) automatisch gestaltet.
Sie können auch den vollen Text der wissenschaftlichen Publikation im PDF-Format herunterladen und eine Online-Annotation der Arbeit lesen, wenn die relevanten Parameter in den Metadaten verfügbar sind.
Zeitschriftenartikel zum Thema "Statit analysis"
Shi, Weiming. „Ongoing professional practice evaluation implementation within STATIT.“ Journal of Clinical Oncology 30, Nr. 34_suppl (01.12.2012): 283. http://dx.doi.org/10.1200/jco.2012.30.34_suppl.283.
Der volle Inhalt der QuelleYuniati, Trihastuti, Aris Rafael Tambunan und Yoso Adi Setyoko. „Implementasi Static Analysis Dan Background Process Untuk Mendeteksi Malware Pada Aplikasi Android Dengan Mobile Security Framework“. LEDGER : Journal Informatic and Information Technology 1, Nr. 2 (18.10.2022): 24–28. http://dx.doi.org/10.20895/ledger.v1i2.848.
Der volle Inhalt der QuelleDave Marmik M, Dave Marmik M., und Kothari Kartik D. „Static Structure Analysis of Diesel Engine Camshaft“. International Journal of Scientific Research 2, Nr. 5 (01.06.2012): 208–9. http://dx.doi.org/10.15373/22778179/may2013/69.
Der volle Inhalt der QuelleSever, Ozan. „Comparison of static and dynamic core exercises’ effects on Stork balance test in soccer players Futbolcularda statik ve dinamik core egzersizlerin Stork denge testine etkisi“. Journal of Human Sciences 14, Nr. 2 (17.05.2017): 1781. http://dx.doi.org/10.14687/jhs.v14i2.4440.
Der volle Inhalt der QuelleSarkono, Sarkono, Sukarti Moeljopawiro, Bambang Setiaji und Langkah Sembiring. „SIFAT FISIKOKIMIAWI SELULOSA PRODUKSI ISOLAT BAKTERI Gluconacetobacter xylinus KRE-65 PADA METODE FERMENTASI BERBEDA (Physicochemical Properties of Cellulose Produced by Bacterial Isolate Gluconacetobacter xylinus KRE-65 in Different Fermentation Methods)“. Jurnal Agritech 35, Nr. 04 (25.11.2015): 434. http://dx.doi.org/10.22146/agritech.9327.
Der volle Inhalt der QuelleJ, Manikandan, und Yusuf Mubin A. „Design, Static Analysis and Fabrication of Composite Joints“. International Journal of Psychosocial Rehabilitation 23, Nr. 4 (20.07.2019): 180–89. http://dx.doi.org/10.37200/ijpr/v23i4/pr190175.
Der volle Inhalt der QuelleBirla, Shilpi, R. K. Singh und Manisha Pattnaik. „Static Noise Margin Analysis of Various SRAM Topologies“. International Journal of Engineering and Technology 3, Nr. 3 (2011): 304–9. http://dx.doi.org/10.7763/ijet.2011.v3.242.
Der volle Inhalt der QuelleMcAllester, David. „On the complexity analysis of static analyses“. Journal of the ACM 49, Nr. 4 (Juli 2002): 512–37. http://dx.doi.org/10.1145/581771.581774.
Der volle Inhalt der QuelleFrançois, Stijn, Mattias Schevenels, David Dooms, Miche Jansen, Jef Wambacq, Geert Lombaert, Geert Degrande und Guido De Roeck. „Stabil: An educational Matlab toolbox for static and dynamic structural analysis“. Computer Applications in Engineering Education 29, Nr. 5 (16.02.2021): 1372–89. http://dx.doi.org/10.1002/cae.22391.
Der volle Inhalt der QuelleMurakami, Hidenori. „Static and dynamic analyses of tensegrity structures. Part II. Quasi-static analysis“. International Journal of Solids and Structures 38, Nr. 20 (Mai 2001): 3615–29. http://dx.doi.org/10.1016/s0020-7683(00)00233-x.
Der volle Inhalt der QuelleDissertationen zum Thema "Statit analysis"
Monat, Raphaël. „Static type and value analysis by abstract interpretation of Python programs with native C libraries“. Electronic Thesis or Diss., Sorbonne université, 2021. http://www.theses.fr/2021SORUS263.
Der volle Inhalt der QuelleIn this thesis, we aim at designing both theoretically and experimentally methods for the automatic detection of potential bugs in software – or the proof of the absence thereof. This detection is done statically by analyzing programs’ source code without running them. We rely on the abstract interpretation framework to derive sound, computable semantics. In particular, we focus on analyzing dynamic programming languages. The target of this work is the analysis of Python programs combined with native C libraries
SHRESTHA, JAYESH. „Static Program Analysis“. Thesis, Uppsala universitet, Informationssystem, 2013. http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-208293.
Der volle Inhalt der QuelleZhang, Hao. „Nondeterministic Linear Static Finite Element Analysis: An Interval Approach“. Diss., Available online, Georgia Institute of Technology, 2005, 2005. http://etd.gatech.edu/theses/available/etd-08232005-020145/.
Der volle Inhalt der QuelleWhite, Donald, Committee Member ; Will, Kenneth, Committee Member ; Zureick, Abdul Hamid, Committee Member ; Hodges, Dewey, Committee Member ; Muhanna, Rafi, Committee Chair ; Haj-Ali, Rami, Committee Member.
Djoudi, Adel. „Binary level static analysis“. Thesis, Université Paris-Saclay (ComUE), 2016. http://www.theses.fr/2016SACLX093.
Der volle Inhalt der QuelleAutomatic software verification methods have seen increasing success since the early 2000s, thanks to several industrial successes (Microsoft, Airbus, etc.).Static program analysis aims to automatically infer verified properties of programs, based on their descriptions. The standard static analysis techniques apply on the software source code, written for instance in C or Java. However, access to source code is not possible for many safety-related applications, whether the source code is not available (mobile code, computer virus), or the developer does not disclose it (shelf components, third party certification).We are interested in this dissertation in design and development of a static binary analysis platform for safety analysis. Our contributions are made at three levels: semantics, implementation and static analysis.First, the semantics of analyzed binary programs is based on a generic, simple and concise formalism called DBA. It is extended with some specification and abstraction mechanisms in this dissertation. A well defined semantics of binary programs requires also an adequate memory model. We propose a new memory model adapted to binary level requirements and inspired from recent work on low-level C. This new model allows to enjoy the abstraction of the region-based memory model while keeping the expressiveness of the flat model.Second, our binary code analysis platform BinSec offers three basic services:disassembly, simulation and static analysis. Each machine instruction is translated into a block of semantically equivalent DBA instructions. The platform handles a large part of x86 instructions. A simplification step eliminates useless intermediate calculations in order to ease further analyses. Our simplifications especially allow to eliminate up to 75% of flag updates.Finally, we developed a static analysis engine for binary programs based on abstract interpretation. Besides abstract domains specifically adapted to binary analysis, we focused on the user control of trade offs between accuracy/correctness and efficiency. In addition, we offer an original approach for high-level conditions recovery from low-level conditions in order to enhance analysis precision. The approach is sound, efficient, platform-independent and it achieves very high ratio of recovery
Agrawal, Akash. „Static Analysis to improve RTL Verification“. Thesis, Virginia Tech, 2017. http://hdl.handle.net/10919/75293.
Der volle Inhalt der QuelleMaster of Science
Borchert, Thomas. „Code Profiling : Static Code Analysis“. Thesis, Karlstad University, Faculty of Economic Sciences, Communication and IT, 2008. http://urn.kb.se/resolve?urn=urn:nbn:se:kau:diva-1563.
Der volle Inhalt der QuelleCapturing the quality of software and detecting sections for further scrutiny within are of high interest for industry as well as for education. Project managers request quality reports in order to evaluate the current status and to initiate appropriate improvement actions and teachers feel the need of detecting students which need extra attention and help in certain programming aspects. By means of software measurement software characteristics can be quantified and the produced measures analyzed to gain an understanding about the underlying software quality.
In this study, the technique of code profiling (being the activity of creating a summary of distinctive characteristics of software code) was inspected, formulized and conducted by means of a sample group of 19 industry and 37 student programs. When software projects are analyzed by means of software measurements, a considerable amount of data is produced. The task is to organize the data and draw meaningful information from the measures produced, quickly and without high expenses.
The results of this study indicated that code profiling can be a useful technique for quick program comparisons and continuous quality observations with several application scenarios in both industry and education.
Lanaspre, Benoit. „Static analysis for distributed prograph“. Thesis, University of Southampton, 1997. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.262726.
Der volle Inhalt der QuelleAhmad, S. H. S. „Static analysis of masonry arches“. Thesis, University of Salford, 2017. http://usir.salford.ac.uk/43067/.
Der volle Inhalt der QuelleJakobsson, Filip. „Static Analysis for BSPlib Programs“. Thesis, Orléans, 2019. http://www.theses.fr/2019ORLE2005.
Der volle Inhalt der QuelleThe goal of scalable parallel programming is to program computer architectures composed of multiple processing units so that increasing the number of processing units leads to an increase in performance. Bulk Synchronous Parallel (BSP) is a widely used model for scalable parallel programming with predictable performance. BSPlib is a library for BSP programming in C. In BSPlib, parallel algorithms are expressed by intermingling instructions that control the global parallel structure, and instructions that express the local computation of each processing unit. This lets the programmer fine-tune synchronization, but also implement programs whose diverging parallel control flow obscures the underlying BSP structure. In practice however, the majority of BSPlib program are textually aligned, a property that ensures parallel control flow convergence. We examine three core aspects of BSPlib programs through the lens of textual alignment: synchronization, performanceandcommunication.First,wepresentastaticanalysisthatidentifiestextuallyalignedstatements and use it to verify safe synchronization. This analysis has been implemented in Frama-C and certified in Coq. Second, we exploit textual alignment to develop a static performance analysis for BSPlib programs, based on classic cost analysis for sequential programs. Third, we develop a textual alignment-based sufficient condition for safe registration. Registration in BSPlib enables communication by Direct Remote Memory Access but is error prone. This development forms the basis for a future static analysis of registration
Mountjoy, Jon-Dean. „Static analysis of functional languages“. Thesis, Rhodes University, 1994. http://hdl.handle.net/10962/d1006690.
Der volle Inhalt der QuelleKMBT_223
Bücher zum Thema "Statit analysis"
Drăgoi, Cezara, Suvam Mukherjee und Kedar Namjoshi, Hrsg. Static Analysis. Cham: Springer International Publishing, 2021. http://dx.doi.org/10.1007/978-3-030-88806-0.
Der volle Inhalt der QuelleLogozzo, Francesco, und Manuel Fähndrich, Hrsg. Static Analysis. Berlin, Heidelberg: Springer Berlin Heidelberg, 2013. http://dx.doi.org/10.1007/978-3-642-38856-9.
Der volle Inhalt der QuelleCousot, Radhia, Hrsg. Static Analysis. Berlin, Heidelberg: Springer Berlin Heidelberg, 2003. http://dx.doi.org/10.1007/3-540-44898-5.
Der volle Inhalt der QuelleCortesi, Agostino, und Gilberto Filé, Hrsg. Static Analysis. Berlin, Heidelberg: Springer Berlin Heidelberg, 1999. http://dx.doi.org/10.1007/3-540-48294-6.
Der volle Inhalt der QuelleCousot, Patrick, Hrsg. Static Analysis. Berlin, Heidelberg: Springer Berlin Heidelberg, 2001. http://dx.doi.org/10.1007/3-540-47764-0.
Der volle Inhalt der QuelleNielson, Hanne Riis, und Gilberto Filé, Hrsg. Static Analysis. Berlin, Heidelberg: Springer Berlin Heidelberg, 2007. http://dx.doi.org/10.1007/978-3-540-74061-2.
Der volle Inhalt der QuelleBlazy, Sandrine, und Thomas Jensen, Hrsg. Static Analysis. Berlin, Heidelberg: Springer Berlin Heidelberg, 2015. http://dx.doi.org/10.1007/978-3-662-48288-9.
Der volle Inhalt der QuelleMycroft, Alan, Hrsg. Static Analysis. Berlin, Heidelberg: Springer Berlin Heidelberg, 1995. http://dx.doi.org/10.1007/3-540-60360-3.
Der volle Inhalt der QuelleHermenegildo, Manuel V., und Germán Puebla, Hrsg. Static Analysis. Berlin, Heidelberg: Springer Berlin Heidelberg, 2002. http://dx.doi.org/10.1007/3-540-45789-5.
Der volle Inhalt der QuellePalsberg, Jens, und Zhendong Su, Hrsg. Static Analysis. Berlin, Heidelberg: Springer Berlin Heidelberg, 2009. http://dx.doi.org/10.1007/978-3-642-03237-0.
Der volle Inhalt der QuelleBuchteile zum Thema "Statit analysis"
Merlet, Jean-Pierre. „Static analysis“. In Solid Mechanics and Its Applications, 247–67. Dordrecht: Springer Netherlands, 2000. http://dx.doi.org/10.1007/978-94-010-9587-7_8.
Der volle Inhalt der QuelleMohanta, Abhijit, und Anoop Saldanha. „Static Analysis“. In Malware Analysis and Detection Engineering, 377–402. Berkeley, CA: Apress, 2020. http://dx.doi.org/10.1007/978-1-4842-6193-4_12.
Der volle Inhalt der QuelleWeik, Martin H. „static analysis“. In Computer Science and Communications Dictionary, 1657–58. Boston, MA: Springer US, 2000. http://dx.doi.org/10.1007/1-4020-0613-6_18153.
Der volle Inhalt der QuelleSmith, David J. „Static analysis“. In Achieving Quality Software, 123–44. Dordrecht: Springer Netherlands, 1995. http://dx.doi.org/10.1007/978-94-011-0549-1_11.
Der volle Inhalt der QuelleBrumley, David. „Static Analysis“. In Encyclopedia of Cryptography and Security, 1254–56. Boston, MA: Springer US, 2011. http://dx.doi.org/10.1007/978-1-4419-5906-5_839.
Der volle Inhalt der QuelleLavit, Christine, und Marie-Odile Pernin. „Solution Using Statis“. In Data Analysis, 13–29. Boston, MA: Springer US, 1987. http://dx.doi.org/10.1007/978-1-4615-6790-5_3.
Der volle Inhalt der QuelleMcAllester, David. „On the Complexity Analysis of Static Analyses“. In Static Analysis, 312–29. Berlin, Heidelberg: Springer Berlin Heidelberg, 1999. http://dx.doi.org/10.1007/3-540-48294-6_21.
Der volle Inhalt der QuelleHsieh, Harry, Felice Balarin und Alberto Sangiovanni-Vincentelli. „Static Equivalence Analysis“. In Synchronous Equivalence, 67–79. Boston, MA: Springer US, 2001. http://dx.doi.org/10.1007/978-1-4615-1659-0_6.
Der volle Inhalt der QuelleKukimoto, Yuji, Michel Berkelaar und Karem Sakallah. „Static Timing Analysis“. In Logic Synthesis and Verification, 373–401. Boston, MA: Springer US, 2002. http://dx.doi.org/10.1007/978-1-4615-0817-5_14.
Der volle Inhalt der QuelleDoyle, James F. „Nonlinear Static Analysis“. In Mechanical Engineering Series, 169–240. New York, NY: Springer New York, 2001. http://dx.doi.org/10.1007/978-1-4757-3546-8_4.
Der volle Inhalt der QuelleKonferenzberichte zum Thema "Statit analysis"
Dillon, Laura. „Session details: Static analysis“. In ISSTA '08: International Symposium on Software Testing and Analysis. New York, NY, USA: ACM, 2008. http://dx.doi.org/10.1145/3260631.
Der volle Inhalt der QuelleGotovchits, Ivan, Rijnard Van Tonder und David Brumley. „Saluki: Finding Taint-style Vulnerabilities with Static Property Checking“. In Workshop on Binary Analysis Research. Reston, VA: Internet Society, 2018. http://dx.doi.org/10.14722/bar.2018.23019.
Der volle Inhalt der QuelleDo, Lisa Nguyen Quang, Karim Ali, Benjamin Livshits, Eric Bodden, Justin Smith und Emerson Murphy-Hill. „Just-in-time static analysis“. In ISSTA '17: International Symposium on Software Testing and Analysis. New York, NY, USA: ACM, 2017. http://dx.doi.org/10.1145/3092703.3092705.
Der volle Inhalt der QuelleMuske, Tukaram, Rohith Talluri und Alexander Serebrenik. „Repositioning of static analysis alarms“. In ISSTA '18: International Symposium on Software Testing and Analysis. New York, NY, USA: ACM, 2018. http://dx.doi.org/10.1145/3213846.3213850.
Der volle Inhalt der QuelleKarpel, Mordechay, Sara Yaniv und David Livshits. „Integrated solution for computational static aeroelastic problems“. In 6th Symposium on Multidisciplinary Analysis and Optimization. Reston, Virigina: American Institute of Aeronautics and Astronautics, 1996. http://dx.doi.org/10.2514/6.1996-4012.
Der volle Inhalt der QuelleMehdi Pourhashem Kallehbasti, Mohammad, und Mohammad Ghafari. „Naturalistic Static Program Analysis“. In 2023 IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER). IEEE, 2023. http://dx.doi.org/10.1109/saner56733.2023.00083.
Der volle Inhalt der QuelleAsher, Sanford A. „Biological Applications of UV Raman Spectroscopy: Static and Dynamical Studies“. In Laser Applications to Chemical Analysis. Washington, D.C.: Optica Publishing Group, 1990. http://dx.doi.org/10.1364/laca.1990.ma6.
Der volle Inhalt der QuelleNguyen Quang Do, Lisa, und Eric Bodden. „Gamifying static analysis“. In ESEC/FSE '18: 26th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering. New York, NY, USA: ACM, 2018. http://dx.doi.org/10.1145/3236024.3264830.
Der volle Inhalt der QuelleLahiri, Shuvendu K., Kapil Vaswani und C. A. R. Hoare. „Differential static analysis“. In the FSE/SDP workshop. New York, New York, USA: ACM Press, 2010. http://dx.doi.org/10.1145/1882362.1882405.
Der volle Inhalt der QuelleBorodin, Alexey, Andrey Belevantsev, Dmitry Zhurikhin und Alexey Izbyshev. „Deterministic Static Analysis“. In 2018 Ivannikov Memorial Workshop (IVMEM). IEEE, 2018. http://dx.doi.org/10.1109/ivmem.2018.00009.
Der volle Inhalt der QuelleBerichte der Organisationen zum Thema "Statit analysis"
Wang, Yong-Yi. PR-350-174511-R01 Development of Rational Ovality Limits. Chantilly, Virginia: Pipeline Research Council International, Inc. (PRCI), Mai 2020. http://dx.doi.org/10.55274/r0011669.
Der volle Inhalt der QuelleOliver, B., T. Dahlgren und M. Miller. NEAMS Static Analysis. Office of Scientific and Technical Information (OSTI), Oktober 2012. http://dx.doi.org/10.2172/1053670.
Der volle Inhalt der QuelleSevy, R. H. Quasi-static transient analysis. Office of Scientific and Technical Information (OSTI), Oktober 1985. http://dx.doi.org/10.2172/712226.
Der volle Inhalt der QuelleBarry, Matthew, Eric Bush, Doug Smith, Devesh Bhatt, David Oglesby, Anca Browne und Steve Hickman. Static Analysis Numerical Algorithms. Fort Belvoir, VA: Defense Technical Information Center, April 2016. http://dx.doi.org/10.21236/ad1008340.
Der volle Inhalt der QuelleMaddox III, William H. Incremental Static Semantic Analysis. Fort Belvoir, VA: Defense Technical Information Center, Mai 1997. http://dx.doi.org/10.21236/ada604432.
Der volle Inhalt der QuelleNewmann, Bobbi, Stephen Prociw, Robert Hull, Gregory Collins und Jonathan Supovitz. State Leadership Development Policies An Analysis of 50 States and Territories. Consortium for Policy Research in Education, Februar 2017. http://dx.doi.org/10.12698/cpre.2017.rr17-1.
Der volle Inhalt der QuelleWalsh, Marie E., Robert L. Perlack, Anthony Turhollow, Daniel de la Torre Ugarte, Denny A. Becker, Robin L. Graham, Stephen E. Slinsky und Daryll E. Ray. Biomass Feedstock Availability in the United States: 1999 State Level Analysis. Office of Scientific and Technical Information (OSTI), Januar 2000. http://dx.doi.org/10.2172/1218318.
Der volle Inhalt der QuelleO'Boyle, Ernest. Meta-Analysis and Systematic Reviews for the Social Sciences. Instats Inc., 2023. http://dx.doi.org/10.61700/7qu4pskuz9ke8469.
Der volle Inhalt der QuelleGhormley, Douglas, Geoffrey Reedy und Kirk Landin. Language Independent Static Analysis (LISA). Office of Scientific and Technical Information (OSTI), September 2020. http://dx.doi.org/10.2172/1673452.
Der volle Inhalt der QuelleCarver-Thomas, Desiree, und Susan Patrick. Understanding Teacher Compensation: A State-by-State Analysis. Learning Policy Institute, April 2022. http://dx.doi.org/10.54300/443.847.
Der volle Inhalt der Quelle