„program analysis“

Suchergebnisse

7.892 Treffer

• Analysis via goal programming of the minimum achievable stay in surgical waiting lists
  Arenas, M. ; Bilbao, A. ; Caballero, R. ; Gómez, T. ; Rodríguez, M V. ; Ruiz, F.
• Advances in Sensitivity Analysis and Parametric Programming
  Wilson, J M.
• Programming languages and systems – 8th Asian symposium ; proceedings
  Ueda, Kazunori 2010 Springer
• Verification, induction, termination analysis – Festschrift for Christoph Walther on the occasion of his 60th birthday
  Siegler, Simon ; Walther, Christoph ; Wasser, Nathan 2010 Springer
• Efficient algorithms for unification based incremental semantic analysis
  Snelting, Gregor ; Kaes, Stefan 1987 PU 2, Techn. Hochsch.
• Methods for Analysis of Multi-Channel Queueing System with Instantaneous and Delayed Feedbacks
  Koroliuk, V. S. ; Melikov, A. Z. ; Ponomarenko, L. A. ; Rustamov, A. M.
• Analysis of Linear Definite Iterative Loops
  Lvov, M. S.
• Soft error resilience in Big Data kernels through modular analysis
  Chen, Sui ; Bronevetsky, Greg ; Peng, Lu ; Li, Bin ; Fu, Xin
• The role of industry infrastructure in telehealth innovations: a multi-level analysis of a telestroke program
  Cho, Sunyoung ; Mathiassen, Lars
• An additive utility mixed integer programming model for nonlinear discriminant analysis
  Glen, J J.
• Multicriteria and multiperiod programming for scenario analysis in Guadalquivir river irrigated farming
  López-Baldovin, M J. ; Gutiérrez-Martin, C. ; Berbel, J.
• Formal methods and software engineering – proceedings
  Dong, Jin Song ; Zhu, Huibiao 2010 Springer
• Welfare and cohesion contested: A critical discourse analysis of New Labour's reform programme
  Donoghue, Matthew
• Using DTA and DTAARRAY Variables and Programming in WinNonlin ASCII Models to Streamline User-Defined Calculation and Data Analysis
  Shen, Jun ; Li, Shuanglian ; Bowsher, Ronald R. ; Vick, Andrew
• A language-independent proof system for full program equivalence
  Ciobâcă, Ştefan ; Lucanu, Dorel ; Rusu, Vlad ; Rosu, Grigore
• A Decentralized Model for Allied Closed-Loop Supply Chains: Comparative Analysis of Interactive Fuzzy Programming Approaches
  Çalık, Ahmet ; Paksoy, Turan ; Yıldızbaşı, Abdullah ; Yapıcı Pehlivan, Nimet
• Burmese sociocultural adjustment to Thai international programs: an analysis of the impact of historical revisionism
  Rhein, Douglas
• Progress in pattern recognition, image analysis, computer vision, and applications – proceedings
  Bloch, Isabelle ; Cesar, Jr., Roberto M. 2010 Springer
• Runtime verification – first international conference ; proceedings
  Barringer, Howard ; Roşu, Grigore ; Sokolsky, Oleg 2010 Springer
• The Sertindole Safety Survey: A retrospective analysis under a named patient use programme in Europe
  Lancon, Christophe ; Toumi, Mondher ; Sapin, Christophe ; Hansen, Karina