Rezultaty - "hardware"

Computer Aided Verification 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part I

Hasła przedmiotowe: “…Computer hardware bicssc…”
DOAB: download the publication
DOAB: description of the publication

Computer Aided Verification 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part I

Hasła przedmiotowe: “…Computer hardware bicssc…”
OAPEN Library: download the publication
OAPEN Library: description of the publication

Trusted Computing für adaptive Automobilsteuergeräte im Umfeld der Inter-Fahrzeug-Kommunikation od Glas, Benjamin

Hasła przedmiotowe: “…Rekonfigurierbare Hardware…”
DOAB: download the publication
DOAB: description of the publication

Opening digital fabrication: transforming TechKnowledgies od Schneider, Christoph

Hasła przedmiotowe: “…Open Source Hardware…”
DOAB: download the publication
DOAB: description of the publication

Data Parallel C++ Programming Accelerated Systems Using C++ and SYCL od Reinders, James

Hasła przedmiotowe: “…Computer hardware bicssc…”
DOAB: download the publication
DOAB: description of the publication

Proceedings of the 22nd Conference on Formal Methods in Computer-Aided Design - FMCAD 2022

Hasła przedmiotowe: “…Formal Methods; Computer-Aided System Design; Hardware and System Verification; Formal Verification, Specification, Synthesis, and Testing; Automated and Formal Reasoning…”
DOAB: download the publication
DOAB: description of the publication

Proceedings of the 22nd Conference on Formal Methods in Computer-Aided Design - FMCAD 2022

Hasła przedmiotowe: “…Formal Methods; Computer-Aided System Design; Hardware and System Verification; Formal Verification, Specification, Synthesis, and Testing; Automated and Formal Reasoning…”
OAPEN Library: download the publication
OAPEN Library: description of the publication

Data Parallel C++ Programming Accelerated Systems Using C++ and SYCL od Reinders, James

Hasła przedmiotowe: “…Computer hardware bicssc…”
OAPEN Library: download the publication
OAPEN Library: description of the publication

Image Processing Using FPGAs od Bailey, Donald

Hasła przedmiotowe: “…hardware acceleration…”
DOAB: download the publication
DOAB: description of the publication

Demystifying Internet of Things Security Successful IoT Device/Edge and Platform Security Deployment od Cheruvu, Sunil

Hasła przedmiotowe: “…Network hardware bicssc…”
DOAB: download the publication
DOAB: description of the publication

Requirements and concepts for future automotive electronic architectures from the view of integrated safety od Chen, Xi

Hasła przedmiotowe: “…fault-tolerant hardware…”
DOAB: download the publication
DOAB: description of the publication

Demystifying Internet of Things Security Successful IoT Device/Edge and Platform Security Deployment od Cheruvu, Sunil

Hasła przedmiotowe: “…Network hardware bicssc…”
OAPEN Library: download the publication
OAPEN Library: description of the publication

Algorithms for Big Data DFG Priority Program 1736

Hasła przedmiotowe: “…Network hardware bicssc…”
DOAB: download the publication
DOAB: description of the publication

Algorithms for Big Data DFG Priority Program 1736

Hasła przedmiotowe: “…Network hardware bicssc…”
OAPEN Library: download the publication
OAPEN Library: description of the publication

Advancements in Real-Time Simulation of Power and Energy Systems

Hasła przedmiotowe: “…hardware in the loop…”
DOAB: download the publication
DOAB: description of the publication

Computer Aided Verification 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part II /

Hasła przedmiotowe: “…Computer Hardware.…”
Link to Metadata

Co-governed Sovereignty Network Legal Basis and Its Prototype & Applications with MIN Architecture od Li, Hui

Hasła przedmiotowe: “…Network hardware bicssc…”
DOAB: download the publication
DOAB: description of the publication

Co-governed Sovereignty Network Legal Basis and Its Prototype & Applications with MIN Architecture od Li, Hui

Hasła przedmiotowe: “…Network hardware bicssc…”
OAPEN Library: download the publication
OAPEN Library: description of the publication

Electronic Voting 7th International Joint Conference, E-Vote-ID 2022, Bregenz, Austria, October 4-7, 2022, Proceedings

Hasła przedmiotowe: “…computer hardware…”
DOAB: download the publication
DOAB: description of the publication

Electronic Voting 7th International Joint Conference, E-Vote-ID 2022, Bregenz, Austria, October 4-7, 2022, Proceedings

Hasła przedmiotowe: “…computer hardware…”
OAPEN Library: download the publication
OAPEN Library: description of the publication