Εμφανίζονται 721 - 740 Αποτελέσματα από 887 για την αναζήτηση '"microprocessor"', χρόνος αναζήτησης: 0,09δλ Περιορισμός αποτελεσμάτων
  1. 721
    High Performance Computing Second International Symposium, ISHPC'99, Kyoto, Japan, May 26-28, 1999, Proceedings /
    Έκδοση 1999
    Πίνακας περιεχομένων: “… -- Profile-based selection of load value and address predictors -- Instruction-level microprocessor modeling…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  2. 722
    High Performance Computing in Science and Engineering '11 Transactions of the High Performance Computing Center, Stuttgart (HLRS) 2011 /
    Έκδοση 2012
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  3. 723
    Computer Aided Verification 13th International Conference, CAV 2001, Paris, France, July 18-22, 2001. Proceedings /
    Έκδοση 2001
    Πίνακας περιεχομένων: “… for the Development and Verification of Real-Time Embedded Systems? -- Microprocessor Verification, Cache Coherence…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  4. 724
    Computing in the Web Age: A Web-Interactive Introduction
    ανά Dilligan, Robert J.
    Έκδοση 2002
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  5. 725
    Clocking in Modern VLSI Systems
    Έκδοση 2009
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  6. 726
    Post-Silicon and Runtime Verification for Modern Processors
    ανά Wagner, Ilya, Bertacco, Valeria
    Έκδοση 2011
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  7. 727
    Single- and multi-chip microcontroller interfacing for the Motorola 68HC12
    ανά Lipovski, G. Jack
    Έκδοση 1999
    An electronic book accessible through the World Wide Web; click for information
    Ηλεκτρονική πηγή Βιβλίο
  8. 728
    Radiation Effects on Integrated Circuits and Systems for Space Applications
    Έκδοση 2019
    Πίνακας περιεχομένων: “… and Applications of Pulsed-Laser-Induced Single-Event Effects -- Chapter5: Microprocessor Testing -- Chapter6…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  9. 729
    Certified Programs and Proofs Second International Conference, CPP 2012, Kyoto, Japan, December 13-15, 2012. Proceedings /
    Έκδοση 2012
    Πίνακας περιεχομένων: “… for Formalizing Compilers -- On the Correctness of an Optimising Assembler for the Intel MCS-51 Microprocessor…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  10. 730
    Μεθοδολογίες σχεδίασης υψηλής απόδοσης για ενσωματωμένες πλατφόρμες
    ανά Γαλάνης, Μιχαήλ
    Έκδοση 2007
    Λήψη πλήρους κειμένου
    Thesis
  11. 731
    MicroRNAs in malignant tumors of the skin First steps of tiny players in the skin to a new world of genomic medicine /
    ανά Sand, PD Dr. Michael
    Έκδοση 2016
    Πίνακας περιεχομένων: “… -- Paper 2: Expression levels of the microRNA maturing microprocessor complex component DGCR8 and the RNA…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  12. 732
    Informatics 10 Years Back. 10 Years Ahead /
    ανά Wilhelm, Reinhard, Wilhelm, Reinhard
    Έκδοση 2001
    Πίνακας περιεχομένων: “… -- Architecture -- Microprocessors - 10 Years Back, 10 Years Ahead -- The Quantum Computing Challenge -- Parallel…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  13. 733
    Computational Science and High Performance Computing Russian-German Advanced Research Workshop, Novosibirsk, Russia, September 30 to October 2, 2003 /
    Έκδοση 2005
    Πίνακας περιεχομένων: “… on Unstructured Grids -- Performance aspects on high performance computers — from microprocessors to highly…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  14. 734
    Modular Compiler Verification A Refinement-Algebraic Approach Advocating Stepwise Abstraction /
    ανά Müller-Olm, Markus, Müller-Olm, Markus
    Έκδοση 1997
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  15. 735
    Σύστημα υπολογιστικής όρασης για την αναγνώριση της οδικής σήμανσης
    Λήψη πλήρους κειμένου
    Thesis
  16. 736
    Piton A Mechanically Verified Assembly-Level Language /
    ανά Moore, J Strother
    Έκδοση 1996
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  17. 737
    978-3-031-10419-0.pdf
    Έκδοση 2022
    Λήψη πλήρους κειμένου
  18. 738
    Encyclopedia of Complexity and Systems Science
    Έκδοση 2009
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  19. 739
    Fuzzy controllers
    ανά Reznik, Leonid 1955-
    Έκδοση 1997
    An electronic book accessible through the World Wide Web; click for information
    Ηλεκτρονική πηγή Βιβλίο
  20. 740
    Abstract State Machines - Theory and Applications International Workshop, ASM 2000 Monte Verita, Switzerland, March 19-24, 2000 Proceedings /
    Έκδοση 2000
    Πίνακας περιεχομένων: “… SDL Machine -- Description and Simulation of Microprocessor Instruction Sets Using ASMs -- Automatic…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email