„program analysis“

Suchergebnisse

7.892 Treffer

• Binding-time analysis for both static and dynamic expressions
  Asai, Kenichi
• A vector table model-based systematic analysis of spectral fault localization techniques
  Ma, Chunyan ; Nie, Chenyang ; Chao, Weicheng ; Zhang, Bowei
• Leakage Resilience from Program Obfuscation
  Dachman-Soled, Dana ; Gordon, S. Dov ; Liu, Feng-Hao ; O’Neill, Adam ; Zhou, Hong-Sheng
• A process mining-based analysis of business process work-arounds
  Outmazgin, Nesi ; Soffer, Pnina
• A big data approach to sentiment analysis using greedy feature selection with cat swarm optimization-based long short-term memory neural networks
  Alarifi, Abdulaziz ; Tolba, Amr ; Al-Makhadmeh, Zafer ; Said, Wael
• Scaling-up versus scaling-out networking in data centers: a comparative robustness analysis
  Shooshtarian, L. ; Safaei, F. ; Tizghadam, A.
• Correlated topographic analysis: estimating an ordering of correlated components
  Sasaki, Hiroaki ; Gutmann, Michael U. ; Shouno, Hayaru ; Hyvärinen, Aapo
• DEARank: a data-envelopment-analysis-based ranking method
  Jiang, Chunheng ; Lin, Wenbin
• Divide and recombine (D&R) data science projects for deep analysis of big data and high computational complexity
  Tung, Wen-wen ; Barthur, Ashrith ; Bowers, Matthew C. ; Song, Yuying ; Gerth, John ; Cleveland, William S.
• An Analytical Evaluation of Data Dependence Analysis Techniques
  Niedzielski, David ; Psarris, Kleanthis ; Theoharis, Theoharis
• Analysis of an efficient parallel implementation of active-set Newton algorithm
  San Juan Sebastián, Pablo ; Virtanen, Tuomas ; Garcia-Molla, Victor M. ; Vidal, Antonio M.
• Assortment Planning with Nested Preferences: Dynamic Programming with Distributions as States?
  Segev, Danny
• Software engineering in start-up companies: An analysis of 88 experience reports
  Klotins, Eriks ; Unterkalmsteiner, Michael ; Gorschek, Tony
• Interactive web interfaces modeling, simulation and analysis using Colored Petri Nets
  Brant-Ribeiro, Taffarel ; Araújo, Rafael D. ; Mendonça, Igor E. ; Soares, Michel S. ; Cattelan, Renan G.
• ASP for Conformance Analysis and Explanation of Clinical Guidelines Execution
  Piovesan, Luca ; Spiotta, Matteo ; Terenziani, Paolo ; Theseider Dupré, Daniele
• DigHR: precise dynamic detection of hidden races with weak causal relation analysis
  Luo, Peng ; Zou, Deqing ; Jin, Hai ; Du, Yajuan ; Zheng, Long ; Shen, Jinan
• Schedulability Analysis for Strictly Periodic Tasks in RTOS
  Zelenova, S. A. ; Zelenov, S. V.
• Towards a Cloud Computing Paradigm for Big Data Analysis in Smart Cities
  Massobrio, R. ; Nesmachnow, S. ; Tchernykh, A. ; Avetisyan, A. ; Radchenko, G.
• Scalable and precise estimation and debugging of the worst-case execution time for analysis-friendly processors: a comeback of model checking
  Becker, Martin ; Metta, Ravindra ; Venkatesh, R. ; Chakraborty, Samarjit
• Analysis of importance of pre-processing in prediction of hypertension
  Shobha, K. ; Nickolas, S.