„program analysis“

Suchergebnisse

7.892 Treffer

• Semantics, calculi, and analysis for object-oriented specifications
  Brucker, Achim D. ; Wolff, Burkhart
• STK11 is required for the normal program of ciliated cell differentiation in airways
  Chu, Qiqi ; Yao, Changfu ; Qi, Xiangbing ; Stripp, Barry Raymond ; Tang, Nan
• Karush–Kuhn–Tucker optimality conditions and duality for convex semi-infinite programming with multiple interval-valued objective functions
  Tung, Le Thanh
• Introduction to and Application Analysis of Taiwan’s NHI-MediCloud System
  Chiang, Hsiang-Tsai ; Chang, Chiu-Ta
• Uncertainty measurement for automated macro program-processed quantitative proton NMR spectra
  Hays, Patrick A. ; Schoenberger, Torsten
• User-aware privacy control via extended static-information-flow analysis
  Xiao, Xusheng ; Tillmann, Nikolai ; Fahndrich, Manuel ; Halleux, Jonathan de ; Moskal, Michal ; Xie, Tao
• Logics of knowledge and action: critical analysis and challenges
  Herzig, Andreas
• Cloud-assisted analysis for energy efficiency in intelligent video systems
  Dai, Jie ; Zhao, Yu ; Liu, Yunhuai ; Qi, Li ; Hu, Chuanping
• Tikhonov regularization for mathematical programs with generalized complementarity constraints
  Buong, Nguyen ; Hoa, Nguyen Thi Thuy
• Stream biomonitoring using macroinvertebrates around the globe: a comparison of large-scale programs
  Buss, Daniel F. ; Carlisle, Daren M. ; Chon, Tae-Soo ; Culp, Joseph ; Harding, Jon S. ; Keizer-Vlek, Hanneke E. ; Robinson, Wayne A. ; Strachan, Stephanie ; Thirion, Christa ; Hughes, Robert M.
• Asymptotic Stability of Implicit Differential Systems in the Vicinity of Program Manifold
  Zhumatov, S. S.
• SAPTE: A multimedia information system to support the discourse analysis and information retrieval of television programs
  Pereira, Moisés H. R. ; Souza, Celso L. de ; Pádua, Flávio L. C. ; Silva, Giani D. ; Assis, Guilherme T. de ; Pereira, Adriano C. M.
• Buffering in proxy mobile IPv6: implementation and analysis
  Park, Changyong ; Kwon, NamYeong ; Woo, Honguk ; Choo, Hyunseung
• The Impact of Communal Intervention Programs on Jewish Identity: An Analysis of Jewish Students in Britain
  Graham, David J.
• PCB Congener Distribution in Estuarine Water, Sediment and Fish Samples: Implications for Monitoring Programs
  Fikslin, Thomas J. ; Santoro, Edward D.
• Review of Design and Analysis of Algorithms – This article elaborates the design issues related to time and space complexities of different algorithms
  CH, Suresh Kumar Raju 2019 LAP LAMBERT Academic Publishing
• Design elements of monitoring programs: The necessary ingredients for success
  Davis, Gary E.
• Forward Analysis of Updatable Timed Automata
  Bouyer, Patricia
• Eine programmgesteuerte Anordnung zur inversen Voltammetrie – Anodische Amalgamvoltammetrie V
  Neeb, R. ; Saur, D.
• The Structure of a Semantic Neural Network Realizing Morphological and Syntactic Analysis of a Text
  Shuklin, D. E.