„Program Analysis“

Suchergebnisse

7.892 Treffer

• Instrumentation of Java program code for control flow analysis
  Lösch, Felix 2005 Universitätsbibliothek der Universität Stuttgart
• Compositional Bug Detection for Internally Unsafe Libraries: A Logical Approach to Type Unsoundness (Artifact)
  Carrott, Pedro ; Ayoun, Sacha-Élie ; Raad, Azalea
• Compositional Static Value Analysis for Higher-Order Numerical Programs (Artifact)
  Valnet, Milla ; Monat, Raphaël ; Miné, Antoine
• Qualitative changes in clinical records after implementation of pharmacist-led antimicrobial stewardship program: a text mining analysis
  Sawada, Keisuke ; Kono, Shuji ; Inose, Ryo ; Muraki, Yuichi
• Cost-effectiveness analysis of nephroprotection programs for patients with type 2 diabetes mellitus in insurers in Colombia
  González-Rojas, Cristian Alejandro ; Cáceres-Maldonado, Sergio Augusto ; Soler-Vanoy, Luis Alberto ; Acuña-Merchán, Lizbeth Alexandra
• Effectiveness of Dialectical Behavior Therapy Skills Groups as a Universal School-Based Social Emotional Learning Program for Adolescents: A Systematic Review and Meta-Analysis
  Hasselle, Amanda J. ; Srisarajivakul, Emily N. ; Garza, Anissa ; Thomsen, Kari N. ; Stobbe, Rachel A. ; Pfund, Rory A.
• A bibliometric analysis of programmed cell death in oral cancer literature: research patterns and emerging trends (2000–2024)
  Gu, Wenli
• Fire analysis codes: benefits and Iimits/Computer-Programme zur Brandanalyse: Vorteile und Grenzen.
  Schneider, U. ; Lebeda, C. ; Max, U.
• Building Bulletproof Software: The Power of Formal Verification
  Matt 2024 tredition
• Strict monotonicity and improved complexity in the standard form projective algorithm for linear programming
  Anstreicher, Kurt M.
• University productivity in Sweden: a demonstration and explanatory analysis for economics and business programs
  Sarafoglou, Nikias ; Haynes, Kingsley E.
• The Linear Program approach in multi-chain Markov Decision Processes revisited
  Altman, Eitan ; Spieksma, Floske
• Linear programming formulation of MDPs in countable state space: The multichain case
  Hordijk, Arie ; Lasserre, Jean-Bernard
• A spline smoothing homotopy method for nonlinear programming problems with both inequality and equality constraints
  Dong, Li ; Zhou, Zhengyong ; Yang, Li
• Test sets of integer programs
  Weismantel, Robert
• Policy analysis of the Conversion of Cropland to Forest and Grassland Program in China
  Wang, Xuehong ; Bennett, Jeff
• Application I/O behavior analysis on leadership cluster system
  Park, Ju-Won ; Hong, Taeyoung
• Incremental financial costs of strengthening large-scale child nutrition programs in Bangladesh, Ethiopia, and Vietnam: retrospective expenditure analysis
  Sanghvi, Tina G. ; Homan, Rick ; Nguyen, Tuan ; Mahmud, Zeba ; Walissa, Tamirat ; Nersesyan, Marina ; Preware, Patricia ; Frongillo, Edward A. ; Matheson, Roger
• The coupled neutronics and thermal hydraulics code system PANBOX for PWR safety analysis/Das gekoppelte neutronisch-thermohydraulische Programmsystem PANBOX zur Sicherheitsanalyse von Druckwasserreaktoren.
  Böer, R. ; Böhm, R. ; Finnemann, H. ; Müller, R.
• Numerical-based multi-objective optimization and regression analysis using genetic programming for novel microfabricated thermoresistive calorimetric flow sensor in precise low-velocity biomedical applications
  Babaelahi, Mojtaba ; Kazemi, Mohammad