„Program Analysis“

Suchergebnisse

7.892 Treffer

• A new hybrid fuzzy-goal programming scheme for multi-objective topological optimization of static and dynamic structures under multiple loading conditions
  Luo, Zhen ; Yang, Jingzhou ; Chen, Li-Ping ; Zhang, Yun-Qing ; Abdel-Malek, Karim
• Tradeoff and Sensitivity Analysis in Software Architecture Evaluation Using Analytic Hierarchy Process
  Zhu, Liming ; Aurum, Aybüke ; Gorton, Ian ; Jeffery, Ross
• A Basis for Analyzing Software Architecture Analysis Methods
  Kazman, Rick ; Bass, Len ; Klein, Mark ; Lattanze, Tony ; Northrop, Linda
• Special Issue: Trade-off Analysis of Software Quality Attributes
  Wohlin, Claes ; Lundberg, Lars ; Mattsson, Michael
• Conditional Value-at-Risk in Stochastic Programs with Mixed-Integer Recourse
  Schultz, Rüdiger ; Tiedemann, Stephan
• A linear programming formulation for the maximum complete multipartite subgraph problem
  Cornaz, Denis
• Simulation of generators of Markovian dynamics on programmable quantum processors
  Koniorczyk, M. ; Bužek, V. ; Adam, P.
• Robustness Analysis of Public Transportation Systems in Seoul Using General Multilayer Network Models
  Lee, Seokjin ; Kim, Seongryong ; Kim, Jungeun
• Educational research on medical residency programs in Chile: a scoping review and analysis of the impact of the new accreditation policy
  Donato, Katherine Marín ; Armijo-Rivera, Soledad ; Pérez, René Cantariño ; Vicencio-Clarke, Scarlett ; Ramírez-Delgado, Paulina ; Bonifay, Ximena Triviño ; Díaz-Guío, Diego Andrés ; Mujica, Carolina Acuña
• Complexity of chordal conversion for sparse semidefinite programs with small treewidth
  Zhang, Richard Y.
• Performance analysis and optimization of numerically intensive programs
  Bonk, Thomas ; Rüde, Ulrich 1992 SFB 342
• Aliasing and groundness analysis of logic programs through abstract interpretation and its safety
  Hans, Werner ; Winkler, Stephan 1992 RWTH, Fachgruppe Informatik
• A fast and robust algorithm for solving biobjective mixed integer programs
  Pecin, Diego ; Herszterg, Ian ; Perini, Tyler ; Boland, Natashia ; Savelsbergh, Martin W. P.
• Efficient analysis and manipulation of OBDDs can be extended to read once only branching programs
  Gergov, Jordan ; Meinel, Christoph 1992 Univ., Mathematik, Informatik
• Robust nonsmooth optimality conditions for uncertain multiobjective programs involving stable functions
  Su, Tran Van
• Fractional semi-infinite programming problems: optimality conditions and duality via tangential subdifferentials
  Tripathi, Indira P. ; Arora, Mahamadsohil A.
• Association of chronic kidney disease with postoperative outcomes: a national surgical quality improvement program (NSQIP) multi-specialty surgical cohort analysis
  Riveros, Carlos ; Ranganathan, Sanjana ; Shah, Yash B. ; Huang, Emily ; Xu, Jiaqiong ; Hsu, Enshuo ; Geng, Michael ; Hu, Siqi ; Melchiode, Zachary ; Miles, Brian J. ; Esnaola, Nestor ; Klaassen, Zachary ; Jerath, Angela ; Wallis, Christopher J.D ; Satkunasivam, Raj
• Local edge metric dimensions via corona products and integer linear programming
  Amini, Fateme ; Henning, Michael A. ; Tavakoli, Mostafa
• New algorithms for singly linearly constrained quadratic programs subject to lower and upper bounds
  Dai, Yu-Hong ; Fletcher, Roger
• Energy method of longevity calculation under an irregular loading. Report 2. Longevity under programmed block loading
  Fomichev, P. A.