„Program Analysis“

Suchergebnisse

7.892 Treffer

• Domestic and International Effects of the Eurosystem Expanded Asset Purchase Programme: A Structural Model-Based Analysis
  Cova, Pietro ; Pagano, Patrizio ; Pisani, Massimiliano
• Efficacy and safety analysis of the German expanded access program of osimertinib in patients with advanced, T790M-positive non-small cell lung cancer
  Stratmann, Jan A. ; Michels, Sebastian ; Hornetz, Sofia Emily Tsion ; Christoph, Daniel C. ; Sackmann, Sandra ; Spengler, Werner ; Bischoff, Helge ; Schäfer, Monica ; Alt, Jürgen ; Müller, Annette ; Laack, Eckart ; Kimmich, Martin ; Griesinger, Frank ; Sebastian, Martin
• Comparative analysis of application efficiency of two iterative multi objective linear programming methods (MP method and STEM method)
  Perić, Tunjo ; Babić, Zoran ; Matejaš, Josip
• Correspondence analysis
  Benko, Michal ; Lejeune, Michel 2000 Sonderforschungsbereich 373
• Effective policy instruments for energy efficiency in residential space heating – an international empirical analysis (EPISODE) ; research funded in part by The European Commission in the framework of the non nuclear energy programme JOULE III
  Schäfer, Carsten 2000 IER, Bibliothek
• Artificial intelligence in qualitative analysis: a practical guide and reflections based on results from using GPT to analyze interview data in a substance use program
  Yang, Yang ; Ma, Liran
• Mailbox Abstractions for Static Analysis of Actor Programs
  Stiévenart, Quentin ; Nicolay, Jens ; De Meuter, Wolfgang ; De Roover, Coen 2017 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Speeding Up Maximal Causality Reduction with Static Dependency Analysis
  Huang, Shiyou ; Huang, Jeff 2017 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Natural Language is a Programming Language: Applying Natural Language Processing to Software Development
  Ernst, Michael D. 2017 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Verified Analysis of List Update Algorithms
  Haslbeck, Maximilian P. L. ; Nipkow, Tobias 2016 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Extracting Non-Deterministic Concurrent Programs
  Berger, Ulrich 2016 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Towards Ontology-Based Program Analysis
  Zhao, Yue ; Chen, Guoyang ; Liao, Chunhua ; Shen, Xipeng 2016 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Higher-Order Demand-Driven Program Analysis
  Palmer, Zachary ; Smith, Scott F. 2016 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Program Tailoring: Slicing by Sequential Criteria
  Li, Yue ; Tan, Tian ; Zhang, Yifei ; Xue, Jingling 2016 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Interprocedural Type Specialization of JavaScript Programs Without Type Analysis
  Chevalier-Boisvert, Maxime ; Feeley, Marc 2016 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Complexity of Acyclic Term Graph Rewriting
  Avanzini, Martin ; Moser, Georg 2016 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Verified Analysis of Functional Data Structures
  Nipkow, Tobias 2016 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• On Reachability Analysis of Pushdown Systems with Transductions: Application to Boolean Programs with Call-by-Reference
  Song, Fu ; Miao, Weikai ; Pu, Geguang ; Zhang, Min 2015 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Static Analysis for Logic-based Dynamic Programs
  Schwentick, Thomas ; Vortmeier, Nils ; Zeume, Thomas 2015 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Multivariate Amortised Resource Analysis for Term Rewrite Systems
  Hofmann, Martin ; Moser, Georg 2015 Schloss Dagstuhl – Leibniz-Zentrum für Informatik