„program analysis“

Suchergebnisse

7.892 Treffer

• Design and Analysis of Optimal and Minimax Robust Sequential Hypothesis Tests
  Fauß, Michael ; Zoubir, Abdelhak M. ; Poor, Vincent H. 2016 Universitäts- und Landesbibliothek Darmstadt
• A Nonsmooth Nonconvex Descent Algorithm
  Mankau, Jan Peter ; Schuricht, Friedemann ; Krause, Rolf 2017 Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden
• Program analysis and black-box GUI testing – = Program Analysis und Black-box GUI Testing
  Arlt, Stephan ; Podelski, Andreas 2014 Universität
• Tissue-specific analysis of chromatin and transcription during Drosophila development - gauging the predictive potential of chromatin – = Gewebsspezifische Analyse von Chromatin und Transkription während der Embryonalentwicklung von Drosophila melanogaster
  Gärtner, Björn Christian ; Driever, Wolfgang 2012 Universität
• Static detection of inevitable errors – = Statische Erkennung von unvermeidbaren Fehlern
  Schäf, Martin ; Podelski, Andreas 2011 Universität
• Advancing stability analysis of mean-risk stochastic programs – Bilevel and two-stage models
  Claus, Matthias ; Schultz, Rüdiger 2016 Universitätsbibliothek Duisburg-Essen
• Discovery of Potential Parallelism in Sequential Programs
  Li, Zhen ; Wolf, Felix ; Clauss, Philippe 2016 Universitäts- und Landesbibliothek Darmstadt
• Verification of Programmable Logic Controller Code using Model Checking and Static Analysis
  Biallas, Sebastian 2016 Shaker
• Beitrag zur physikalisch nichtlinearen Analyse von Aussteifungssystemen mit Methoden der mathematischen Optimierung
  Adami, Kay ; Raue, Erich 2004 Professur Massivbau I
• Java(X): A Type-Based Program Analysis Framework – = Java(X): Ein Typ basiertes Programmanalyse Framework
  Degen, Markus ; Thiemann, Peter 2011 Universität
• Symbolic on-the-fly analysis of stochastic Petri nets
  Schwarick, Martin ; Heiner, Monika ; Donatelli, Susanna ; Kemper, Peter 2014 BTU Cottbus - Senftenberg
• On the Scalability of Static Program Analysis to Detect Vulnerabilities in the Java Platform
  Lerch, Johannes ; Mezini, Mira ; Zeller, Andreas ; Bodden, Eric 2016 Universitäts- und Landesbibliothek Darmstadt
• Symbolische BDD-basierte Modellprüfung asynchroner nebenläufiger Systeme
  Appold, Christian ; Kolla, Reiner ; Scholl, Christoph 2016 Universität Würzburg
• Tight integration of cache, path and task-interference modeling for the analysis of hard real time systems
  Kleinsorge, Jan C. ; Marwedel, Peter ; Lisper, Björn 2015 Universitätsbibliothek Dortmund
• Economic Evaluation of Universal Varicella Zoster Immunization Programs in Developed Countries - A Meta Analysis
  Klapproth, Christoph Paul ; Wagenpfeil, Stefan ; Busch, Dirk 2016 Universitätsbibliothek der TU München
• Physical model real-time auralisation of musical instruments – analysis and synthesis
  Pfeifle, Florian ; Bader, Rolf 2016 Staats- und Universitätsbibliothek Hamburg
• WCET analysis and optimization for multi-core real-time systems
  Kelter, Timon ; Marwedel, Peter ; Puaut, Isabelle 2015 Universitätsbibliothek Dortmund
• Robust analysis of high-dimensional omics data using computer simulation and graphical visualization
  Kruppa-Scheetz, Jochen 2024 Freie Universität Berlin
• CDF-intervals: a probabilistic interval constraint framework to reason about data with uncertainty
  Saad, Aya Hassan 2016 Universität Ulm
• Directionally Variational Analysis and Second-Order Optimality Conditions for Mathematical Programs with Switching Constraints
  Chen, Jiawei ; Liu, Luyu ; Dai, Yuhong ; Köbis, Elisabeth