„program analysis“

Suchergebnisse

7.892 Treffer

• Image Processing of All Sky Imager Using Matlab
  Patil, Rohit 2017 LAP LAMBERT Academic Publishing
• Compositional schedulability analysis of real-time actor-based systems
  Jaghoori, Mohammad Mahdi ; Boer, Frank de ; Longuet, Delphine ; Chothia, Tom ; Sirjani, Marjan
• Optimal weed population control using nonlinear programming
  Stiegelmeier, Elenice W. ; Oliveira, Vilma A. ; Silva, Geraldo N. ; Karam, Décio
• Developing a comprehensive information security framework for mHealth: a detailed analysis
  Vithanwattana, Nattaruedee ; Mapp, Glenford ; George, Carlisle
• Formal analysis of seamless application execution in mobile cloud computing
  Ahmed, Ejaz ; Naveed, Anjum ; Hamid, Siti Hafizah Ab ; Gani, Abdullah ; Salah, Khaled
• Nonparametric estimation for compound Poisson process via variational analysis on measures
  Lindo, Alexey ; Zuyev, Sergei ; Sagitov, Serik
• Short lists with short programs in short time
  Bauwens, Bruno ; Makhlin, Anton ; Vereshchagin, Nikolay ; Zimand, Marius
• Mixed integer reformulations of integer programs and the affine TU-dimension of a matrix
  Bader, Jörg ; Hildebrand, Robert ; Weismantel, Robert ; Zenklusen, Rico
• Data envelopment analysis and its related linear programming models
  Färe, Rolf ; Grosskopf, Shawna ; Karagiannis, Giannis ; Margaritis, Dimitris
• Development of Programming and Measuring System for Analysis of Nonwoven Textile Materials
  Makarov, A. A. ; Ganyavin, V. A.
• Evaluating perceived and estimated data quality for Web 2.0 applications: a gap analysis
  Han, Wen-Ming
• Linear decomposition approach for a class of nonconvex programming problems
  Shen, Peiping ; Wang, Chunfeng
• 3D-Stacked Many-Core Architecture for Biological Sequence Analysis Problems
  Liu, Pei ; Hemani, Ahmed ; Paul, Kolin ; Weis, Christian ; Jung, Matthias ; Wehn, Norbert
• Exact duals and short certificates of infeasibility and weak infeasibility in conic linear programming
  Liu, Minghui ; Pataki, Gábor
• A parallel domain decomposition algorithm for coastal ocean circulation models based on integer linear programming
  Jordi, Antoni ; Georgas, Nickitas ; Blumberg, Alan
• The Mathematical Programming Society
• Integer programming approaches to the travelling salesman problem
  Miliotis, P.
• Sensitivity analysis for nonlinear programming using penalty methods
  Fiacco, Anthony V.
• The Mathematical Programming Society
• Bicentennial conference on Mathematical Programming