„Program Analysis“

Suchergebnisse

7.892 Treffer

• On the convergence of successive approximations in dynamic programming with non-zero terminal reward
  Stidham, S.
• A generalized Farkas lemma with applications to quasidifferentiable programming
  Glover, B. M.
• Impressions of the early days of programming
  Naur, Peter
• A randomly generated program for automatic identity checking
  Dahlquist, Germund ; Ingemarsson, Ingemar ; Riesel, Hans
• Compilation of linear partial differential equations into finite-difference programs
  Cohen, Jacques ; Grossman, Peter
• Decomposed enumeration of extreme points in the linear programming problem
  Dahl, Grete ; Storøy, Sverre
• A chance-constrained programming algorithm
  Seppälä, Yrjö
• A dynamic programming approach to the complete set partitioning problem
  Yun Yeh, D.
• Symmetric dual fractional programming
  Chandra, S. ; Craven, B. D. ; Mond, B.
• Source program optimization with a generalized FOR statement
  Lichtman, Zavdi L.
• Optimal value functions in parametric programming
  Choo, E. U. ; Chew, K. P.
• Transfer of programs from development to runtime environments
  Strömberg, Dan ; Fritzson, Peter
• Primal and dual optimality criteria in convex programming
  Ben-Tal, A. ; Charnes, A.
• On abstract duality in mathematical programming
  Burkard, R. E. ; Hamacher, H. ; Tind, J.
• Formalization in program development
  Naur, Peter
• Aspects of compact programs and directly executed languages
  Tafvelin, Sven ; Wikström, Åke
• A quadratic programming algorithm
  Best, M. J. ; Ritter, K.
• CoVeriTest: interleaving value and predicate analysis for test-case generation
  Jakobs, Marie-Christine
• Cross section sensitivity and uncertainty analysis for European INTOR and US FED designs – a report on work done under the joint General Atomic/Swiss Fed. Inst. for Reactor Research cooperative reactor program on fusion technology
  Pelloni, Sandro 1982 EIR
• The analysis of risky portfolios by geometric programming
  Jefferson, T. R. ; Scott, C. H. ; Cozzolino, J. M.