Search Results - "Computer architecture."
Suggested Topics within your search.
Suggested Topics within your search.
- Computer architecture & logic design 36
- Artificial intelligence 12
- Software Engineering 11
- Circuits & components 10
- Mathematical theory of computation 10
- Systems analysis & design 10
- Computer architecture 7
- Computer programming / software development 6
- Computer science 6
- Microprocessors 6
- Network hardware 6
- Operating systems 6
- Processor Architectures 6
- Software testing & verification 6
- Computer networking & communications 4
- Electrical engineering 4
- Electronic Circuits and Systems 4
- Electronic circuits 4
- Energy 4
- Information retrieval 3
- Technology: general issues 3
- Algorithms & data structures 2
- Applied mathematics 2
- Computer Communication Networks 2
- Computer networks 2
- Computing & information technology 2
- Expert systems / knowledge-based systems 2
- Operating Systems 2
- Operating systems (Computers) 2
- Programming & scripting languages: general 2
-
41
Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design - FMCAD 2020
Published 2020Subjects: “…Computer architecture & logic design bicssc…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
42
Proceedings of the 21st Conference on Formal Methods in Computer-Aided Design - FMCAD 2021
Published 2021Subjects: “…Computer architecture & logic design bicssc…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
43
Tools and Algorithms for the Construction and Analysis of Systems 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice o...
Published 2019Subjects: “…Computer architecture & logic design bicssc…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
44
Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design - FMCAD 2020
Published 2020Subjects: “…Computer architecture & logic design bicssc…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
45
Proceedings of the 21st Conference on Formal Methods in Computer-Aided Design - FMCAD 2021
Published 2021Subjects: “…Computer architecture & logic design bicssc…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
46
Proceedings of the 23rd Conference on Formal Methods in Computer-Aided Design - FMCAD 2023
Published 2023Subjects: “…Computer architecture & logic design bicssc…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
47
Programming Languages and Systems: 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018,...
Published 2018Subjects: “…computer architecture…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
48
Programming Languages and Systems: 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018,...
Published 2018Subjects: “…computer architecture…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
49
Reversible Computation: Extending Horizons of Computing Selected Results of the COST Action IC1405
Published 2020Subjects: “…Computer architecture & logic design bicssc…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
50
Reversible Computation: Extending Horizons of Computing Selected Results of the COST Action IC1405
Published 2020Subjects: “…Computer architecture & logic design bicssc…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
51
Scientific Advances in STEM: From Professor to Students
Published 2021Subjects: “…computer architecture…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
52
Supercomputing Frontiers 7th Asian Conference, SCFA 2022, Singapore, March 1-3, 2022, Proceedings
Published 2022Subjects: “…Computer architecture & logic design bicssc…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
53
Supercomputing Frontiers 7th Asian Conference, SCFA 2022, Singapore, March 1-3, 2022, Proceedings
Published 2022Subjects: “…Computer architecture & logic design bicssc…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
54
Automated Deduction - CADE 28 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings
Published 2021Subjects: “…Computer architecture & logic design…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
55
Automated Deduction - CADE 28 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings
Published 2021Subjects: “…Computer architecture & logic design…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
56
Programming Languages and Systems 30th European Symposium on Programming, ESOP 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021,...
Published 2021Subjects: “…Computer architecture & logic design…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
57
Programming Languages and Systems 30th European Symposium on Programming, ESOP 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021,...
Published 2021Subjects: “…Computer architecture & logic design…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
58
UAV or Drones for Remote Sensing Applications in GPS/GNSS Enabled and GPS/GNSS Denied Environments
Published 2021Subjects: “…computer architecture…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
59
Computation in Complex Networks
Published 2021Subjects: “…cloud computing architecture…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter