„Program Analysis“

Suchergebnisse

7.892 Treffer

• Total Frame Potential and its Applications in Data Clustering
  Springer, Tobias 2014 Shaker
• Design and Analysis of Architectures for Stereo Vision
  Banz, Christian 2013 Shaker
• App platforms as two-sided markets – analysis and modeling of application distribution platforms for mobile devices
  Kouris, Iana 2014 Hochschulbibliothek der Rheinisch-Westfälischen Technischen Hochschule Aachen
• The Effectiveness of Agricultural Extension Programs in the Desert Areas of Nubaria, Egypt: A Case Study of a Sugar Beet Program
  Badr Mohamed, Mostafa Mohamed ; Cramon-Taubadel, Stephan ˜vonœ ; Brümmer, Bernhard ; El-Shafie, Emad ; Ammar, Yasmeen 2012 Niedersächsische Staats- und Universitätsbibliothek Göttingen
• Nationale und regionale Identität von Fernsehprogrammen – eine Analyse der Programminhalte von ZDF, ORF 2, BR und MDR
  Ihle, Holger ; Aufermann, Jörg ; Scharf, Wilfried ; Volpers, Helmut 2012 Niedersächsische Staats- und Universitätsbibliothek Göttingen
• 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
• Ein Rahmenwerk für die qualitative Analyse der Paarprogrammierung
  Salinger, Stephan 2013 Freie Universität Berlin
• Amortised resource analysis for object-oriented programs
  Rodriguez, Dulma ; Hofmann, Martin 2012 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
• Challenges and potentials of channeling local philanthropy towards development and aocial justice and the role of waqf (Islamic and Arab-civic endowments) in building community foundations – the case of Egypt
  El Daly, Marwa ; Heine, Peter ; Houben, Vincent 2012 Humboldt Universität zu Berlin, Philosophische Fakultät III
• The Missing Piece: How Traceability Links Recovery Strengthens Software Systems
  Mahima 2024 tredition
• Analysis of methods for extraction of programs from non-constructive proofs
  Trifonov, Trifon ; Schwichtenberg, Helmut 2012 Universitätsbibliothek der Ludwig-Maximilians-Universität
• Minimale Flussmoden als theoretisches Konzept für die funktionelle Analyse und modulare Beschreibung zellulärer Stoffwechselnetzwerke
  Hoffmann, Sabrina ; Holzhütter, Hermann-Georg ; Klipp, Edda ; Schuster, Stefan 2012 Humboldt Universität zu Berlin, Mathematisch-Naturwissenschaftliche Fakultät I
• Approximative real-time analysis
  Albers, Karsten 2011 Universität Ulm. Fakultät für Ingenieurwissenschaften und Informatik
• Graph transformation systems in Constraint Handling Rules – improved methods for program analysis
  Raiser, Frank
• Static analysis of x86 executables – = Statische Analyse von Programmen in x86-Maschinensprache
  Kinder, Johannes
• Graph neural networks for precise bug localization through structural program analysis
  Yousofvand, Leila ; Soleimani, Seyfollah ; Rafe, Vahid ; Nikanjam, Amin
• Evaluating an innovative redundancy retraining project – the Austrian Steel Foundation
  Winter-Ebmer, Rudolf 2001 IZA