„Program Analysis“

Suchergebnisse

7.892 Treffer

• The economical parameter survey program for long-term transient temperature distribution and stress analysis around the sodium level of the liquid metal fast breeder reactor
  Imayoshi, S. ; Sato, Y. ; Shiga, A.
• Sufficiency of Kuhn-Tucker optimality conditions for a fractional programming problem
  Mjelde, K. M.
• Bibliography in fractional programming
  Schaible, S.
• Globally convergent methods for semi-infinite programming
  Watson, G. A.
• Die Auflösung linearer Programme ohne Kenntnis einer zulässigen Ausgangslösung
  Nef, Walter
• A simple proof of a general duality theorem of convex programming
  Hohenbalken, B. v.
• The semantics and complexity of parallel programs for vector computations. Part I: A case study using ADA
  Blum, Edward K.
• Basic concepts of algorithms and programming to be taught in a school course in informatics
  Ershov, Andrei P.
• Array theory and the nial programming language
  Smillie, K. W.
• An axiomatic basis for proving total correctness of goto-programs
  Wang, Arne
• Non-deterministic programming
  Johansen, Peter
• Dynamic risk programming with learning adjustment
  Moeseke, P. Van
• A quadratic programming model for optimal data distribution
  Lam, C. M. ; Fung, K. T.
• A new branching rule for the branch and bound algorithm for solving nonlinear integer programming problems
  Körner, Frank
• A subexponential bound for linear programming
  Matoušek, J. ; Sharir, M. ; Welzl, E.
• An exact penalty function algorithm for semi-infinite programmes
  Price, C. J. ; Coope, I. D.
• An algorithm for least distance programming
  Storøy, Sverre
• A linear programming approach to optimal utilization of good quality coking coal — The Indian case
  Sen, Ranen
• Programming by action clusters
  Naur, Peter
• On-line program debugging
  Jönsson, Sven Ingvar