Risultati della ricerca - "microprocessor"
Soggetti all'interno della tua ricerca.
Soggetti all'interno della tua ricerca.
- Computer architecture 6
- Computer architecture & logic design 6
- Microprocessors 6
- Network hardware 6
- Operating systems 6
- Processor Architectures 6
- Algorithms & data structures 4
- Computer networking & communications 4
- Electronic Circuits and Systems 4
- Electronic circuits 4
- Software Engineering 4
- Circuits & components 3
- History of engineering & technology 3
- Communications engineering / telecommunications 2
- Computer Communication Networks 2
- Computer networks 2
- Energy 2
- Image processing 2
- Information retrieval 2
- Mathematical theory of computation 2
- Neurosciences 2
- Operating Systems 2
- Operating systems (Computers) 2
- Software engineering 2
- Systems analysis & design 2
- Application software 1
- Artificial Intelligence 1
- Artificial intelligence 1
- Computer Engineering and Networks 1
- Computer Modelling 1
-
61
-
62
-
63
-
64
-
65
-
66
-
67
-
68
PENGEMBANGAN MODUL TUTORIAL PEMROGRAMAN WIRELESS SENSOR NETWORK (WSNMesh32)
Pubblicazione 2021Link Metadata
Libro -
69
High Performance Computing
Pubblicazione 2021Sommario: “...Appendixes -- 5.1 Appendix C: High Performance Microprocessors -- 5.2 Appendix B: Looking at Assembly Language -- Index -- Attributions...”
Access online version
Elettronico eBook -
70
-
71
-
72
-
73
Computer Aided Verification 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part I /
Pubblicazione 2021Sommario: “...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 -
74
Developments in Near-Infrared Spectroscopy
Pubblicazione 2017DOAB: download the publication
DOAB: description of the publication
Elettronico Capitolo di libro -
75
Predicting the Future Big Data and Machine Learning
Pubblicazione 2020DOAB: download the publication
DOAB: description of the publication
Elettronico Capitolo di libro -
76
Digital System Design - Use of Microcontroller
Pubblicazione 2010DOAB: download the publication
DOAB: description of the publication
Elettronico Capitolo di libro -
77
Digital System Design - Use of Microcontroller
Pubblicazione 2010OAPEN Library: download the publication
OAPEN Library: description of the publication
Elettronico Capitolo di libro -
78
Self-Organization in the Nervous System
Pubblicazione 2017DOAB: download the publication
DOAB: description of the publication
Elettronico Capitolo di libro -
79
-
80
VLSI
Pubblicazione 2010DOAB: download the publication
DOAB: description of the publication
Elettronico Capitolo di libro