Εμφανίζονται 721 - 740 Αποτελέσματα από 1.352 για την αναζήτηση '"embedded system"', χρόνος αναζήτησης: 0,14δλ Περιορισμός αποτελεσμάτων
  1. 721
    Formal Modeling and Analysis of Timed Systems Third International Conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005. Proceedings /
    Έκδοση 2005
    Πίνακας περιεχομένων: “…Invited Talk -- Modular Performance Analysis of Distributed Embedded Systems -- Logic…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  2. 722
    Reliable Software Technology – Ada-Europe 2005 10th Ada-Europe International Conference on Reliable Software Technologies, York, UK, June 20-24, 2005. Proceedings /
    Έκδοση 2005
    Πίνακας περιεχομένων: “… the Development of a Reliable Embedded System -- RT-EP: A Fixed-Priority Real Time Communication Protocol over…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  3. 723
    Formal Methods for Open Object-Based Distributed Systems 9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007. Proceedings /
    Έκδοση 2007
    Πίνακας περιεχομένων: “… Probabilistic Formal Analysis Approach to Cross Layer Optimization in Distributed Embedded Systems…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  4. 724
    Component-Based Software Engineering 10th International Symposium, CBSE 2007, Medford, MA, USA, July 9-11, 2007. Proceedings /
    Έκδοση 2007
    Πίνακας περιεχομένων: “… -- Experience with Safe Dynamic Reconfigurations in Component-Based Embedded Systems -- A Framework for Contract…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  5. 725
    Dependable Computing Third Latin-American Symposium, LADC 2007, Morella, Mexico, September 26-28, 2007. Proceedings /
    Έκδοση 2007
    Πίνακας περιεχομένων: “…Invited Talks -- Reliability, Safety, and Security in Everyday Embedded Systems (Extended Abstract…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  6. 726
    Handbook of Networked and Embedded Control Systems
    Έκδοση 2005
    Πίνακας περιεχομένων: “… -- Basics of Computer Architecture -- Real-Time Scheduling for Embedded Systems -- Network Fundamentals…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  7. 727
    Lean Enterprise Software and Systems 4th International Conference, LESS 2013, Galway, Ireland, December 1-4, 2013, Proceedings /
    Έκδοση 2013
    Πίνακας περιεχομένων: “…-Intensive Embedded Systems -- Feature Prioritization Based on Mock-Purchase: A Mobile Case Study -- Part…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  8. 728
    Reliable Software Technologies – Ada-Europe 2008 13th Ada-Europe International Conference on Reliable Software Technologies, Venice, Italy, June 16-20, 2008. Proceedings /
    Έκδοση 2008
    Πίνακας περιεχομένων: “… of Component-Based Embedded Systems for Automotive Applications -- On the Timed Automata-Based Verification…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  9. 729
    Requirements Engineering: Foundation for Software Quality 14th International Working Conference, REFSQ 2008 Montpellier, France, June 16-17, 2008 Proceedings /
    Έκδοση 2008
    Πίνακας περιεχομένων: “… Verification of Embedded Systems -- Integrating Portfolio Management and Simulation Concepts in the ERP Project…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  10. 730
    Έλεγχος ρομποτικού φιδιού με μικροελεγκτή
    Λήψη πλήρους κειμένου
    Thesis
  11. 731
    Agile Processes in Software Engineering and Extreme Programming 15th International Conference, XP 2014, Rome, Italy, May 26-30, 2014. Proceedings /
    Έκδοση 2014
    Πίνακας περιεχομένων: “…Part Agile Development -- UX Design in Agile: A DSDM Case Study -- Agile Principles in the Embedded…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  12. 732
    Image Processing and Communications Challenges 10 10th International Conference, IP&C'2018 Bydgoszcz, Poland, November 2018, Proceedings /
    Έκδοση 2019
    Πίνακας περιεχομένων: “…10 years of IP&C -- Development of a mobile robot prototype based on an embedded system for mapping…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  13. 733
    Σύστημα ανίχνευσης σημάτων ακουστικής εκπομπής και αυτόματης μετάδοσης σε υπολογιστικό σύστημα
    ανά Πλαγκέτη, Λητώ
    Έκδοση 2018
    Λήψη πλήρους κειμένου
    Thesis
  14. 734
    Human Interface and the Management of Information. Information and Interaction Design 15th International Conference, HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, Proceedings, Part I /
    Έκδοση 2013
    Πίνακας περιεχομένων: “… Mixed Reality Technique -- Managing HMI quality in embedded system development -- Window Manager…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  15. 735
    Proceedings of the International Conference on Nano-electronics, Circuits & Communication Systems
    Έκδοση 2017
    Πίνακας περιεχομένων: “… Implementation of Evolvable Embedded System for Combinational Logic Circuits using Virtex 6 FPGA -- 3. Evaluation…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  16. 736
    Requirements Engineering: Foundation for Software Quality 21st International Working Conference, REFSQ 2015, Essen, Germany, March 23-26, 2015. Proceedings /
    Έκδοση 2015
    Πίνακας περιεχομένων: “… Requirements in Function-Centered Engineering of Embedded Systems -- Estimating the Implementation Risk…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  17. 737
    Generative Programming and Component Engineering Second International Conference, GPCE 2003, Erfurt, Germany, September 22-25, 2003, Proceedings /
    Έκδοση 2003
    Πίνακας περιεχομένων: “…-Specific Language for Real-Time Embedded Systems -- Staged Programming -- Implementing Multi-stage…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  18. 738
    ZUM '98: The Z Formal Specification Notation 11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998, Proceedings /
    Έκδοση 1998
    Πίνακας περιεχομένων: “…Industrial Issues -- Industrial Requirements for the Efficient Development of Reliable Embedded…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  19. 739
    Algorithmic Aspects of Wireless Sensor Networks Second International Workshop, ALGOSENSORS 2006, Venice, Italy, July 15, 2006, Revised Selected Papers /
    Έκδοση 2006
    Πίνακας περιεχομένων: “… Sensor Networks -- Declarative Resource Naming for Macroprogramming Wireless Networks of Embedded Systems…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  20. 740
    Advances in Heuristic Signal Processing and Applications
    Έκδοση 2013
    Πίνακας περιεχομένων: “… Tracking for Embedded Systems: State of the Art.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email