Εμφανίζονται 101 - 120 Αποτελέσματα από 1.352 για την αναζήτηση '"embedded systems"', χρόνος αναζήτησης: 0,14δλ Περιορισμός αποτελεσμάτων
  1. 101
    Embedded Systems Architecture for Agile Development A Layers-Based Model /
    ανά Mirtalebi, Mohsen
    Έκδοση 2017
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  2. 102
    Design Methodologies for Secure Embedded Systems Festschrift in Honor of Prof. Dr.-Ing. Sorin A. Huss /
    Έκδοση 2011
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  3. 103
    Global Specification and Validation of Embedded Systems Integrating Heterogeneous Components /
    Έκδοση 2007
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  4. 104
    Embedded Systems Specification and Design Languages Selected contributions from FDL’07 /
    Έκδοση 2008
    Πίνακας περιεχομένων: “… and Temporal Assertions -- Transactor-Based Formal Verification of Real-Time Embedded Systems -- A Case-Study…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  5. 105
    From Specification to Embedded Systems Application
    Έκδοση 2005
    Πίνακας περιεχομένων: “… Development of Embedded Systems -- An Embedded SW Design Exploration Approach based on UML Estimation Tools…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  6. 106
    Memory allocation problems in embedded systems : optimization methods /
    Έκδοση 2013
    Πίνακας περιεχομένων: “…Context: memory allocation problems in embedded systems -- Unconstrained memory allocation problem…”
    Full Text via HEAL-Link
    Ηλ. βιβλίο
  7. 107
    Analysis, Architectures and Modelling of Embedded Systems Third IFIP TC 10 International Embedded Systems Symposium, IESS 2009, Langenargen, Germany, September 14-16, 2009. Proceedings /
    Έκδοση 2009
    Πίνακας περιεχομένων: “… Decoupling -- Formal Verification for Embedded Systems Design Based on MDE -- Systematic Model-in-the-Loop…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  8. 108
    Model-Based Engineering of Embedded Systems The SPES 2020 Methodology /
    Έκδοση 2012
    Πίνακας περιεχομένων: “…Part I Starting Situation -- Challenges in Engineering for Software-Intensive Embedded Systems…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  9. 109
    Embedded Systems: Design, Analysis and Verification 4th IFIP TC 10 International Embedded Systems Symposium, IESS 2013, Paderborn, Germany, June 17-19, 2013. Proceedings /
    Έκδοση 2013
    Πίνακας περιεχομένων: “…Design methodologies -- Non-functional aspects of embedded systems -- Verification -- Performance…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  10. 110
    Design Technology for Heterogeneous Embedded Systems
    Έκδοση 2012
    Πίνακας περιεχομένων: “… Generation Perspective -- 2. Executable Specifications for Heterogeneous Embedded Systems: An Answer…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  11. 111
    Programming embedded systems in C and C++ /
    ανά Barr, Michael, 1971-
    Έκδοση 1999
    Βιβλίο
  12. 112
    Embedded systems and the year 2000 problem : guidance notes /
    Έκδοση 1997
    Βιβλίο
  13. 113
    Κατασκευή ενσωματωμένου συστήματος αυτομάτου ελέγχου πορείας οχήματος με παρακολύθηση προπορευομένου
    Θέματα: “…Embedded systems…”
    Λήψη πλήρους κειμένου
  14. 114
    Proceedings of the 1st ACM International Workshop on Device-Free Human Sensing
    Έκδοση 2019
    Θέματα: “…Embedded systems…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  15. 115
    Proceedings of the 5th International Workshop on Realizing Artificial Intelligence Synergies in Software Engineering
    Έκδοση 2016
    Θέματα: “…Embedded systems…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  16. 116
    Proceedings of the 7th Workshop on Pervasive Eye Tracking and Mobile Eye-Based Interaction
    Έκδοση 2018
    Θέματα: “…Embedded systems…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  17. 117
    Proceedings of the 4th ACM MobiHoc Workshop on Experiences with the Design and Implementation of Smart Objects
    Έκδοση 2018
    Θέματα: “…Embedded systems…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  18. 118
    Proceedings of the 1st Workshop on Machine Learning on Edge in Sensor Systems
    Έκδοση 2019
    Θέματα: “…Embedded systems…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  19. 119
    Proceedings of the 8th International Workshop on Runtime and Operating Systems for Supercomputers
    Έκδοση 2018
    Θέματα: “…Embedded systems…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  20. 120
    Proceedings of the 2nd International Conference on Computing and Wireless Communication Systems
    Έκδοση 2017
    Θέματα: “…Embedded systems…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email