„Program Analysis“

Suchergebnisse

7.892 Treffer

• Teaching Programming Skills in Large Digital Settings – Challenges and Experiences
  Lauber, Anna-Marie ; Blumenschein, Michael ; Pampel, Barbara 2024 KOPS Universität Konstanz
• Control-Flow Refinement for Complexity Analysis of Probabilistic Programs in KoAT (Short Paper)
  Lommen, Nils ; Meyer, Éléanore ; Giesl, Jürgen 2024 Universitätsbibliothek der RWTH Aachen
• Evolving processing pipelines for industrial imaging with Cartesian Genetic Programming
  Margraf, Andreas ; Cui, Henning ; Stein, Anthony ; Hähner, Jörg ; Lewis, Peter ; Litoiu, Marin ; Dusparic, Ivana ; Porter, Barry ; Villegas, Norha M. 2023 Universität Augsburg
• Convex relaxation technique-based output space branch-reduction-bound algorithm for minimizing generalized linear fractional multiplicative programs
  Huang, Xiaoli ; Gao, Yuelin ; Liu, Xia ; Ma, Xiaohua
• Towards positive energy districts: assessing the contribution of virtual power plants and energy communities
  Kondziella, Hendrik ; Specht, Karl ; Mielich, Tim ; Bruckner, Thomas 2023 Universitätsbibliothek Leipzig
• DECO: A Dataset of Annotated Spreadsheets for Layout and Table Recognition
  Lehner, Wolfgang ; Koci, Elvis ; Thiele, Maik ; Rehak, Josephine ; Romero, Oscar 2023 Technische Universität Dresden
• Design, FEM strength analysis and testing of an innovative mountain bike pedal with magnetic locking mechanism
  Jakel, Roland 2023 Technische Universität Chemnitz
• Automatic Complexity Analysis of Integer Programs via Triangular Weakly Non-Linear Loops
  Lommen, Nils ; Meyer, Fabian Niklas ; Giesl, Jürgen 2022 Universitätsbibliothek der RWTH Aachen
• Warping Cache Simulation of Polyhedral Programs
  Morelli, Canberk ; Reineke, Jan 2022 Saarländische Universitäts- und Landesbibliothek
• A Combined Formal Model for Relational Context-Dependent Roles
  Kühn, Thomas ; Böhme, Stephan ; Götz, Sebastian ; Aßmann, Uwe 2021 Technische Universität Dresden
• Comparative Analysis of Cyclic Sequences – Viroids and other Small Circular RNA`s
  Mosig, Axel ; Hofacker, Ivo L. ; Stadler, Peter F. 2018 Universitätsbibliothek Leipzig
• The efficacy of HIIT programs for the improvement of aerobic capacity and functionality for stroke survivors: systematic review and meta-analysis
  Papamichael, Elena ; Themistocleous, Irene-Chrysovalanto ; Hadjisavvas, Stelios ; Solou, Demetris ; Michailidou, Christina 2025 Universität
• Analysis, comparison, and implementation of machine learning algorithms for optimization of customer data deduplication problems in enterprise CX programs
  Niazi, Jawad ; Villmann, Thomas ; Sölch, Florian 2022 Hochschule Mittweida
• Single-cell and genetic multi-omics analysis combined with experiments confirmed the signature and potential targets of cuproptosis in hepatocellular carcinoma
  Cao, Feng ; Qi, Yong ; Wu, Wenyong ; Li, Xutong ; Yang, Chuang 2025 Universitätsbibliothek Leipzig
• Analysis and improvement of Blender's texture painting functionality
  Ließ, Patricia ; Ritter, Marc ; Heinzig, Manuel 2019 Hochschule Mittweida
• Tracking the shape of data frames in R programs using abstract interpretation
  Gerstl, Oliver 2025 Universität Ulm
• Languages, Compilers, Analysis - From Beautiful Theory to Useful Practice – Essays Dedicated to Alan Mycroft on the Occasion of His Retirement
  Orchard, Dominic ; Petricek, Tomas ; Singer, Jeremy 2026 Springer Nature Switzerland, Imprint: Springer
• Financial Data Analysis Using Python
  Zherlitsyn, Dmytro 2025 Mercury Learning and Information
• Strategic marketing analysis of Germany's Topspielerakademie (TSA) online football program. A focus on the 7Ps: product, price, place, promotion, people, packaging, and process.
  Liebig, Renke 2025 epubli
• AspectKE*: Security aspects with program analysis for distributed systems
  Fan, Yang ; Masuhara, Hidehiko ; Aotani, Tomoyuki ; Nielson, Flemming ; Nielson, Hanne Riis 2010 Universität Potsdam