„program analysis“

Suchergebnisse

7.892 Treffer

• Obtaining lower bounds from the progressive hedging algorithm for stochastic mixed-integer programs
  Gade, Dinakar ; Hackebeil, Gabriel ; Ryan, Sarah M. ; Watson, Jean-Paul ; Wets, Roger J.-B ; Woodruff, David L.
• Concavity and efficient points of discrete distributions in probabilistic programming
  Dentcheva, Darinka ; Prékopa, András ; Ruszczynski, Andrzej
• Cloud Database Management System security challenges and solutions: an analysis
  Malhotra, Shweta ; Doja, Mohammad Najmud ; Alam, Bashir ; Alam, M. Afshar
• Quality-functions for an uniform and comparable analysis of demand side management algorithms
  Hölker, Daniel ; Brettschneider, Daniel ; Fischer, Marten ; Tönjes, Ralf ; Roer, Peter
• Agent-based modelling of Trypanosoma collective behaviour
  Kuhn, Andreas ; Fischer, Sabine C. ; Engstler, Markus ; Stark, Holger 2025 Universität Würzburg
• Eine domänenspezifische Sprache zur Analyse von Software-Verfolgbarkeitsinformationen
  Tausch, Norbert 2017 Shaker
• Optimal measurement points for program frequency counts
  Knuth, Donald Ervin ; Stevenson, Francis R.
• Distributionally robust stochastic programs with side information based on trimmings
  Esteban-Pérez, Adrián ; Morales, Juan M.
• A combinatorial cut-and-lift procedure with an application to 0–1 second-order conic programming
  Castro, Margarita P. ; Cire, Andre A. ; Beck, J. Christopher
• Generalized offset based response time analysis
  Sudhakar, Deepak Vedha Raj ; Albers, Karsten ; Slomka, Frank 2020 Universität Ulm
• Dependable Software Engineering. Theories, Tools, and Applications – Third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017, Proceedings
  Larsen, Kim Guldstrand ; Sokolsky, Oleg ; Wang, Ji 2017 Springer International Publishing
• System Analysis and Modeling: Theory and Practice – 7th International Workshop, SAM 2012, Innsbruck, Austria, October 1-2, 2012. Revised Selected Papers
  Haugen, Øystein ; Reed, Rick ; Gotzhein, Reinhard 2013 Springer Berlin Heidelberg
• Stability and Sensitivity of Uncertain Linear Programs
  Cánovas, María J. ; Parra, Juan
• Automation risks of vocational training programs and early careers in the Netherlands
  Dicks, Alexander ; Künn-Nelen, Annemarie ; Levels, Mark ; Montizaan, Raymond 2024 Sage
• A cross-sectional analysis of the effectiveness of a nutritional support programme for people with tuberculosis in Southern Madagascar using secondary data from a non-governmental organisation
  Franke, Mara Anna ; Emmrich, Julius ; Ranjaharinony, Fierenantsoa ; Ravololohanitra, Onja Gabrielle ; Andriamasy, Harizaka Emmanuel ; Knauss, Samuel ; Muller, Nadine
• Linear-programming approach to nonconvex variational problems
  Bartels, Sören ; Roubíček, Tomáš
• What really changes when developers intend to improve their source code: a commit-level study of static metric value and static analysis warning changes
  Trautsch, Alexander ; Erbel, Johannes ; Herbold, Steffen ; Grabowski, Jens
• A close look at lay-led self-management programs for chronic diseases and health care utilisation: A systematic review and meta-analysis
  Lederle, Mareike ; Bitzer, Eva Maria
• Interprocedural Program Analysis – Herbrand Equalities and Local Solvers
  Schulze Frielinghaus, Stefan ; Seidl, Helmut ; Müller-Olm, Markus 2018 Universitätsbibliothek der TU München
• Outer limit of subdifferentials and calmness moduli in linear and nonlinear programming
  Cánovas, María J. ; Henrion, René ; López, Marco A. ; Parra, Juan 2015 Berlin : Weierstraß-Institut für Angewandte Analysis und Stochastik