„Static Value Analysis“

Suchergebnisse

14 Treffer

• What really changes when developers intend to improve their source code: a commit-level study of static metric value and static analysis warning changes
  Trautsch, Alexander ; Erbel, Johannes ; Herbold, Steffen ; Grabowski, Jens
• Optimization in Elliptic Problems with Applications to Mechanics of Deformable Bodies and Fluid Mechanics
  Litvinov, Vil'iam G. 2000 Springer Basel
• Compositional Static Value Analysis for Higher-Order Numerical Programs
  Valnet, Milla ; Monat, Raphaël ; Miné, Antoine 2025 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Compositional Static Value Analysis for Higher-Order Numerical Programs (Artifact)
  Valnet, Milla ; Monat, Raphaël ; Miné, Antoine
• 18F-FET PET prior to recurrent high-grade glioma re-irradiation—additional prognostic value of dynamic time-to-peak analysis and early static summation images?
  Fleischmann, Daniel F. ; Unterrainer, Marcus ; Bartenstein, Peter ; Belka, Claus ; Albert, Nathalie L. ; Niyazi, Karim-Maximilian
• Value Partitioning: A Lightweight Approach to Relational Static Analysis for JavaScript
  Nielsen, Benjamin Barslev ; Møller, Anders 2020 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Multi-architecture Value Analysis for Machine Code
  Cassé, Hugues ; Birée, Florian ; Sainrat, Pascal 2013 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Improving Static and Dynamic Vulnerability Analysis using Values and Dataflows
  Miltenberger, Marc ; Waidner, Michael ; Klein, Jacques 2025 Universitäts- und Landesbibliothek
• Sound and precise static analysis using a generalization of static single assignment and value numbering
  Taft, S. Tucker
• Obtaining test-independent values of the dynamic and static yield stresses for time-dependent materials
  Abedi, Behbood ; Marín Castaño, Eliana P. ; C. Rodrigues, Elias ; Thompson, Roney Leon ; de Souza Mendes, Paulo R.
• Static and Self-Adjusting Mutation Strengths for Multi-valued Decision Variables
  Doerr, Benjamin ; Doerr, Carola ; Kötzing, Timo
• Integral equations of plane static boundary value problems in the moment elasticity theory of inhomogeneous isotropic media
  Martynov, N. I.
• On the quasi-static approximation in the initial boundary value problem of linearised elastodynamics
  Knops, R. J. ; Quintanilla, R.
• Green’s function for the boundary value problem of the static Klein-Gordon equation stated on a rectangular region and its convergence analysis
  Cheng, Hao ; Mu, Xiyu ; Jiang, Hua ; Liu, Guoqing ; Wei, Ming