Showing 641 - 660 results of 1,352 for search '"Embedded system"', query time: 0.14s Refine Results
  1. 641
    Control Using Logic-Based Switching
    Published 1997
    Table of Contents: “… models -- Embedded system design and hybrid systems -- Hierarchical hybrid control systems…”
    Full Text via HEAL-Link
    Electronic eBook
  2. 642
    Προγραμματισμός ρομποτικού οχήματος για πλοήγηση και χαρτογράφηση εσωτερικού χώρου με μεθόδους μηχανικής όρασης
    by Ψαθά, Ελευθερία
    Published 2020
    Get full text
    Thesis
  3. 643
    SPARK: A Parallelizing Approach to the High-Level Synthesis of Digital Circuits
    Full Text via HEAL-Link
    Electronic eBook
  4. 644
    Recent Advances in Information Technology RAIT-2014 Proceedings /
    Published 2014
    Full Text via HEAL-Link
    Electronic eBook
  5. 645
    Formal Methods for Components and Objects 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures /
    Published 2008
    Full Text via HEAL-Link
    Electronic eBook
  6. 646
    Modelling Foundations and Applications 6th European Conference, ECMFA 2010, Paris, France, June 15-18, 2010. Proceedings /
    Published 2010
    Table of Contents: “… Model-Based Method for Evaluating Embedded System Performance by Abstraction of Execution Traces…”
    Full Text via HEAL-Link
    Electronic eBook
  7. 647
    Architecture of Computing Systems – ARCS 2014 27th International Conference, Lübeck, Germany, February 25-28, 2014. Proceedings /
    Published 2014
    Table of Contents: “… for Embedded System Applications -- Independent Kernel/Process Checkpointing on Non-Volatile Main Memory…”
    Full Text via HEAL-Link
    Electronic eBook
  8. 648
    Advances in Information Technology 5th International Conference, IAIT 2012, Bangkok, Thailand, December 6-7, 2012. Proceedings /
    Published 2012
    Table of Contents: “… Engineering Tool Considering Design Intention for Embedded System -- Growing Art: The Evolutionary Art Tools…”
    Full Text via HEAL-Link
    Electronic eBook
  9. 649
    Ultra-Low Energy Domain-Specific Instruction-Set Processors
    Full Text via HEAL-Link
    Electronic eBook
  10. 650
    Computational Intelligence in Digital and Network Designs and Applications
    Published 2015
    Table of Contents: “… Uncertainty Techniques for High-Performance Multicore Embedded Systems Compilation -- Digital IIR Filter…”
    Full Text via HEAL-Link
    Electronic eBook
  11. 651
    Recent Advances in Systems Safety and Security
    Published 2016
    Table of Contents: “… Security Analysis for Embedded Systems: Case Study of Open Source Immobilizer Protocol Stack -- Multimodal…”
    Full Text via HEAL-Link
    Electronic eBook
  12. 652
    Advances in Plan-Based Control of Robotic Agents International Seminar, Dagstuhl Castle, Germany, October 21-26, 2001, Revised Papers /
    Published 2002
    Table of Contents: “… -- Perceptual Anchoring: A Key Concept for Plan Execution in Embedded Systems -- Progressive Planning for Mobile…”
    Full Text via HEAL-Link
    Electronic eBook
  13. 653
    Hardware and Software, Verification and Testing First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005, Revised Selected Papers /
    Published 2006
    Table of Contents: “… Robust SAT Solver -- Software Testing -- Production-Testing of Embedded Systems with Aspects -- Assisting…”
    Full Text via HEAL-Link
    Electronic eBook
  14. 654
    Research into Practice – Reality and Gaps 6th International Conference on the Quality of Software Architectures, QoSA 2010, Prague, Czech Republic, June 23 - 25, 2010. Proceedings /
    Published 2010
    Table of Contents: “… for Complex Embedded Systems -- Quality of Service Adaptation -- QoS Driven Dynamic Binding in-the-many -- A…”
    Full Text via HEAL-Link
    Electronic eBook
  15. 655
    Architecting Dependable Systems VII
    Published 2010
    Table of Contents: “… and Dependable Service-Oriented Embedded Systems -- Architecting Robustness and Timeliness in a New Generation…”
    Full Text via HEAL-Link
    Electronic eBook
  16. 656
    Autonomic Communication
    Published 2009
    Table of Contents: “… for Autonomic Communications -- Autonomic Middleware for Automotive Embedded Systems -- Social Opportunistic…”
    Full Text via HEAL-Link
    Electronic eBook
  17. 657
    Artificial Intelligence Applications and Innovations IFIP TC12 WG12.5 - Second IFIP Conference on Artificial Intelligence Applications and Innovations (AIAI2005), September 7–9, 2005, Beijing, China /
    Published 2005
    Table of Contents: “… Ontologies to Default Logic -- Designing Cooperative Embedded Systems using a Multiagent Approach -- Modeling…”
    Full Text via HEAL-Link
    Electronic eBook
  18. 658
    Critical Infrastructure Protection III Third Annual IFIP WG 11.10 International Conference on Critical Infrastructure Protection, Hanover, New Hampshire, USA, March 23-25, 2009, Revised Selected Papers /
    Published 2009
    Table of Contents: “…-Based Buffer Overflows in Harvard Class Embedded Systems -- Secure Cross-Domain Train Scheduling…”
    Full Text via HEAL-Link
    Electronic eBook
  19. 659
    Formal Methods for Industrial Critical Systems 17th International Workshop, FMICS 2012, Paris, France, August 27-28, 2012. Proceedings /
    Published 2012
    Table of Contents: “… in Distributed Reactive Embedded Systems -- A Formal Design of a Tool for Static Analysis of Upper Bounds…”
    Full Text via HEAL-Link
    Electronic eBook
  20. 660
    Programming microcontrollers in C
    by Van Sickle, Ted
    Published 2001
    Table of Contents: “… IN PROGRAMMING EMBEDDED SYSTEMS: numeric encoding; numeric decoding; monitor programs; SAVEIT() routines…”
    An electronic book accessible through the World Wide Web; click for information
    Electronic Book
Search Tools: RSS Feed – Email Search