Εμφανίζονται 681 - 700 Αποτελέσματα από 1.352 για την αναζήτηση '"embedded system"', χρόνος αναζήτησης: 0,14δλ Περιορισμός αποτελεσμάτων
  1. 681
    Transactions on High-Performance Embedded Architectures and Compilers II
    Έκδοση 2009
    Πίνακας περιεχομένων: “… Techniques to Save Power and Deliver High Performance in Embedded Systems -- Combining Edge Vector and Event…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  2. 682
    Evolving OpenMP in an Age of Extreme Parallelism 5th International Workshop on OpenMP, IWOMP 2009 Dresden, Germany, June 3-5, 2009 Proceedings /
    Έκδοση 2009
    Πίνακας περιεχομένων: “… Processes with OpenMP Tasks -- Evaluation of Multicore Processors for Embedded Systems by Parallel Benchmark…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  3. 683
    Automotive Systems and Software Engineering State of the Art and Future Trends /
    Έκδοση 2019
    Πίνακας περιεχομένων: “…: Automotive Software Development -- Requirements Engineering for Automotive Embedded Systems -- Status Report…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  4. 684
    Service Availability 4th International Service Availability Symposium, ISAS 2007, Durham, NH, USA, May 21-22, 2007. Proceedings /
    Έκδοση 2007
    Πίνακας περιεχομένων: “… Provisioning in Enterprise Distributed Real-Time and Embedded Systems -- Applying US DoD Human Engineering…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  5. 685
    Advances in Design and Specification Languages for SoCs Selected Contributions from FDL’04 /
    Έκδοση 2005
    Πίνακας περιεχομένων: “… -- UML-Based System Specification and Design -- Metamodels and MDA Transformations for Embedded Systems…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  6. 686
    SDL 2009: Design for Motes and Mobiles 14th International SDL Forum Bochum, Germany, September 22-24, 2009 Proceedings /
    Έκδοση 2009
    Πίνακας περιεχομένων: “…-Critical Protocols with SDL-MDD -- Towards Model Based Development of Managed Networked Embedded Systems…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  7. 687
    Formal Modeling: Actors, Open Systems, Biological Systems Essays Dedicated to Carolyn Talcott on the Occasion of Her 70th Birthday /
    Έκδοση 2011
    Πίνακας περιεχομένων: “… Analysis of Modeling Languages for Embedded Systems in Real-Time Maude -- Computational Biology: A…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  8. 688
    Formal Modeling and Analysis of Timed Systems 10th International Conference, FORMATS 2012, London, UK, September 18-20, 2012. Proceedings /
    Έκδοση 2012
    Πίνακας περιεχομένων: “…Invited Talks -- Model-Driven Design-Space Exploration for Software-Intensive Embedded Systems…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  9. 689
    Wired/Wireless Internet Communications 7th International Conference, WWIC 2009, Enschede, The Netherlands, May 27-29, 2009. Proceedings /
    Έκδοση 2009
    Πίνακας περιεχομένων: “… Embedded Systems -- On Prolonging Sensornode Gateway Lifetime by Adapting Its Duty Cycle -- Routing…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  10. 690
    Advances in Computer Systems Architecture 10th Asia-Pacific Conference, ACSAC 2005, Singapore, October 24-26, 2005. Proceedings /
    Έκδοση 2005
    Πίνακας περιεχομένων: “…-Time Embedded Systems -- Energy-Effective Instruction Fetch Unit for Wide Issue Processors -- Rule…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  11. 691
    Field Programmable Logic and Applications 13th International Conference, FPL 2003 Lisbon, Portugal, September 1-3, 2003 Proceedings /
    Έκδοση 2003
    Πίνακας περιεχομένων: “… and Biological Applications (Posters) -- Codesign and Embedded Systems (Posters) -- Reconfigurable Systems…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  12. 692
    Power-Aware Computer Systems Second International Workshop, PACS 2002 Cambridge, MA, USA, February 2, 2002, Revised Papers /
    Έκδοση 2003
    Πίνακας περιεχομένων: “… Range of Embedded Systems with Renewable Energy Sources -- A Low-Power Content-Adaptive Texture Mapping…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  13. 693
    Cyberspace Security and Defense: Research Issues Proceedings of the NATO Advanced Research Workshop on Cyberspace Security and Defense: Research Issues Gdansk, Poland 6–9 September 2004 /
    Έκδοση 2005
    Πίνακας περιεχομένων: “… Embedded Systems: A Unified Approach -- Networks -- Design of Distributed Sensor Networks for Security…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  14. 694
    VLSI-SoC: Design Methodologies for SoC and SiP 16th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2008, Rhodes Island, Greece, October 13-15, 2008, Revised Selected Papers /
    Έκδοση 2010
    Πίνακας περιεχομένων: “… Exploration for Embedded Systems -- Timing Error Detection and Correction by Time Dilation.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  15. 695
    Designing Embedded Processors A Low Power Perspective /
    Έκδοση 2007
    Πίνακας περιεχομένων: “… for Embedded Systems -- Embedded Memories -- Power Optimisation Strategies Targeting the Memory Subsystem…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  16. 696
    Agile Methods. Large-Scale Development, Refactoring, Testing, and Estimation XP 2014 International Workshops, Rome, Italy, May 26-30, 2014, Revised Selected Papers /
    Έκδοση 2014
    Πίνακας περιεχομένων: “… of Scaling Agile in Mass-Produced Embedded Systems -- Agile in Distress: Architecture to the Rescue…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  17. 697
    Formal Methods for Industrial Critical Systems 12th International Workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007, Revised Selected Papers /
    Έκδοση 2008
    Πίνακας περιεχομένων: “… Design and Verification of Critical Embedded Systems Using SCADE and Esterel -- Research Papers -- Static…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  18. 698
    Green IT Engineering: Components, Networks and Systems Implementation
    Έκδοση 2017
    Πίνακας περιεχομένων: “… on energy consumption of embedded systems -- Energy Efficiency of 4th Gen Intel ® Core ™ Processor vs 3rd…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  19. 699
    Παροχή ασφαλών υπηρεσιών με φερέγγυες υποδομές
    Λήψη πλήρους κειμένου
    Thesis
  20. 700
    Formal Approaches to Software Testing Third International Workshop on Formal Approaches to Testing of Software, FATES 2003, Montreal, Quebec, Canada, October 6th, 2003. Revised Papers /
    Έκδοση 2004
    Πίνακας περιεχομένων: “… for Testing Distributed Systems -- Test Methods and Test Tools -- Interaction Testing in an Embedded System…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email