„Program Analysis“

Suchergebnisse

7.892 Treffer

• Static Analysis of Pointer Programs - Linking Graph Grammars and Separation Logic
  Jansen, Christina ; Katoen, Joost-Pieter ; Huisman, Marieke ; Noll, Thomas 2017 Universitätsbibliothek der RWTH Aachen
• A Framework for Non-Interference in Component-Based Systems
  Greiner, Simon ; Beckert, B. 2018 KIT-Bibliothek
• A computer program for the exergoeconomic analysis of energy conversion plants
  Zhao, Pei ; Tsatsaronis, George ; Morozyuk, Tatiana ; Manfrida, Giampaolo 2015 Technische Universität Berlin
• An evaluation of the long-term effects of training programs in Germany and an empirical analysis of the Swiss Minaret Referendum
  Orlanski, Olga ; Fitzenberger, Bernd 2018 Universität
• Three Essays on Evaluating the Impact of Natural Resource Management Programs
  De los Santos Montero, Luis Alberto ; Cramon-Taubadel, Stephan ˜vonœ ; Bravo-Ureta ; Qaim, Matin 2018 Niedersächsische Staats- und Universitätsbibliothek Göttingen
• Interdisciplinary transition of care for congenital gastrointestinal malformations: analysis of a standardized program
  Kiblawi, Rim ; Giese, Lars ; Klamt, Sabine ; Obed, Mikal ; Markowski, Andrea ; Schneider, Andrea ; Dingemann, Jens
• Critical analysis of the liver cancer policies and programs in China: implications for international liver cancer control
  Chen, Xianwen ; Shi, Junnan ; Xue, Yan ; Lai, Yunfeng ; Song, Menghuan ; Ung, Carolina Oi Lam ; Hu, Hao
• Cost Analysis of Programs Based on the Refinement of Cost Relations
  Flores Montoya, Antonio ; Hähnle, Reiner ; Giesl, Jürgen 2017 Universitäts- und Landesbibliothek Darmstadt
• Die to Survive - Functional Analysis of Grapevine Metacaspases Responsive to Effector - Triggered Immunity (ETI)-Related Cell Death
  Gong, Peijie ; Nick, P. 2017 KIT-Bibliothek
• Development of Computational Analysis Criteria Based on Laser Sensor Device to Identify the Surface Status of Micro-structured Coatings for Aerospace Industry
  Zadra Pacheco, Mauricio ; Mayer, Bernd ; Santos, Max Mauro Dias 2017 Staats- und Universitätsbibliothek Bremen
• Hybrid Recursive Active Filter for RF Transceivers Front-Ends
  Gottardo, Giuseppe ; Fischer, Georg ; Jondral, Friedrich 2017 FAU University Press
• Suitability Analysis of Satellite Remote Sensing Methods to Map Agricultural Land Use Change after Zimbabwe's "Fast Track Land Reform Programme"
  Hentze, Konrad 2017 Universitäts- und Landesbibliothek Bonn
• Java program analysis by symbolic execution
  Otto, Carsten ; Giesl, Jürgen ; Spoto, Fausto 2015 Universitätsbibliothek der RWTH Aachen
• Heritage Technologies in Space Programs - Assessment Methodology and Statistical Analysis
  Hein, Andreas Makoto ; Walter, Ulrich ; Crawley, Edward 2016 Universitätsbibliothek der TU München
• Verification of programmable logic controller code using model checking and static analysis
  Biallas, Sebastian ; Kowalewski, Stefan ; Fay, Alexander 2016 Universitätsbibliothek der RWTH Aachen
• Tierwohl in der Nutztierhaltung: Eine Stakeholder-Analyse
  Heise, Heinke ; Theuvsen, Ludwig ; Spiller, Achim ; Recke, Guido 2017 Niedersächsische Staats- und Universitätsbibliothek Göttingen
• Information Flow Control with System Dependence Graphs - Improving Modularity, Scalability and Precision for Object Oriented Languages
  Graf, Jürgen ; Snelting, G. 2016 KIT-Bibliothek
• "... the power to change the world"? – analysis of sport-in-development programmes in Khayelitsha, South Africa and its challenges for research(ers)
  Biermann, Marie Anna 2016 Zentralbibliothek der Deutschen Sporthochschule
• Analysis of Recombination in Molecular Sequence Data
  Maydt, Jochen 2009 Shaker
• Numeric Inference of Heap Shapes for the Automated Analysis of Heap-Allocating Programs
  Siegel, Holger 2016 Verlag Dr. Hut