„program slicing“

Suchergebnisse

1.000+ Treffer

• Einstieg in Python – Grundlagen der Python-Programmierung leicht und verständlich erklärt
  Inden, Michael 2024 dpunkt.verlag
• Einstieg in Python – Grundlagen der Python-Programmierung leicht und verständlich erklärt
  Inden, Michael 2024 dpunkt.verlag
• Slicechain: a blockchain-based multi-domain resource orchestration in core network slicing
  Mehdikhani Saatlou, Rouzbeh ; Asgharian Sardroud, Asghar ; Sadr Faridpour, Farshid ; Yousefi, Saleh
• Systematic Approaches to Advanced Information Flow Analysis – and Applications to Software Security
  Mohr, Martin ; Snelting, Gregor ; Hammer, Christian 2023 KIT Scientific Publishing
• Viability of Recursive SQL Functions
  Duta, Christian ; Grust, Torsten 2022 Universitätsbibliothek Tübingen
• Systematic Approaches to Advanced Information Flow Analysis – and Applications to Software Security
  Mohr, Martin ; Snelting, Gregor 2022 KIT-Bibliothek
• Combining Static and Dynamic Program Analysis Techniques for Checking Relational Properties
  Herda, Mihai ; Beckert, B. 2020 KIT-Bibliothek
• Information flow control for java – a comprehensive approach based on path conditions in dependence Graphs
  Hammer, Christian ; Snelting, G. 2009 KIT Scientific Publishing
• From Formal Semantics to Verified Slicing – A Modular Framework with Applications in Language Based Security
  Wasserrab, Daniel ; Snelting, G. 2011 KIT Scientific Publishing
• Slicing of Concurrent Programs and its Application to Information Flow Control
  Giffhorn, Dennis ; Snelting, G. 2012 KIT-Bibliothek
• Advanced Slicing of Sequential and Concurrent Programs
  Krinke, Jens 2008 VDM Verlag Dr. Müller
• Pfadbedingungen in Abhängigkeitsgraphen und ihre Anwendung in der Softwaresicherheitstechnik
  Robschink, Torsten
• Abstract state machines – verification problems and computational power
  Nowack, Antje
• Advanced slicing of sequential and concurrent programs
  Krinke, Jens
• Executive summary of the Beyond Program Slicing Dagstuhl Seminar
  Binkley, Dave ; Harman, Mark ; Krinke, Jens 2006 [Internat. Begegnungs- und Forschungszentrum für Informatik]
• Cut to the Core – Automated Feature Extraction in R Using Program Slicing
  Dunkel, Ruben 2025 Universität Ulm
• Constructing a Static Program Slicer for R Programs
  Sihler, Florian 2023 Universität Ulm
• Quantitative Analyse des auxininduzierten miR160/ARF-Regelkreises in Physcomitrella patens
  Rödel, Philipp ; Reski, Ralf 2012 Universität
• Program slicing – ein komponentenbasiertes und adaptierbares Referenztool, exemplarisch angepasst für C
  Brauch, Elmar ; Ebert, Jürgen ; Schwarz, Hannes 2008 Universität Koblenz-Landau, Campus Koblenz
• Program Slicing - Ein komponentenbasiertes und adaptierbares Referenztool, exemplarisch angepasst für C
  Brauch, Elmar 2008 GRIN Verlag