Risultati della ricerca - "microprocessor"

  1. 61
  2. 62
  3. 63
  4. 64
  5. 65
  6. 66
  7. 67
  8. 68
  9. 69

    High Performance Computing di Severance, Charles, Dowd, Kevin

    Pubblicazione 2021
    Sommario: “...Appendixes -- 5.1 Appendix C: High Performance Microprocessors -- 5.2 Appendix B: Looking at Assembly Language -- Index -- Attributions...”
    Access online version
    Elettronico eBook
  10. 70
  11. 71
  12. 72
  13. 73

    Computer Aided Verification 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part I /

    Pubblicazione 2021
    Sommario: “...Invited Papers -- NNrepair: Constraint-based Repair of Neural Network Classifiers -- Balancing automation and control for formal verification of microprocessors -- Algebraic Program Analysis -- Programmable Program Synthesis -- Deductive Synthesis of Programs with Pointers: Techniques, Challenges, Opportunities -- AI Verification -- DNNV: A Framework for Deep Neural Network Verification -- Robustness Verification of Quantum Classifiers -- BDD4BNN: A BDD-based Quantitative Analysis Framework for Binarized Neural Networks -- Automated Safety Verification of Programs Invoking Neural Networks -- Scalable Polyhedral Verification of Recurrent Neural Networks -- Verisig 2.0: Verification of Neural Network Controllers Using Taylor Model Preconditioning -- Robustness Verification of Semantic Segmentation Neural Networks using Relaxed Reachability -- PEREGRiNN: Penalized-Relaxation Greedy Neural Network Verifier -- Concurrency and Blockchain -- Isla: Integrating full-scale ISA semantics andaxiomatic concurrency models -- Summing Up Smart Transitions -- Stateless Model Checking under a Reads-Value-From Equivalence -- Gobra: Modular Specification and Verification of Go Programs -- Delay-Bounded Scheduling Without Delay! ...”
    Link to Metadata
    Elettronico eBook
  14. 74

    Developments in Near-Infrared Spectroscopy

    Pubblicazione 2017
    DOAB: download the publication
    DOAB: description of the publication
    Elettronico Capitolo di libro
  15. 75

    Predicting the Future Big Data and Machine Learning

    Pubblicazione 2020
    DOAB: download the publication
    DOAB: description of the publication
    Elettronico Capitolo di libro
  16. 76

    Digital System Design - Use of Microcontroller di Dawoud, Shenouda

    Pubblicazione 2010
    DOAB: download the publication
    DOAB: description of the publication
    Elettronico Capitolo di libro
  17. 77
  18. 78

    Self-Organization in the Nervous System di Yan M. Yufik

    Pubblicazione 2017
    DOAB: download the publication
    DOAB: description of the publication
    Elettronico Capitolo di libro
  19. 79
  20. 80

    VLSI

    Pubblicazione 2010
    DOAB: download the publication
    DOAB: description of the publication
    Elettronico Capitolo di libro