„Modeling Embedded Systems“

Suchergebnisse

1.000+ Treffer

• Parameterization and regionalization of redox based denitrification for GIS-embedded nitrate transport modeling in Pleistocene aquifer systems
  Merz, C. ; Steidl, J. ; Dannowski, R.
• Embedded architecture for noise-adaptive video object detection using parameter-compressed background modeling
  Ratnayake, Kumara ; Amer, Aishy
• TransST: transfer learning embedded spatial factor modeling of spatial transcriptomics data
  Liu, Shuo Shuo ; Wang, Shikun ; Chen, Yuxuan ; Rustgi, Anil K. ; Yuan, Ming ; Hu, Jianhua
• Modeling and analysis of a piezoelectric transducer embedded in a nonlinear damped dynamical system
  Abohamer, M. K. ; Awrejcewicz, J. ; Amer, T. S.
• Human-Computer Interaction – Second IFIP TC 13 Symposium, HCIS 2010, Held as Part of WCC 2010, Brisbane, Australia, September 20-23, 2010. Proceedings
  2010 Springer Berlin Heidelberg
• Verification of Structural and Extra-Functional Properties in Component and Connector Models for Embedded and Cyber-Physical Systems
  Wenckstern, Michael ˜vonœ 2020 Shaker
• Reliable Software for Unreliable Hardware - A Cross-Layer Approach
  Rehman, Semeen ; Henkel, J. 2015 KIT-Bibliothek
• Modular Performance Analysis of Embedded Real-Time Systems: Improving Modeling Scope and Accuracy
  Perathoner, Simon 2011 Shaker
• A Problem-Oriented Approach for Dynamic Verification of Heterogeneous Embedded Systems
  Mendoza Cervantes, Francisco 2014 KIT Scientific Publishing
• A partitioning centric approach for the modeling and the methodical design of automotive embedded systems architectures
  Kebemou, Augustin
• Guest Editorial: Special Issue on 2020 IEEE International Conference on Embedded Computer Systems: Architectures, Modeling and Simulation (SAMOS 2020)
  Reichenbach, Marc ; Jung, Matthias ; Orailoglu, Alex
• Guest Editorial: Special Issue on the 2015 International Conference on Embedded Computer Systems—Architectures, Modeling and Simulation (SAMOS XV)
  Payá-Vayá, Guillermo ; Gerstlauer, Andreas
• Formal Modeling and Verification of Cyber-Physical Systems – 1st International Summer School on Methods and Tools for the Design of Digital Systems, Bremen, Germany, September 2015
  2015 Springer Fachmedien Wiesbaden
• Formal Modeling and Analysis of Timed Systems – 9th International Conference, FORMATS 2011, Aalborg, Denmark, September 21-23, 2011. Proceedings
  Fahrenberg, Uli ; Tripakis, Stavros 2011 Springer Berlin Heidelberg
• Foundations of Computer Software. Modeling, Development, and Verification of Adaptive Systems – 16th Monterey Workshop 2010, Redmond, WA, USA, March 31- April 2, 2010, Revised Selected Papers
  Calinescu, Radu C. ; Jackson, Ethan 2011 Springer Berlin Heidelberg
• Software and Data Technologies – 4th International Conference, ICSOFT 2009, Sofia, Bulgaria, July 26-29, 2009. Revised Selected Papers
  Cordeiro, José António Moinhos ; Ranchordas, AlpeshKumar ; Šiškov, Boris 2011 Springer Berlin Heidelberg
• e-Business and Telecommunications – 6th International Joint Conference, ICETE 2009, Milan, Italy, July 7-10, 2009. Revised Selected Papers
  Cordeiro, José António Moinhos ; Ranchordas, AlpeshKumar ; Šiškov, Boris 2011 Springer Berlin Heidelberg
• Embedded computer systems: architectures, modeling, and simulation – 9th international workshop, SAMOS 2009, Samos, Greece, July 20 - 23, 2009 ; proceedings
  Bertels, Koen 2009 Springer
• Embedded computer systems: architectures, modeling, and simulation – 8th international workshop, Samos 2008, Samos, Greece, July 21 - 24, 2008 ; proceedings
  Bereković, Mladen 2008 Springer
• Embedded computer systems: architectures, modeling, and simulation – 7th international workshop, Samos 2007, Samos, Greece, July 16 - 19, 2007 ; proceedings
  Vassiliadis, Stamatis 2007 Springer