„program analysis“

Suchergebnisse

7.892 Treffer

• Program efficiency analysis within the environmental landscape
  Hopkins, Erin A.
• Deregulation of the Downstream Petroleum Sector in Nigeria – A Critical Analysis of Petroleum Product Prices and Subsidies
  Aminaghan, Toju 2011 VDM Verlag Dr. Müller
• Budget consolidation and the european social model – the effects of european austerity programmes on social security systems
  Heise, Arne ; Lierse, Hanna 2011 Friedrich-Ebert-Stiftung, Internat. Policy Analysis
• The Ancestral Benders’ cutting plane algorithm with multi-term disjunctions for mixed-integer recourse decisions in stochastic programming
  Qi, Yunwei ; Sen, Suvrajeet
• Contract-based verification of MATLAB-style matrix programs
  Wiik, Jonatan ; Boström, Pontus
• Recruitment of patients with type 2 diabetes for target group specific exercise programs at an Outpatient Department of a Medical University: A factor analysis
  Lackinger, Christian ; Lamprecht, Thomas ; Winhofer, Yvonne ; Kosi, Lana ; Kautzky-Willer, Alexandra
• Special issue on “Integer programming under uncertainty”
  Ahmed, Shabbir ; Linderoth, Jeff
• 9th International Workshop on Worst-Case Execution Time Analysis (WCET'09)
  Holsti, Niklas 2009 Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH
• 8th International Workshop on Worst-Case Execution Time Analysis (WCET'08)
  Kirner, Raimund 2008 Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH
• 7th International Workshop on Worst-Case Execution Time Analysis (WCET'07)
  Rochange, Christine 2007 Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH
• 6th International Workshop on Worst-Case Execution Time Analysis (WCET'06)
  Mueller, Frank 2006 Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH
• 5th International Workshop on Worst-Case Execution Time Analysis (WCET'05)
  Wilhelm, Reinhard 2007 Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH
• Exact augmented Lagrangian duality for mixed integer linear programming
  Feizollahi, Mohammad Javad ; Ahmed, Shabbir ; Sun, Andy
• Engineering of Software – The Continuing Contributions of Leon J. Osterweil
  Osterweil, Leon J. ; Tarr, Peri L. ; Wolf, Alexander L. 2011 Springer Berlin Heidelberg
• Logic programming and nonmonotonic reasoning – 11th international conference ; proceedings
  Delgrande, James P. ; Faber, Wolfgang 2011 Springer
• Monitoring and Evaluating Adaptation at Aggregated Levels: A Comparative Analysis of Ten Systems (Folder with 10 Fachsheets) – Factsheet 1: France: Monitoring and Evaluation of the French National Adaptation Plan; Factsheet 2: Germany: The Monitoring System of the German Adaptation Strategy; Factsheet 3: Kenya: The MRV+ System under Kenyas National Climate Change Action Plan; Factsheet 4: Mekong River Commission: Lower Mekong basinwide monitoring and reporting system on climate change and adaptation; Factsheet 5: Morocco: Adaptation monitoring as part of the Regional Environmental Information System; Factsheet 6: Nepal: Results based monitoring for climate adaptation; Factsheet 7: Norway: Learning by doing for measuring progress in adaptation; Factsheet 8: The Philippines: National Climate Change Action Plan Results-Based Monitoring and Evaluation System; Factsheet 9: Pilot Program for Climate Resilience: The PPCR Monitoring and Reporting System; Factsheet The UK Adaptation Monitoring and Evaluation Framework
  Hammill, Anne ; Dekens, Julie 2014 GIZ
• Meta-evaluation & Evaluation Synthesis 2011 Executive Summary – Cross-section analysis of decentralised evaluations in the framework of human capacity development programmes 2010
  Caspari, Alexandra 2011 GIZ
• Socioeconomic Effects of the National Flood Insurance Program
  Howard, James 2016 Springer International Publishing
• The Summer Slide to Underachievement – An Analysis of Summer School Programs
  Zwiefelhofer, Chantel 2011 VDM Verlag Dr. Müller
• Formal concept analysis – 9th international conference ; proceedings
  Valtchev, Petko ; Jäschke, Robert 2011 Springer