Showing 841 - 860 results of 1,352 for search '"embedded system"', query time: 0.22s Refine Results
  1. 841
    Formal Techniques for Networked and Distributed Systems - FORTE 2005 25th IFIP WG 6.1 International Conference, Taipei, Taiwan, October 2-5, 2005. Proceedings /
    Published 2005
    Table of Contents: “… Control Protocol -- Thread Allocation Protocols for Distributed Real-Time and Embedded Systems -- A Petri…”
    Full Text via HEAL-Link
    Electronic eBook
  2. 842
    Image and Graphics 8th International Conference, ICIG 2015, Tianjin, China, August 13-16, 2015, Proceedings, Part II /
    Published 2015
    Table of Contents: “… Character Based on Leap Motion Controller -- Robust and Real Time Lane Marking Detection for Embedded System…”
    Full Text via HEAL-Link
    Electronic eBook
  3. 843
    Image and Graphics 8th International Conference, ICIG 2015, Tianjin, China, August 13-16, 2015, Proceedings, Part III /
    Published 2015
    Table of Contents: “… Character Based on Leap Motion Controller -- Robust and Real Time Lane Marking Detection for Embedded System…”
    Full Text via HEAL-Link
    Electronic eBook
  4. 844
    Image and Graphics 8th International Conference, ICIG 2015, Tianjin, China, August 13-16, 2015, Proceedings, Part I /
    Published 2015
    Table of Contents: “… Character Based on Leap Motion Controller -- Robust and Real Time Lane Marking Detection for Embedded System…”
    Full Text via HEAL-Link
    Electronic eBook
  5. 845
    Σχεδιασμός και ανάπτυξη ενσωματωμένου συστήματος για την προστασία έξυπνης κατοικίας
    by Θάνος, Γεώργιος
    Published 2023
    Get full text
  6. 846
    Algorithms and Architectures for Parallel Processing 10th International Conference, ICA3PP 2010, Busan, Korea, May 21-23, 2010. Proceedings. Part I /
    Published 2010
    Table of Contents: “… Non-blocking Multithreaded Embedded System -- A Remote Mirroring Architecture with Adaptively…”
    Full Text via HEAL-Link
    Electronic eBook
  7. 847
    Pattern Recognition 32nd DAGM Symposium, Darmstadt, Germany, September 22-24, 2010. Proceedings /
    Published 2010
    Table of Contents: “… Recognition on an Embedded System Using GPU Computing -- Inpainting in Multi-image Stereo -- Analysis…”
    Full Text via HEAL-Link
    Electronic eBook
  8. 848
    High Performance Computing and Communications Third International Conference, HPCC 2007, Houston, USA, September 26-28, 2007. Proceedings /
    Published 2007
    Table of Contents: “… Judgement -- Embedded Systems -- Energy-Aware Online Algorithm to Satisfy Sampling Rates with Guaranteed…”
    Full Text via HEAL-Link
    Electronic eBook
  9. 849
    Principles and Practice of Constraint Programming - CP 2001 7th International Conference, CP 2001, Paphos, Cyprus, November 26 - December 1, 2001, Proceedings /
    Published 2001
    Table of Contents: “… of Search Heuristics for Embedded System Scheduling Problems -- Interpreting Sloppy Stick Figures…”
    Full Text via HEAL-Link
    Electronic eBook
  10. 850
    Systems Engineering in Context Proceedings of the 16th Annual Conference on Systems Engineering Research /
    Published 2019
    Table of Contents: “… Embedded System Development -- Engineering Elegant Systems: Postulates, Principles, and Hypotheses…”
    Full Text via HEAL-Link
    Electronic eBook
  11. 851
    Artificial Intelligence Perspectives and Applications Proceedings of the 4th Computer Science On-line Conference 2015 (CSOC2015), Vol 1: Artificial Intelligence Perspectives and Applications /
    Published 2015
    Table of Contents: “… For Real Time Embedded Systems Scheduling Problem Resolution -- Ways of Increasing of the Effectiveness…”
    Full Text via HEAL-Link
    Electronic eBook
  12. 852
    Computer Aided Systems Theory - EUROCAST '97 A Selection of Papers from the Sixth International Workshop on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 24-28, 1997, Proceedings /
    Published 1997
    Table of Contents: “… and embedded systems -- A dense-time temporal logic with nice compositionality properties -- Introducing…”
    Full Text via HEAL-Link
    Electronic eBook
  13. 853
    Unifying the Software Process Spectrum International Software Process Workshop, SPW 2005, Beijing, China, May 25-27, 2005, Revised Selected Papers /
    Published 2006
    Table of Contents: “… Process and Product Lines -- A Rigorous Software Process for the Development of Embedded Systems -- Active…”
    Full Text via HEAL-Link
    Electronic eBook
  14. 854
    FM 2006: Formal Methods 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006. Proceedings /
    Published 2006
    Table of Contents: “…Invited Talk -- The Embedded Systems Design Challenge -- Interactive Verification -- The Mondex…”
    Full Text via HEAL-Link
    Electronic eBook
  15. 855
    Formal Methods and Software Engineering 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010. Proceedings /
    Published 2010
    Table of Contents: “… Automated Formal Methods -- Multicore Embedded Systems: The Timing Problem and Possible Solutions -- Theorem…”
    Full Text via HEAL-Link
    Electronic eBook
  16. 856
    COTS-Based Software Systems 4th International Conference, ICCBSS 2005, Bilbao, Spain, February 7-11, 2005. Proceedings /
    Published 2005
    Table of Contents: “…Panels -- COTS Component-Based Embedded Systems – A Dream or Reality? -- Free and Proprietary…”
    Full Text via HEAL-Link
    Electronic eBook
  17. 857
    Reconfigurable Computing: Architectures, Tools and Applications 4th International Workshop, ARC 2008, London, UK, March 26-28, 2008. Proceedings /
    Published 2008
    Table of Contents: “… for Heterogeneous Behavior Embedded Systems -- Image Processing -- FPGA-Based Real-Time Super-Resolution…”
    Full Text via HEAL-Link
    Electronic eBook
  18. 858
    Software Business 10th International Conference, ICSOB 2019, Jyväskylä, Finland, November 18-20, 2019, Proceedings /
    Published 2019
    Table of Contents: “… of Interest in Open Source Foundations -- Dynamic Data Management for Machine Learning in Embedded Systems: A…”
    Full Text via HEAL-Link
    Electronic eBook
  19. 859
    Trends in Intelligent Systems and Computer Engineering
    Published 2008
    Table of Contents: “…-Based Study on Memory Design Issues for Embedded Systems -- SimDiv: A New Solution for Protein…”
    Full Text via HEAL-Link
    Electronic eBook
  20. 860
    Μεθοδολογίες σχεδίασης υψηλής απόδοσης για ενσωματωμένες πλατφόρμες
    by Γαλάνης, Μιχαήλ
    Published 2007
    Get full text
    Thesis
Search Tools: RSS Feed – Email Search