Showing 781 - 800 results of 887 for search '"microprocessor"', query time: 0.19s Refine Results
  1. 781
    Σύστημα παρακολούθησης και επεξεργασίας κρίσιμων παραμέτρων σε μηχανή πλοίου
    Get full text
    Thesis
  2. 782
    Computer Aided Verification 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004. Proceedings /
    Published 2004
    Table of Contents: “… Model Checking -- Mechanical Mathematical Methods for Microprocessor Verification.…”
    Full Text via HEAL-Link
    Electronic eBook
  3. 783
    Parallel Computing Numerics, Applications, and Trends /
    Published 2009
    Full Text via HEAL-Link
    Electronic eBook
  4. 784
    Digital Signal Processing An Experimental Approach /
    by Engelberg, Shlomo
    Published 2008
    Full Text via HEAL-Link
    Electronic eBook
  5. 785
    Interactive Theorem Proving 5th International Conference, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014. Proceedings /
    Published 2014
    Table of Contents: “…Microcode Verification – Another Piece of the Microprocessor Verification Puzzle -- Are We…”
    Full Text via HEAL-Link
    Electronic eBook
  6. 786
    Μελέτη και κατασκευή μονοφασικού αντιστροφέα Η5 για τη διασύνδεση φωτοβολταϊκού συστήματος με το δίκτυο εναλλασσόμενης τάσης
    Get full text
    Thesis
  7. 787
    UbiComp 2002: Ubiquitous Computing 4th International Conference, Göteborg, Sweden, September 29 - October 1, 2002. Proceedings /
    Published 2002
    Table of Contents: “… Tagging Based on Optically Triggered Microprocessor Wakeup -- 'ForSe FIElds' - Force Sensors…”
    Full Text via HEAL-Link
    Electronic eBook
  8. 788
    Automated Technology for Verification and Analysis 4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006. Proceedings /
    Published 2006
    Table of Contents: “… and Opportunities in the New Era of Microprocessor Design -- Automated Abstraction of Software -- Regular Papers…”
    Full Text via HEAL-Link
    Electronic eBook
  9. 789
    Perspectives of System Informatics 11th International Andrei P. Ershov Informatics Conference, PSI 2017, Moscow, Russia, June 27-29, 2017, Revised Selected Papers /
    Published 2018
    Table of Contents: “… Test Program Generation for Microprocessors -- Enriching aA Textual Xtext-DSL with A Graphical GEF…”
    Full Text via HEAL-Link
    Electronic eBook
  10. 790
    Computer Science – Theory and Applications Second International Symposium on Computer Science in Russia, CSR 2007, Ekaterinburg, Russia, September 3-7, 2007. Proceedings /
    Published 2007
    Table of Contents: “…, TSTP, CASC, etc. -- Abstract Modeling and Formal Verification of Microprocessors -- Sequences of Level…”
    Full Text via HEAL-Link
    Electronic eBook
  11. 791
    Analysis and Simulation of Electrical and Computer Systems
    Published 2015
    Table of Contents: “… Networks -- Using BALSA Environment for the Asynchronous Microprocessor Design -- Analysis…”
    Full Text via HEAL-Link
    Electronic eBook
  12. 792
    Correct Hardware Design and Verification Methods 12th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2003, L'Aquila, Italy, October 21-24, 2003, Proceedings /
    Published 2003
    Table of Contents: “…Invited Talks -- What Is beyond the RTL Horizon for Microprocessor and System Design? -- The Charme…”
    Full Text via HEAL-Link
    Electronic eBook
  13. 793
    Κατασκευή ενσωματωμένου μικροϋπολογιστικού συστήματος με τον MSP430 για έλεγχο και μεγιστοποίηση απόδοσης φωτοβολταϊκής συστοιχίας
    Get full text
    Thesis
  14. 794
    Σύστημα ανίχνευσης σημάτων ακουστικής εκπομπής και αυτόματης μετάδοσης σε υπολογιστικό σύστημα
    by Πλαγκέτη, Λητώ
    Published 2018
    Get full text
    Thesis
  15. 795
    Artificial Immune Systems 9th International Conference, ICARIS 2010, Edinburgh, UK, July 26-29, 2010. Proceedings /
    Published 2010
    Table of Contents: “… Developmental and Immune-Inspired Dynamic Task Allocation Algorithm for Microprocessor Array Systems…”
    Full Text via HEAL-Link
    Electronic eBook
  16. 796
    Ασύρματα δίκτυα αισθητήρων : ανάπτυξη γραφικού περιβάλλοντος με το Μatlab για τη λήψη μετρήσεων με χρήση του MTS400/420 board της Crossbow
    Get full text
    Thesis
  17. 797
    Σχεδιασμός και κατασκευή τριφασικού αντιστροφέα τάσης για την διερεύνηση απωλειών σε ασύγχρονο κινητήρα
    Get full text
  18. 798
    Μελέτη και κατασκευή συστήματος ανελκυστήρα σε μικρή κλίμακα
    by Χαμπέρη, Γεωργία
    Published 2013
    Get full text
    Thesis
  19. 799
    Exploring the DataFlow Supercomputing Paradigm Example Algorithms for Selected Applications /
    Published 2019
    Full Text via HEAL-Link
    Electronic eBook
  20. 800
    Adaptive Optics for Industry and Medicine Proceedings of the 4th International Workshop Münster, Germany, Oct. 19–24, 2003 /
    Published 2005
    Table of Contents: “… Microprocessor-Controlled High-Voltage Driver for Deformable Mirrors -- Preliminary Investigation…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search