„Program Analysis“

Suchergebnisse

7.892 Treffer

• An Interval Constraint Programming Approach for Quasi Capture Tube Validation
  Bedouhene, Abderahmane ; Neveu, Bertrand ; Trombettoni, Gilles ; Jaulin, Luc ; Le Menec, Stéphane 2021 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• A Rice’s Theorem for Abstract Semantics
  Baldan, Paolo ; Ranzato, Francesco ; Zhang, Linpeng 2021 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Lifted Static Analysis of Dynamic Program Families by Abstract Interpretation
  Dimovski, Aleksandar S. ; Apel, Sven 2021 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Differential Privacy for Coverage Analysis of Software Traces
  Hao, Yu ; Latif, Sufian ; Zhang, Hailong ; Bassily, Raef ; Rountev, Atanas 2021 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Enabling Additional Parallelism in Asynchronous JavaScript Applications
  Arteca, Ellen ; Tip, Frank ; Schäfer, Max 2021 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Gradual Program Analysis for Null Pointers
  Estep, Sam ; Wise, Jenna ; Aldrich, Jonathan ; Tanter, Éric ; Bader, Johannes ; Sunshine, Joshua 2021 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Planted Models for the Densest k-Subgraph Problem
  Khanna, Yash ; Louis, Anand 2020 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Near-Linear Time Edit Distance for Indel Channels
  Ganesh, Arun ; Sy, Aaron 2020 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Static Type Analysis by Abstract Interpretation of Python Programs
  Monat, Raphaël ; Ouadjaout, Abdelraouf ; Miné, Antoine 2020 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Static Analysis of Shape in TensorFlow Programs
  Lagouvardos, Sifis ; Dolby, Julian ; Grech, Neville ; Antoniadis, Anastasios ; Smaragdakis, Yannis 2020 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• A Device-Independent Protocol for XOR Oblivious Transfer
  Kundu, Srijita ; Sikora, Jamie ; Tan, Ernest Y.-Z. 2020 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• On multiobjective semi-infinite programs with vanishing constraints and tangential subdifferentials
  Mishra, Shashi Kant ; Singh, Vandana
• Injury risk reduction programs including balance training reduce the incidence of anterior cruciate ligament injuries in soccer players: a systematic review and meta-analysis
  Su, Wenbo ; Wang, Jing ; Ying, Yuxuan ; Lu, Bin ; Liu, Hangbing ; Zhou, Zixiang ; Liu, Chang ; Yun, Hezhang
• One hundred and fifty-two robotic hepatectomies at a North American hepatobiliary program: Evolution of practice, learning curve, appraisal of outcomes, and cost analysis
  Hawksworth, J. ; Radkani, P. ; Shoucair, S. ; Gogna, S. ; Fishbein, T. ; Winslow, E.
• Statistics applied with the R commander – data analysis is (not) an art
  Kronthaler, Franz 2024 Springer
• PointUltra: ultra-efficient mamba framework for transformative point cloud analysis
  Liu, Bo ; Tian, Shengwei ; Yu, Long ; Fan, Xin ; Zhu, Zhezhe ; Lv, Jialun
• Program for the X-Ray Phase Analysis of Synchrotron Data
  Dubinin, P. S. ; Zaloga, A. N. ; Yakimov, I. S. ; Bezrukova, O. E. ; Samoilo, A. S. ; Syrtanov, M. S. ; Shmakov, A. N. ; Teresov, A. D. ; Leonov, A. A. ; Denisov, V. V.
• Revisiting the Duality of Computation: An Algebraic Analysis of Classical Realizability Models
  Miquey, Étienne 2020 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Refinement with Time - Refining the Run-Time of Algorithms in Isabelle/HOL
  Haslbeck, Maximilian P. L. ; Lammich, Peter 2019 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Formal Proof and Analysis of an Incremental Cycle Detection Algorithm
  Guéneau, Armaël ; Jourdan, Jacques-Henri ; Charguéraud, Arthur ; Pottier, François 2019 Schloss Dagstuhl – Leibniz-Zentrum für Informatik