„Frame Analysis“

Suchergebnisse

5.574 Treffer

• A Framework for Verification and Debugging of Resource Usage Properties: Resource Usage Verification
  Lopez-Garcia, Pedro ; Darmawan, Luthfi ; Bueno, Francisco 2010 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Towards a Unifying Framework for Tuning Analysis Precision by Program Transformation
  Dalla Preda, Mila 2020 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• A New Hybrid Approach on WCET Analysis for Real-Time Systems Using Machine Learning
  Huybrechts, Thomas ; Mercelis, Siegfried ; Hellinckx, Peter 2018 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Video frame interpolation increases 3D tomography resolution for nanomaterials
  Redmond, Kendra
• Manufacturing process analysis framework for process mining: case study of fully automated factory applications
  Lee, Yongho ; Shin, Junho ; Lee, Wonhee
• Modelling SO-CAL in an Inheritance-based Sentiment Analysis Framework
  Satthar, F. Sharmila 2015 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• A Framework to Quantify the Overestimations of Static WCET Analysis
  Cassé, Hugues ; Ozaktas, Haluk ; Rochange, Christine 2015 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• A Flexible Framework for the Creation of Narrative-Centered Tools
  Niehaus, James ; Romero, Victoria ; Koelle, David ; Palmon, Noa ; Bracken, Bethany ; Pfautz, Jonathan ; Reilly, Scott Neal ; Weyhrauch, Peter 2014 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• A Formal Framework for Precise Parametric WCET Formulas
  Huber, Benedikt ; Prokesch, Daniel ; Puschner, Peter 2012 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• A Generic Framework for Blackbox Components in WCET Computation
  Ballabriga, Clément ; Cassé, Hugues ; De Michiel, Marianne 2009 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• A Framework for Static Analysis of VHDL Code
  Schlickling, Marc ; Pister, Markus 2007 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• A Framework for the Busy Time Calculation of Multiple Correlated Events
  Schliecker, Simon ; Ivers, Matthias ; Staschulat, Jan ; Ernst, Rolf 2006 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Explaining Data Type Reduction in the Shape Analysis Framework
  Wachter, Björn 2006 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Scripting Languages and Frameworks: Analysis and Verification (Dagstuhl Seminar 14271)
  Henglein, Fritz ; Jhala, Ranjit ; Krishnamurthi, Shriram ; Thiemann, Peter
• Semi-kinematic geodetic reference frame based on the ITRF2014 for Malaysia
  Azhari, M. ; Altamimi, Z. ; Azman, G. ; Kadir, M. ; Simons, W.J.F ; Sohaime, R. ; Yunus, M.Y. ; Irwan, M.J. ; Asyran, C.A. ; Soeb, N. ; Fahmi, A. ; Saiful, A.
• Application of perovskite crystal on lead-metal–organic frameworks pulp fibers for fluorescent anti-counterfeiting
  Wang, Haiping ; An, Xianhui ; Qian, Xueren
• A comprehensive multicriteria decision analysis framework for shallow geothermal energy suitability evaluation in Yinchuan Area, China
  Qu, Wengang ; Qian, Hui ; Yang, Chao ; Xu, Panpan ; Gao, Yanyan ; Wei, Leiqiang ; Long, Qi
• Decoding urban heritage: a multi-dimensional analysis framework applied to Assiut’s historic core
  Refaat, Ahmed Mohamed
• A systematic review of mediation analysis frameworks in studies examining the determinants of cardiometabolic outcomes in people living with HIV
  Ebasone, Peter Vanes ; Peer, Nasheeta ; Dzudie, Anastase ; Foaleng, Merveille ; Melpsa, Johney ; Kengne, Andre Pascal
• A Framework for the Analysis of Damaged Composite Materials Using the Homogenization Method
  Kattan,, Peter I. ; Voyiadjis,, George Z.