„Program Analysis“

Suchergebnisse

7.892 Treffer

• Fine-Grained Complexity of Program Analysis (Invited Talk)
  Majumdar, Rupak 2024 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Experimental Analysis of LP Scaling Methods Based on Circuit Imbalance Minimization
  Komárek, Jakub ; Koutecký, Martin 2024 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Termination of Generalized Term Rewriting Systems
  Lucas, Salvador 2024 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• A Linear Type System for L^p-Metric Sensitivity Analysis
  Sannier, Victor ; Baillot, Patrick 2024 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Tropical Mathematics and the Lambda-Calculus I: Metric and Differential Analysis of Effectful Programs
  Barbarossa, Davide ; Pistone, Paolo 2024 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• mwp-Analysis Improvement and Implementation: Realizing Implicit Computational Complexity
  Aubert, Clément ; Rubiano, Thomas ; Rusch, Neea ; Seiller, Thomas 2022 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Automated Large-Scale Multi-Language Dynamic Program Analysis in the Wild (Tool Insights Paper)
  Villazón, Alex ; Sun, Haiyang ; Rosà, Andrea ; Rosales, Eduardo ; Bonetta, Daniele ; Defilippis, Isabella ; Oporto, Sergio ; Binder, Walter 2019 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• A Duality-Based Method for Identifying Elemental Balance Violations in Metabolic Network Models
  Zabeti, Hooman ; Stephen, Tamon ; Berger, Bonnie ; Chindelevitch, Leonid 2018 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Program Analysis for Object-Oriented Evolution (Dagstuhl Seminar 03091)
  Johnson, Ralph ; Snelting, Gregor ; Tip, Frank 2003 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Screening and analysis of programmed cell death related genes and targeted drugs in sepsis
  Song, Juanjuan ; Ren, Kairui ; Wang, Yi ; Zhang, Dexin ; Sun, Lin ; Tang, Zhiqiang ; Zhang, Lili ; Deng, Ying
• LowEx communities - optimised performance of energy supply systems with exergy principles (annex 64) – final report
  Jansen, Sabine ; Schmidt, Dietrich ; Cadenbach, Anna 2019 Fraunhofer Verlag
• CtChecker: A Precise, Sound and Efficient Static Analysis for Constant-Time Programming (Artifact)
  Zhou, Quan ; Dang, Sixuan ; Zhang, Danfeng
• Theoretical Advances and Emerging Applications in Abstract Interpretation (Dagstuhl Seminar 23281)
  Gurfinkel, Arie ; Mastroeni, Isabella ; Miné, Antoine ; Müller, Peter ; Becchi, Anna
• Fair referee assignment for the Italian soccer serieA
  Mancini, Simona ; Isabello, Andrea
• A mathematical optimization framework for expansion draft decision making and analysis
  Booth, Kyle E. C. ; Chan, Timothy C. Y. ; Shalaby, Yusuf
• Analysis of a constructive matheuristic for the traveling umpire problem
  Chandrasekharan, Reshma Chirayil ; Toffolo, Túlio A.M. ; Wauters, Tony
• On the Construction of Differential Equations of Systems with Program Constraints
  Mukharlyamov, R. G.
• High Level Parallel Programming: Applicability, Analysis and Performance (Dagstuhl Seminar 99171)
  Cole, Murray ; Gorlatch, Sergei ; Prins, Jan ; Skillcorn, David 1999 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Program Analysis (Dagstuhl Seminar 99151)
  Hanne, Riis Nielson ; Sagiv, Mooly 1999 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• GDBMiner: Mining Precise Input Grammars on (Almost) Any System
  Eisele, Max ; Hägele, Johannes ; Huth, Christopher Stefan Friedrich ; Zeller, Andreas