„program analysis“

Suchergebnisse

7.892 Treffer

• A cross-decomposition scheme with integrated primal–dual multi-cuts for two-stage stochastic programming investment planning problems
  Mitra, Sumit ; Garcia-Herreros, Pablo ; Grossmann, Ignacio E.
• ICP forests manual on methods and criteria for harmonized sampling, assessment, monitoring and analysis of the effects of air pollution on forests – international co-operative programme on assessment and monitoring of air pollution effects on forests (ICP forests)
  Fischer, Richard ; Lorenz, Martin ; Ferretti, Marco ; Granke, Oliver ; Mues, Volker ; König, Nils 2010 Johann Heinrich von Thünen Inst., Inst. for World Forestry
• Optimal Program-Size Complexity for Self-Assembled Squares at Temperature 1 in 3D
  Furcy, David ; Micka, Samuel ; Summers, Scott M.
• Power Grid Survivability Analysis – An optimization Approach
  Verma, Abhinav 2010 VDM Verlag Dr. Müller
• Graph transformation systems in Constraint Handling Rules – improved methods for program analysis
  Raiser, Frank
• 10th International Workshop on Worst-Case Execution Time Analysis (WCET 2010)
  Lisper, Björn 2010 Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH
• The Finite Element Analysis Program MSC Marc/Mentat – A First Introduction
  Öchsner, Andreas ; Öchsner, Marco 2016 Springer Singapore
• High performance clustering algorithm for analysis of protein family clusters
  Han, Seok-Hyeon ; Yi, Gangman
• Second-order cone programming formulation for consolidation analysis of saturated porous media
  Zhang, Xue ; Sheng, Daichao ; Sloan, Scott W. ; Krabbenhoft, Kristian
• A bundle-free implicit programming approach for a class of elliptic MPECs in function space
  Hintermüller, M. ; Surowiec, T.
• Design procedures and NML cost analysis of reversible barrel shifters optimizing garbage and ancilla lines
  Thapliyal, Himanshu ; Labrado, Carson ; Chen, Ke
• The analysis and application of an educational programming language (RUR-PLE) for a pre-introductory computer science course
  Yoon, IlKyu ; Kim, JaMee ; Lee, WonGyu
• Experimental analysis of operating system jitter caused by page reclaim
  Oyama, Yoshihiro ; Ishiguro, Shun ; Murakami, Jun ; Sasaki, Shin ; Matsumiya, Ryo ; Tatebe, Osamu
• Static analysis of x86 executables – = Statische Analyse von Programmen in x86-Maschinensprache
  Kinder, Johannes
• Progress report on a programme of insecticide analysis and toxicity-testing in relation to the marine environment
  Portmann, John E.
• Security analysis of a user registration approach
  Luo, Min ; Zhang, Jingyin ; He, Debiao ; Shen, Jian
• Study on the performance evaluation of online teaching using the quantile regression analysis and artificial neural network
  Pan, Wen-Tsao ; Huang, Chiung-En ; Chiu, Chiung-Lin
• Some recent advances in automated analysis
  Abraham, Erika ; Havelund, Klaus
• Programmable Freezing and Computer Automated Analysis of Bovine Semen – Basic Principles and Application
  Kathiravan, P. ; Rengarajan, K. ; Kadirvel, G. 2010 VDM Verlag Dr. Müller
• Fifteen years of success: user access programs at the Budapest prompt-gamma activation analysis laboratory
  Szentmiklósi, L. ; Kasztovszky, Zs ; Belgya, T. ; Révay, Zs ; Kis, Z. ; Maróti, B. ; Gméling, K. ; Szilágyi, V.