„Verification algorithms“

Suchergebnisse

218 Treffer

• Mining and state-space modeling and verification of sub-networks from large-scale biomolecular networks
  Hu, Xiaohua ; Wu, Fang-Xiang
• A case study in pathway knowledgebase verification
  Racunas, Stephen A. ; Shah, Nigam H. ; Fedoroff, Nina V.
• Computational verification of protein-protein interactions by orthologous co-expression
  Tirosh, Itay ; Barkai, Naama
• Verification of optimizing algorithms based on naive denotational semantics
  Kock, Gerhard 1991 GMD
• Low Altitude Radar Wave Propagation Modelling – All Algorithms and verification with other propagation model and measurement data of Low Altitude Radar Wave Propagation Modelling
  SENGUL, ORHAN 2009 VDM Verlag Dr. Müller
• Computer verification of algorithms using a formal proof system
  Kaiser, Markus 2010 dissertation.de
• Static detection of software errors – precise and scalable algorithms for automatic detection of software errors
  Xie, Yichen 2007 VDM Verlag Dr. Müller
• Parallel algorithms for verification on large systems
  Weber, Michael 2006 RWTH, Department of Computer Science
• Model-Based Safety and Assessment – 4th International Symposium, IMBSA 2014, Munich, Germany, October 27-29, 2014. Proceedings
  2014 Springer International Publishing
• Mathematical foundations of computer science 2014
  2014 Springer
• Mathematical foundations of computer science 2014
  2014 Springer
• Modeling and Performance Analysis – Modeling and Performance Analysis of Distributed Systems with Collaboration Behaviour Diagrams
  Israr, Toqeer 2014 LAP LAMBERT Academic Publishing
• Mathematical software – 4th international conference ; proceedings
  Hong, Hoon ; Yap, Chee 2014 Springer
• VERIFICATION AND IMPROVING PLANIMETRIC ACCURACY OF AIRBORNE LASER SCANNING DATA WITH USING PHOTOGRAMMETRIC DATA
  Bakuła, K. ; Dominik, W. ; Ostrowski, W.
• A technology and software toolset for design and verification of real-time control algorithms
  Tyugashev, A. A. ; Zheleznov, D. V. ; Nikishchenkov, S. A.
• Verification of monocular and binocular pose estimation algorithms in vision-based UAVs autonomous aerial refueling system
  Li, Han ; Duan, Haibin
• Unified formal derivation and automatic verification of three binary-tree traversal non-recursive algorithms
  You, Zhen ; Xue, Jinyun ; Zuo, Zhengkang
• Efficient processing of simple temporal networks with uncertainty: algorithms for dynamic controllability verification
  Nilsson, Mikael ; Kvarnström, Jonas ; Doherty, Patrick