„program analysis“

Suchergebnisse

7.892 Treffer

• Learning analysis strategies for octagon and context sensitivity from labeled data generated by static analyses
  Heo, Kihong ; Oh, Hakjoo ; Yang, Hongseok
• Bounding Averages Rigorously Using Semidefinite Programming: Mean Moments of the Lorenz System
  Goluskin, David
• Spectrum efficiency analysis for multicast services in cognitive radio based wireless networks
  Bhattacharjee, Sangeeta ; Acharya, Tamaghna ; Bhattacharya, Uma
• Feature fatigue analysis of product usability using Hybrid ant colony optimization with artificial bee colony approach
  Midhunchakkaravarthy, J. ; SelvaBrunda, S.
• Improving the results of program analysis by abstract interpretation beyond the decreasing sequence
  Boutonnet, Rémy ; Halbwachs, Nicolas
• An Expected Utility Approach to Energy Security in Eurasia – Game theoretic analysis of international bargaining on Iran's nuclear program, South Ossetia and Nagorno Karabakh
  Özdamar, Özgür 2017 Scholars' Press
• On strong KKT type sufficient optimality conditions for multiobjective semi-infinite programming problems with vanishing constraints
  Guu, Sy-Ming ; Singh, Yadvendra ; Mishra, Shashi Kant
• A study of the difference-of-convex approach for solving linear programs with complementarity constraints
  Jara-Moroni, Francisco ; Pang, Jong-Shi ; Wächter, Andreas
• SOS-Convex Semialgebraic Programs and its Applications to Robust Optimization: A Tractable Class of Nonsmooth Convex Optimization
  Chieu, N. H. ; Feng, J. W. ; Gao, W. ; Li, G. ; Wu, D.
• Traditional vs. Alternative Teacher Preparation Programs: A Meta-Analysis
  Whitford, Denise K. ; Zhang, Dake ; Katsiyannis, Antonis
• Accelerated first-order methods for hyperbolic programming
  Renegar, James
• Tropospheric ozone climatology over Beijing: analysis of aircraft data from the MOZAIC program
  Ding, A. J. ; Wang, T. ; Thouret, V. ; Cammas, J.-P. ; Nedelec, P.
• Rainfall events and Hailstorms Analysis Program (RHAP)
  Ceperuelo, M. ; Llasat, M. C. ; Rigo, T.
• Improved proximal ADMM with partially parallel splitting for multi-block separable convex programming
  Sun, Min ; Sun, Hongchun
• Productive Safety Net Programme in Ethiopia – Lesson from D’irashe District Evidences, Practices and Challenges
  Kite, Asfaw Gnefato 2017 LAP LAMBERT Academic Publishing
• Programmieren für Ingenieure und Naturwissenschaftler – Grundlagen
  Dörn, Sebastian 2016 Springer Vieweg
• Programmieren für Ingenieure und Naturwissenschaftler – Algorithmen und Programmiertechniken
  Dörn, Sebastian 2017 Springer Vieweg
• Design and analysis of a feedback time difference amplifier with linear and programmable gain
  Wu, Wenlan ; Baker, R. Jacob ; Bikkina, Phaneendra ; Long, Yu ; Levy, Andrew ; Mikkola, Esko
• High and Low Responders in a Comprehensive Lifestyle Program for Weight Loss - Secondary Analysis of a Randomized Controlled Trial
  Melchart, Dieter ; Wühr, Erich ; Weidenhammer, Wolfgang
• The impact of climatic variations on agriculture
  Parry, Martin L. Kluwer