„Programmanalyse“

Suchergebnisse

478 Treffer

• Functional Abstract Interpretation
  Graf, Sebastian ; Snelting, Gregor ; Brachthäuser, Jonathan I. 2025 KIT-Bibliothek
• Reverse Engineering of Complex Legacy Telecommunication Systems
  Marburger, André 2005 Shaker
• A Methodology for Automated Analysis of Application Specific Processor Models with Respect to Test Generation
  Lüthje, Olaf 2005 Shaker
• Combined Schedulability and WCET Analysis for Real-Time Operating Systems
  Schneider, Jörn 2003 Shaker
• Securing application software in modern adversarial settings
  Schuster, Felix ; Holz, Thorsten ; Sadeghi, Ahmad-Reza 2016 Ruhr-Universität Bochum
• A framework for machine learning based mapping of concurrent applications to parallel architectures
  Tetzlaff, Dirk ; Glesner, Sabine ; Marwedel, Peter ; Knoop, Jens 2014 Technische Universität Berlin
• Termination analysis for imperative programs operating on the heap
  Brockschmidt, Marc 2014 Hochschulbibliothek der Rheinisch-Westfälischen Technischen Hochschule Aachen
• Kombinierte statische Ermittlung von Zeigerzielen, Kontroll- und Datenfluss
  Staiger-Stöhr, Stefan
• Shape analysis for algorithm animation – strengths and weaknesses
  Parduhn, Sascha A. ; Seidel, Raimund 2011 Saarländische Universitäts- und Landesbibliothek
• Aufbereitung von Shapeanalyseausgaben zur Visualisierung der abstrakten Programmausführung
  Johannes, Dierk ; Seidel, Raimund 2010 Saarländische Universitäts- und Landesbibliothek
• Types with Potential: Polynomial Resource Bounds via Automatic Amortized Analysis
  Hoffmann, Jan 2012 epubli GmbH
• Types with potential – polynomial resource bounds via automatic amortized analysis
  Hoffmann, Jan ; Hofmann, Martin 2011 Universitätsbibliothek der Ludwig-Maximilians-Universität
• Lock sensitive analysis of parallel programs
  Lammich, Peter ; Müller-Olm, Markus 2011 Universitäts- und Landesbibliothek der Westfälischen Wilhelms-Universität
• Programmanalysen zur Verbesserung der Softwaremodellprüfung
  Richter, Dirk ; Zimmermann, Wolf ; Knoop, Jens 2012 Universitäts- und Landesbibliothek Sachsen-Anhalt
• Grundlagenforschung für vertrauenswürdige Software
  He, Jifeng 2025 Springer Berlin Heidelberg, Imprint: Springer Vieweg
• Algorithmic Trading – Analyse von computergesteuerten Prozessen im Wertpapierhandel unter Verwendung der Multifaktorenregression
  Gomolka, Johannes 2011 Univ.-Verl.
• Graph transformation systems in Constraint Handling Rules – improved methods for program analysis
  Raiser, Frank
• Analyse und Transformation kontrollflußparalleler Programme
  Vollmer, Jürgen
• Symbolic shape analysis
  Wies, Thomas
• Runtime verification – 9th international workshop ; selected papers
  Bensalem, Saddek 2009 Springer