„Program Analysis“

Suchergebnisse

7.892 Treffer

• Program Invariants (Invited Talk)
  Ouaknine, Joël 2019 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Static Analysis for Asynchronous JavaScript Programs
  Sotiropoulos, Thodoris ; Livshits, Benjamin 2019 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Sum-Of-Squares Bounds via Boolean Function Analysis
  Kurpisz, Adam 2019 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Predicting the Evolution of Communities with Online Inductive Logic Programming
  Athanasopoulos, George ; Paliouras, George ; Vogiatzis, Dimitrios ; Tzortzis, Grigorios ; Katzouris, Nikos 2018 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• A Network Flow Model for the Analysis of Green Spaces in Urban Areas
  Niedermann, Benjamin ; Oehrlein, Johannes ; Lautenbach, Sven ; Haunert, Jan-Henrik 2018 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Counting Environments and Closures
  Bendkowski, Maciej ; Lescanne, Pierre 2018 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Determination of S, Ni, and Cu in Copper Nickel Sulfide Ores by Total Reflection X-ray Fluorescence Analysis: Experience of Participation in an Interlaboratory Comparison Program
  Zhilicheva, A. N. ; Pashkova, G. V. ; Karkhova, A. V. ; Ukhova, N. N. ; Chubarov, V. M.
• Optimizing web page retrieval performance with advanced query expansion: leveraging ChatGPT and metadata-driven analysis
  Alani, Ali A. ; Al-Azzawi, Adil
• Comparing medical knowledge of osteopathic medical trainees in DO and MD programs: a random effect meta-analysis
  Shen, Linjun ; Cavalieri, Thomas ; Clearfield, Michael ; Smoley, Joseph
• Graphene-based programmable dual dipole antenna with parasitic elements
  Ullah, Sana ; Marasco, Ilaria ; D’Orazio, Antonella ; Magno, Giovanni
• The pivot and probe algorithm for solving a linear program
  Sethi, Awanti P. ; Thompson, Gerald L.
• A class of rank-two ellipsoid algorithms for convex programming
  Ech-Cherif, A. ; Ecker, J. G.
• Theory of submodular programs: A fenchel-type min-max theorem and subgradients of submodular functions
  Fujishige, Satoru
• Evaluating and Tuning n-fold Integer Programming
  Altmanová, Katerina ; Knop, Dusan ; Koutecký, Martin 2018 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Arrays and References in Resource Aware ML
  Lichtman, Benjamin ; Hoffmann, Jan 2017 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Type Systems for the Relational Verification of Higher Order Programs (Invited Talk)
  Gaboardi, Marco 2017 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• First-Order Interpolation and Grey Areas of Proofs (Invited Talk)
  Kovács, Laura 2017 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Dynamic Beats Fixed: On Phase-Based Algorithms for File Migration
  Bienkowski, Marcin ; Byrka, Jaroslaw ; Mucha, Marcin 2017 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Frontiers of stochastically nondominated portfolios
  Ruszczyński, Andrzej P. ; Vanderbei, Robert J. 2002 Humboldt-Universität zu Berlin
• Asset-liability management for Czech pension funds using stochastic programming
  Dupačová, Jitka ; Polívka, Jan 2004 Humboldt-Universität zu Berlin