„Modeling Embedded Systems“
Suchergebnisse
1.000+ Treffer
-
Parameterization and regionalization of redox based denitrification for GIS-embedded nitrate transport modeling in Pleistocene aquifer systems
-
Embedded architecture for noise-adaptive video object detection using parameter-compressed background modeling
-
TransST: transfer learning embedded spatial factor modeling of spatial transcriptomics data
-
Modeling and analysis of a piezoelectric transducer embedded in a nonlinear damped dynamical system
-
Human-Computer Interaction – Second IFIP TC 13 Symposium, HCIS 2010, Held as Part of WCC 2010, Brisbane, Australia, September 20-23, 2010. Proceedings
-
Verification of Structural and Extra-Functional Properties in Component and Connector Models for Embedded and Cyber-Physical Systems
-
Reliable Software for Unreliable Hardware - A Cross-Layer Approach
-
Modular Performance Analysis of Embedded Real-Time Systems: Improving Modeling Scope and Accuracy
-
A Problem-Oriented Approach for Dynamic Verification of Heterogeneous Embedded Systems
-
A partitioning centric approach for the modeling and the methodical design of automotive embedded systems architectures
-
Guest Editorial: Special Issue on 2020 IEEE International Conference on Embedded Computer Systems: Architectures, Modeling and Simulation (SAMOS 2020)
-
Guest Editorial: Special Issue on the 2015 International Conference on Embedded Computer Systems—Architectures, Modeling and Simulation (SAMOS XV)
-
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
-
Formal Modeling and Analysis of Timed Systems – 9th International Conference, FORMATS 2011, Aalborg, Denmark, September 21-23, 2011. Proceedings
-
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
-
Software and Data Technologies – 4th International Conference, ICSOFT 2009, Sofia, Bulgaria, July 26-29, 2009. Revised Selected Papers
-
e-Business and Telecommunications – 6th International Joint Conference, ICETE 2009, Milan, Italy, July 7-10, 2009. Revised Selected Papers
-
Embedded computer systems: architectures, modeling, and simulation – 9th international workshop, SAMOS 2009, Samos, Greece, July 20 - 23, 2009 ; proceedings
-
Embedded computer systems: architectures, modeling, and simulation – 8th international workshop, Samos 2008, Samos, Greece, July 21 - 24, 2008 ; proceedings
-
Embedded computer systems: architectures, modeling, and simulation – 7th international workshop, Samos 2007, Samos, Greece, July 16 - 19, 2007 ; proceedings