„program analysis“

Suchergebnisse

7.892 Treffer

• Associations between national viral hepatitis policies/programmes and country-level socioeconomic factors: a sub-analysis of data from the 2013 WHO viral hepatitis policy report
  Lazarus, Jeffrey V. ; Sperle, Ida ; Safreed-Harmon, Kelly ; Gore, Charles ; Cebolla, Beatriz ; Spina, Alexander
• 17th International Workshop on Worst-Case Execution Time Analysis (WCET 2017)
  Reineke, Jan 2017 Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH
• Analysis of the potential of rural area development in South Muntenia
  Lascar, Elena 2017 LAP LAMBERT Academic Publishing
• Formal analysis and offline monitoring of electronic exams
  Kassem, Ali ; Falcone, Yliès ; Lafourcade, Pascal
• Diagnosis of Learner Problems in B.A.(Hum) Programme by IDE, UNISWA
  Rastogi, Satish ; Dlamini, Shokahle ; Akintola, Abiola 2017 LAP LAMBERT Academic Publishing
• Scripted Reality-Formate im deutschsprachigen Fernsehprogramm. Trinationale Programmanalyse und Konzeption einer kombinierten Produkt- und Produktionsanalyse
  Klug, Daniel ; Schmidt, Axel 2016 Institut für Deutsche Sprache, Bibliothek
• Towards a Meaningful Analysis of Behavior Analyst Preparation Programs
  Shepley, Collin ; Allan Allday, R. ; Shepley, Sally B.
• JED: a Java Essential Dynamics Program for comparative analysis of protein trajectories
  David, Charles C. ; Singam, Ettayapuram Ramaprasad Azhagiya ; Jacobs, Donald J.
• A novel approach based on preference-based index for interval bilevel linear programming problem
  Ren, Aihong ; Wang, Yuping ; Xue, Xingsi
• OptiMouse: a comprehensive open source program for reliable detection and analysis of mouse body and nose positions
  Ben-Shaul, Yoram
• Feasibility study and benefit analysis of biomass-derived energy production strategies with a MILP (mixed-integer linear programming) model: Application to Jeju Island, Korea
  Lee, Minji ; Kim, Jiyong
• Optimization of resource usage in virtualized environments
  Gorski, Jakub 2017 LAP LAMBERT Academic Publishing
• Quantitative risk analysis of safety–critical embedded systems
  Liu, Yinling ; Shen, Guohua ; Huang, Zhiqiu ; Yang, Zhibin
• Analysis of service diagnosis improvement through increased monitoring granularity
  Chen, Cuiting ; Gross, Hans-Gerhard ; Zaidman, Andy
• Semidefinite and linear programming integrality gaps for scheduling identical machines
  Kurpisz, Adam ; Mastrolilli, Monaldo ; Mathieu, Claire ; Mömke, Tobias ; Verdugo, Victor ; Wiese, Andreas
• Deadlock and WCET analysis of barrier-synchronized concurrent programs
  Mittermayr, Robert ; Blieberger, Johann
• Short lists with short programs from programs of functions and strings
  Vereshchagin, Nikolay
• Complexity and Resource Bound Analysis of Imperative Programs Using Difference Constraints
  Sinn, Moritz ; Zuleger, Florian ; Veith, Helmut
• Smoothed analysis of dynamic networks
  Dinitz, Michael ; Fineman, Jeremy T. ; Gilbert, Seth ; Newport, Calvin
• Quadratic programs with hollows
  Yang, Boshi ; Anstreicher, Kurt ; Burer, Samuel