„Control Flow Graphs“

Suchergebnisse

1.000+ Treffer

• Information entropy applied to software based control flow graphs
  Akundi, Aditya ; Smith, Eric ; Tseng, Tzu-Liang
• Systematic Approaches to Advanced Information Flow Analysis – and Applications to Software Security
  Mohr, Martin ; Snelting, Gregor ; Hammer, Christian 2023 KIT Scientific Publishing
• Systematic Approaches to Advanced Information Flow Analysis – and Applications to Software Security
  Mohr, Martin ; Snelting, Gregor 2022 KIT-Bibliothek
• Automatic SIMD Vectorization of SSA-based Control Flow Graphs
  Karrenberg, Ralf 2015 Springer Fachmedien Wiesbaden
• Automatic SIMD vectorization of SSA-based control flow graphs
  Karrenberg, Ralf ; Hack, Sebastian 2015 Saarländische Universitäts- und Landesbibliothek
• Information flow control for java – a comprehensive approach based on path conditions in dependence Graphs
  Hammer, Christian ; Snelting, G. 2009 KIT Scientific Publishing
• Control flow graphs for real-time systems analysis – reconstruction from binary executables and usage in ILP-based path analysis
  Theiling, Henrik
• An abstract interpretation for SPMD divergence on reducible control flow graphs
  Rosemann, Julian ; Moll, Simon ; Hack, Sebastian 2021 Saarländische Universitäts- und Landesbibliothek
• Modeling Robotic Systems with Activity Flow Graphs
  Buck, Sebastian ; Zell, Andreas 2018 Universitätsbibliothek Tübingen
• Information Flow Control with System Dependence Graphs - Improving Modularity, Scalability and Precision for Object Oriented Languages
  Graf, Jürgen ; Snelting, G. 2016 KIT-Bibliothek
• Control flow graphs and code coverage
  Gold, Robert 2022 Technische Hochschule Ingolstadt
• Systematic Approaches to Advanced Information Flow Analysis – and Applications to Software Security
  Mohr, Martin 2023 KIT Scientific Publishing
• Fractional mean curvature flow of Lipschitz graphs
  Cesaroni, Annalisa ; Novaga, Matteo
• Integrating a Graph Builder into Python Tutor
  Soares, Diogo ; Pereira, Maria João Varanda ; Henriques, Pedro Rangel 2021 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Low-Memory Tour Reversal in Directed Graphs
  Mosenkis, Viktor ; Naumann, Uwe ; Peise, Elmar
• Warp-Level CFG Construction for GPU Kernel WCET Analysis
  Jeanmougin, Louison ; Sotin, Pascal ; Rochange, Christine ; Carle, Thomas 2023 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Combinatorial Optimization – Theory and Algorithms
  Korte, Bernhard ; Vygen, Jens 2018 Springer Berlin
• Modeling Robotic Systems with Activity Flow Graphs
  Buck, Sebastian 2018 Dr. Hut
• Modeling Robotic Systems with Activity Flow Graphs
  Buck, Sebastian 2018 Verlag Dr. Hut
• Combinatorial Optimization – Theory and Algorithms
  Korte, Bernhard ; Vygen, Jens 2000 Springer Berlin Heidelberg