„Static analysis“

Suchergebnisse

2.163 Treffer

• A Survey on Static Cache Analysis for Real-Time Systems
  Lv, Mingsong ; Guan, Nan ; Reineke, Jan ; Wilhelm, Reinhard ; Yi, Wang
• A Static Analysis for the Minimization of Voters in Fault-Tolerant Circuits
  Burlyaev, Dmitry ; Fradet, Pascal ; Girault, Alain
• Analysis of static electricity risks in nonmetallic pipelines for hydrogen transportation
  Wang, Guanhua ; Shi, Jianfeng ; Wang, Zhongzhen ; Yao, Riwu
• Risk Analysis of Cantilever Retaining Walls Under Static and Seismic Conditions Using an Improved Machine Learning Paradigm
  Kumar, Avinash ; Burman, Avijit
• Whoosh! visual depictions of direction, speed, and temporality: a corpus analysis of motion events in global comics
  Hacımusaoğlu, Irmak ; Cardoso, Bruno ; Cohn, Neil
• Compiler Construction – 20th International Conference, CC 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings
  Knoop, Jens 2011 Springer Berlin Heidelberg
• Aftershock sequence of the Yogyakarta earthquake 2006 (Mw ~ 6.4), Indonesia, based on analysis of hypocenter relocation, static, and dynamic stress
  Ramdhan, Mohamad ; Palgunadi, Kadek Hendrawan ; Mukti, Muhammad Maruf ; Librian, Virga ; Daniarsyad, Gatut ; Muttaqy, Faiz ; Hidayat, Edi ; Syuhada, Syuhada ; Hanif, Muhammad ; Mursitantyo, Adityo ; Lühr, Birger-Gottfried ; Nugraha, Andri Dian ; Widiyantoro, Sri ; Setyonegoro, Wiko ; Febriani, Febty
• Comparative evaluation of quasi-static and explicit dynamic analysis using concrete plastic damage model
  Araghizadeh, Ehsan ; Tabatabaei Mirhosseini, Ramin
• Design and implementation of WCET analyses – including a case study on multi-core processors with shared buses
  Jacobs, Michael ; Hack, Sebastian 2021 Saarländische Universitäts- und Landesbibliothek
• Studying JavaScript Security Through Static Analysis
  Fass, Aurore 2020 Saarländische Universitäts- und Landesbibliothek
• On static execution-time analysis
  Hahn, Sebastian ; Reineke, Jan 2019 Saarländische Universitäts- und Landesbibliothek
• Understanding and assessing security on Android via static code analysis
  Derr, Erik ; Backes, Michael 2018 Saarländische Universitäts- und Landesbibliothek
• Static and Dynamic Analysis of Sandwiched Silane Treated Aluminum Coated Glass Fabric and Pineapple Fibre/Granite Dust Polyester Composite
  Kaliappan, Seeniappan ; Natrayan, L. ; Muthukannan, M. ; Raj, A. George Fernandez ; Maranan, Ramya ; Mohanavel, Vinayagam ; Soudagar, Manzoore Elahi M. ; Seikh, A. H.
• Effects of various static calibration postures on knee mechanics during locomotor tasks using statistical parametric mapping analysis
  Zhao, Yu-ting ; Wang, Xia ; Yang, Ke-xin ; Wang, Li-duan ; Yang, Chen ; Feng, Ru ; Zheng, Liang-liang ; Zhou, Zhi-peng
• Endogenous (Re-)Distributive Policies and Economic Growth: A Comparative Static Analysis
  Rehme, Günther 2007 Universitäts- und Landesbibliothek Darmstadt
• Algorithmic Differentiation of Pragma-Defined Parallel Regions – Differentiating Computer Programs Containing OpenMP
  Förster, Michael 2014 Springer Fachmedien Wiesbaden
• Timing-Predictable Memory Allocation In Hard Real-Time Systems
  Herter, Jörg 2014 epubli GmbH
• A multifaceted comparative analysis of incremental dynamic and static pushover methods in bridge structural assessment, integrated with artificial neural network and genetic algorithm approach
  Satyanarayana, Ashwini ; Sindura, V. ; Geetha, L. ; Kumar, Rakesh ; Shah, Mohd Asif ; Christo, Mary Subaja
• GPS – Theory, Algorithms and Applications
  Xu, Guochang ; Xu, Yan 2016 Springer Berlin Heidelberg
• Development of approach to an automated acquisition of static street view images using transformer architecture for analysis of Building characteristics
  Wang, Seunghyeon