Εμφανίζονται 821 - 840 Αποτελέσματα από 1.352 για την αναζήτηση '"embedded system"', χρόνος αναζήτησης: 0,27δλ Περιορισμός αποτελεσμάτων
  1. 821
    High Performance Embedded Architectures and Compilers Third International Conference, HiPEAC 2008, Göteborg, Sweden, January 27-29, 2008. Proceedings /
    Έκδοση 2008
    Πίνακας περιεχομένων: “… Validating the Suitability of CLI as an Effective Deployment Format for Embedded Systems -- III Industrial…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  2. 822
    Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 18th International Workshop, PATMOS 2008, Lisbon, Portugal, September 10-12, 2008. Revised Selected Papers /
    Έκδοση 2009
    Πίνακας περιεχομένων: “… Approach for Estimating Embedded System Execution Time and Energy Consumption -- Power Dissipation…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  3. 823
    Trends in Intelligent Robotics 13th FIRA Robot World Congress, FIRA 2010, Bangalore, India, September 15-17, 2010. Proceedings /
    Έκδοση 2010
    Πίνακας περιεχομένων: “… from Humanoids in a Heterogeneous Setting -- Here Comes the Robotic Brain ! -- The Real-Time Embedded…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  4. 824
    High-Performance Computing 6th International Symposium, ISHPC 2005, Nara, Japan, September 7-9, 2005, First International Workshop on Advanced Low Power Systems, ALPS 2006, Revised Selected Papers /
    Έκδοση 2008
    Πίνακας περιεχομένων: “… -- Energy-Efficient Embedded System Design at 90nm and Below – A System-Level Perspective – -- Empirical…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  5. 825
    Robot Vision International Workshop RobVis 2001 Auckland, New Zealand, February 16-18, 2001 Proceedings /
    Έκδοση 2001
    Πίνακας περιεχομένων: “… Segmentation Algorithm for Real-Time Object Localization on Small Embedded Systems -- EYESCAN - A High…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  6. 826
    Correct Hardware Design and Verification Methods 10th IFIP WG10.5 Advanced Research Working Conference, CHARME'99, Bad Herrenalb, Germany, September 27-29, 1999, Proceedings /
    Έκδοση 1999
    Πίνακας περιεχομένων: “… Validation Methodology -- Fault Models for Embedded Systems -- Validation of Object-Oriented Concurrent…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  7. 827
    Complex System Modelling and Control Through Intelligent Soft Computations
    Έκδοση 2015
    Πίνακας περιεχομένων: “… FPGA Configurations on the Embedded Systems Performances -- A Neural Approach to Cursive Handwritten…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  8. 828
    Computer Safety, Reliability, and Security 25th International Conference, SAFECOMP 2006, Gdansk, Poland, September 27-29, 2006. Proceedings /
    Έκδοση 2006
    Πίνακας περιεχομένων: “… Models for Correct Usage of Physical Units -- Validation and Certification of Safety-Critical Embedded…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  9. 829
    Computer Science - CACIC 2017 23rd Argentine Congress, La Plata, Argentina, October 9-13, 2017, Revised Selected Papers /
    Έκδοση 2018
    Πίνακας περιεχομένων: “… Petri Net Processor for Embedded Systems -- A Novel Performance Metric for Virtual Network Embedding…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  10. 830
    Industrial Networks and Intelligent Systems 5th EAI International Conference, INISCOM 2019, Ho Chi Minh City, Vietnam, August 19, 2019, Proceedings /
    Έκδοση 2019
    Πίνακας περιεχομένων: “… in Networked Embedded Systems -- System performance of relay-assisted heterogeneous vehicular networks…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  11. 831
    Analytical and Stochastic Modeling Techniques and Applications 17th International Conference, ASMTA 2010, Cardiff, UK, June 14-16, 2010. Proceedings /
    Έκδοση 2010
    Πίνακας περιεχομένων: “… -- Rewriting Logic Based Performance Estimation of Embedded Systems -- A Formal Language toward the Unification…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  12. 832
    Product-Focused Software Process Improvement 11th International Conference, PROFES 2010, Limerick, Ireland, June 21-23, 2010. Proceedings /
    Έκδοση 2010
    Πίνακας περιεχομένων: “… Development -- Systematic Piloting of Agile Methods in the Large: Two Cases in Embedded Systems Development…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  13. 833
    Computer Security – ESORICS 2009 14th European Symposium on Research in Computer Security, Saint-Malo, France, September 21-23, 2009. Proceedings /
    Έκδοση 2009
    Πίνακας περιεχομένων: “… Transfer in RFID Systems -- Cumulative Attestation Kernels for Embedded Systems -- Super-Efficient…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  14. 834
    Information Technology Convergence, Secure and Trust Computing, and Data Management ITCS 2012 & STA 2012 /
    Έκδοση 2012
    Πίνακας περιεχομένων: “… trust in embedded systems -- Virtualization for trusted platforms -- Verification of trusted computing…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  15. 835
    Automated Technology for Verification and Analysis Second International Conference, ATVA 2004, Taipei, Taiwan, ROC, October 31 - November 3, 2004. Proceedings /
    Έκδοση 2004
    Πίνακας περιεχομένων: “… Verification Scheme for Software-Intensive Organizations -- RCGES: Retargetable Code Generation for Embedded…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  16. 836
    Hybrid Systems: Computation and Control 6th International Workshop, HSCC 2003 Prague, Czech Republic, April 3-5, 2003, Proceedings /
    Έκδοση 2003
    Πίνακας περιεχομένων: “… Embedded Systems -- Hybrid Modelling and Control of Power Electronics -- On the Optimal Control of Hybrid…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  17. 837
    Artificial Intelligence Applications and Innovations IFIP 18th World Computer Congress TC12 First International Conference on Artificial Intelligence Applications and Innovations (AIAI-2004) 22–27 August 2004 Toulouse, France /
    Έκδοση 2004
    Πίνακας περιεχομένων: “… Structures Emergence for Maintaining Functional Integrity in Embedded Systems Networks -- Efficient Attribute…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  18. 838
    Software Architecture 8th European Conference, ECSA 2014, Vienna, Austria, August 25-29, 2014. Proceedings /
    Έκδοση 2014
    Πίνακας περιεχομένων: “… for Model-Driven Performance Prediction of Distributed Real-Time Embedded Systems of Systems -- Safety…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  19. 839
    Principles of Distributed Systems 8th International Conference, OPODIS 2004, Grenoble, France, December 15-17, 2004, Revised Selected Papers /
    Έκδοση 2005
    Πίνακας περιεχομένων: “… Method for High-Speed Networks -- Invited Session II -- Embedded Systems – Challenges and Work Directions…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  20. 840
    Information Security Practice and Experience First International Conference, ISPEC 2005, Singapore, April 11-14, 2005. Proceedings /
    Έκδοση 2005
    Πίνακας περιεχομένων: “…-on System -- Secure Software Delivery and Installation in Embedded Systems -- A Restricted Multi-show…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email