„program analysis“

Suchergebnisse

7.892 Treffer

• Region analysis for deductive verification of C programs
  Mandrykin, M. U. ; Khoroshilov, A. V.
• Optimization of program recursive function calls analysis method
  Shan, Chun ; Yu, Zequn ; Hu, Changzhen ; Xue, Jingfeng ; Wu, Luxia
• SPARTA: Simple Program for Automated reference-based bacterial RNA-seq Transcriptome Analysis
  Johnson, Benjamin K. ; Scholz, Matthew B. ; Teal, Tracy K. ; Abramovitch, Robert B.
• A user-centric semantic-based algorithm for ranking services: design and analysis
  Alsaig, Ammar ; Alagar, Vangalur ; Mohammad, Mubarak ; Alhalabi, Wadee
• Proving completeness of logic programs with the cut
  Drabent, Włodzimierz
• Project management of government projects – Analysis based on the Bulgarian case “Operational Programme Environment 2007-2013"
  Mladenov, Valentin 2016 AV Akademikerverlag
• An approach to clone detection in sequence diagrams and its application to security analysis
  Alalfi, Manar H. ; Antony, Elizabeth P. ; Cordy, James R.
• Scalable Bit-precise Formal Verification of Embedded Software
  He, Nannan 2016 LAP LAMBERT Academic Publishing
• Microfinance and Poverty Alleviation: Evidences from Kerala, India – A Comparative Analysis Of The Performance Of Microfinance Programmes Of The Government And NGOs
  K. C., Biju 2016 LAP LAMBERT Academic Publishing
• Regional Flood Frequency Analysis – A Case Study of Mahanadi Basin
  Chowdhary, Archana Keerti ; Chowdhary, Keerti K. 2016 LAP LAMBERT Academic Publishing
• Analyzing execution traces: critical-path analysis and distance analysis
  Hendriks, Martijn ; Verriet, Jacques ; Basten, Twan ; Theelen, Bart ; Brassé, Marco ; Somers, Lou
• Frequently Assigned Readings in Behavior Analysis Graduate Training Programs
  Pastrana, Sarah J. ; Frewing, Tyla M. ; Grow, Laura L. ; Nosik, Melissa R. ; Turner, Maria ; Carr, James E.
• Cognitive social network analysis for supporting the reliable decision-making process
  Kim, Mucheol ; Han, Sangyong
• An analysis of the genetic marker diversity algorithm for genetic programming
  Burks, Armand R. ; Punch, William F.
• Set-valued minimax programming problems under generalized cone convexity
  Das, K. ; Nahak, C.
• Dirk Draheim, Gerald Weber: Form-oriented analysis. A new methodology to model form-based applications
  Sikorski, Marcin
• Specifying business rules in object-oriented analysis
  Devos, Frank ; Steegmans, Eric
• Text Book On Dynamic Relaxation Method – Theoretical Analysis, Solved Examples And Computer Programming
  Osama, Mohammed Elmardi 2016 LAP LAMBERT Academic Publishing
• Sufficiency and duality for nonsmooth multiobjective fractional programming problems involving $$(\Phi ,\rho ,\alpha )$$ ( Φ , ρ , α ) -V-invexity
  Yan, Chun-lei
• Proof checking and logic programming
  Miller, Dale