Εμφανίζονται 801 - 820 Αποτελέσματα από 1.352 για την αναζήτηση '"embedded system"', χρόνος αναζήτησης: 0,38δλ Περιορισμός αποτελεσμάτων
  1. 801
    Biometric Authentication ECCV 2004 International Workshop, BioAW 2004, Prague, Czech Republic, May 15th, 2004. Proceedings /
    Έκδοση 2004
    Πίνακας περιεχομένων: “… -- Efficient Fingerprint Image Enhancement for Mobile Embedded Systems -- Template Protection and Security…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  2. 802
    Component-Based Software Engineering 9th International Symposium, CBSE 2006, Västerås, Sweden, June 29 - July 1, 2006. Proceedings /
    Έκδοση 2006
    Πίνακας περιεχομένων: “… Product Line Architecture -- A Formal Component Framework for Distributed Embedded Systems -- A Prototype…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  3. 803
    Automated Technology for Verification and Analysis 4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006. Proceedings /
    Έκδοση 2006
    Πίνακας περιεχομένων: “… for Automated Analysis of Embedded Systems.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  4. 804
    Exploring Services Science First International Conference , IESS 2010, Geneva, Switzerland, February 17-19, 2010. Revised Papers /
    Έκδοση 2010
    Πίνακας περιεχομένων: “…: An Approach to Web Services for Embedded Systems Based on the OSGi Framework -- Value Co-creation and Customer…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  5. 805
    Security and Privacy in Communication Networks 6th Iternational ICST Conference, SecureComm 2010, Singapore, September 7-9, 2010. Proceedings /
    Έκδοση 2010
    Πίνακας περιεχομένων: “… for Android -- System Security – II -- Efficient Isolation of Trusted Subsystems in Embedded Systems…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  6. 806
    Formal Methods and Software Engineering 14th International Conference on Formal Engineering Methods, ICFEM 2012, Kyoto, Japan, November 12-16, 2012. Proceedings /
    Έκδοση 2012
    Πίνακας περιεχομένων: “… Correct Embedded Systems -- Complementary Methodologies for Developing Hybrid Systems with Event-B -- A…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  7. 807
    Advanced Parallel Processing Technologies 10th International Symposium, APPT 2013, Stockholm, Sweden, August 27-28, 2013, Revised Selected Papers /
    Έκδοση 2013
    Πίνακας περιεχομένων: “… for Embedded Systems Based on Time Petri Nets -- Pruning False Positives of Static Data-Race Detection via…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  8. 808
    Leveraging Applications of Formal Methods, Verification and Validation Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008. Proceedings /
    Έκδοση 2008
    Πίνακας περιεχομένων: “… -- Non-functional Requirements in Embedded Systems -- Navigating the Requirements Jungle -- Non…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  9. 809
    Neural Information Processing 19th International Conference, ICONIP 2012, Doha, Qatar, November 12-15, 2012, Proceedings, Part V /
    Έκδοση 2012
    Πίνακας περιεχομένων: “… -- Implementation of Face Selective Attention Model on an Embedded System -- From Image Annotation to Image…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  10. 810
    Computer Safety, Reliability and Security 17th International Conference, SAFECOMP'98, Heidelberg Germany, October 5-7, 1998, Proceedings /
    Έκδοση 1998
    Πίνακας περιεχομένων: “… Methods III - Petri Nets -- Integration of Logical and Physical Properties of Embedded Systems by Use…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  11. 811
    Tools and Algorithms for the Construction and Analysis of Systems 8th International Conference, TACAS 2002, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002. Proceedings /
    Έκδοση 2002
    Πίνακας περιεχομένων: “… of Embedded Systems -- Compositional Verification Using SVL Scripts -- STG: A Symbolic Test Generation Tool…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  12. 812
    Computer Safety, Reliability, and Security 22nd International Conference, SAFECOMP 2003, Edinburgh, UK, September 23-26, 2003, Proceedings /
    Έκδοση 2003
    Πίνακας περιεχομένων: “… -- Dependable Communication Synthesis for Distributed Embedded Systems -- Tools for Dependable Design…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  13. 813
    Languages and Compilers for Parallel Computing 16th International Workshop, LCPC 2003, College Station, TX, USA, October 2-4, 2003. Revised Papers /
    Έκδοση 2004
    Πίνακας περιεχομένων: “…-Aware Programming for Networks of Embedded Systems -- Operation Reuse on Handheld Devices -- Memory…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  14. 814
    Architecture of Computing Systems – ARCS 2013 26th International Conference, Prague, Czech Republic, February 19-22, 2013. Proceedings /
    Έκδοση 2013
    Πίνακας περιεχομένων: “…-Multiprocessor for GALS Embedded Systems -- HW/SW Tradeoffs for Dynamic Message Scheduling in Controller Area…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  15. 815
    Automated Technology for Verification and Analysis 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008. Proceedings /
    Έκδοση 2008
    Πίνακας περιεχομένων: “… of Embedded Systems with UPPAAL PORT -- Timed and Stochastic Systems -- Time-Progress Evaluation for Dense…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  16. 816
    Biomimetic and Biohybrid Systems 8th International Conference, Living Machines 2019, Nara, Japan, July 9-12, 2019, Proceedings /
    Έκδοση 2019
    Πίνακας περιεχομένων: “… in embedded systems using deep convolutional neural networks -- Design, optimization and characterization…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  17. 817
    Tools and Algorithms for the Construction and Analysis of Systems 16th International Conference, TACAS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings /
    Έκδοση 2010
    Πίνακας περιεχομένων: “…Invited Talks -- Embedded Systems Design — Scientific Challenges and Work Directions -- Antichain…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  18. 818
    Networked Services and Applications - Engineering, Control and Management 16th EUNICE/IFIP WG 6.6 Workshop, EUNICE 2010, Trondheim, Norway, June 28-30, 2010. Proceedings /
    Έκδοση 2010
    Πίνακας περιεχομένων: “… with Proactive Nodes for Scheduling and Optimizing Distributed Embedded Systems -- Resource Adaptive Distributed…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  19. 819
    Model Driven Engineering Languages and Systems 13th International Conference, MODELS 2010, Oslo, Norway, October 3-8, 2010, Proceedings, Part I /
    Έκδοση 2010
    Πίνακας περιεχομένων: “… System Testing for Real-Time Embedded Systems: Methodology and Industrial Case Studies -- Improving Test…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  20. 820
    Runtime Verification First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings /
    Έκδοση 2010
    Πίνακας περιεχομένων: “… -- Trace Recording for Embedded Systems: Lessons Learned from Five Industrial Projects -- Verification…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email