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