학술논문

발행년
-
(예 : 2010-2015)
'학술논문' 에서 검색결과 13건 | 목록 1~10
Academic Journal
IEEE Transactions on Dependable and Secure Computing IEEE Trans. Dependable and Secure Comput. Dependable and Secure Computing, IEEE Transactions on. 17(3):620-633 Jun, 2020
Academic Journal
IEEE Transactions on Computers IEEE Trans. Comput. Computers, IEEE Transactions on. 65(11):3332-3344 Nov, 2016
Conference
In: International Conference on Architectural Support for Programming Languages and Operating Systems - ASPLOS, ASPLOS 2023 - Proceedings of the 28th ACM International Conference on Architectural Support for Programming Languages and Operating Systems. (International Conference on Architectural Support for Programming Languages and Operating Systems - ASPLOS, 25 March 2023, 3:33-45)
Conference
In: Proceedings of the 22nd Conference on Formal Methods in Computer-Aided Design, FMCAD 2022, Proceedings of the 22nd Conference on Formal Methods in Computer-Aided Design, FMCAD 2022. (Proceedings of the 22nd Conference on Formal Methods in Computer-Aided Design, FMCAD 2022, 2022, :139-150)
Book
In: Theory and Applications of Satisfiability Testing – SAT 2021 - 24th International Conference, 2021, Proceedings. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2021, 12831 LNCS:377-386)
Conference
In: Proceedings - Design Automation Conference, 2020 57th ACM/IEEE Design Automation Conference, DAC 2020. (Proceedings - Design Automation Conference, July 2020, 2020-July)
Book
In: Computer Aided Verification - 32nd International Conference, CAV 2020, Proceedings. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2020, 12224 LNCS:403-414)
Conference
In: 2019 International Conference on Reconfigurable Computing and FPGAs, ReConFig 2019, 2019 International Conference on Reconfigurable Computing and FPGAs, ReConFig 2019. (2019 International Conference on Reconfigurable Computing and FPGAs, ReConFig 2019, December 2019)
Conference
In: 2015 IEEE 21st International Symposium on High Performance Computer Architecture, HPCA 2015. (2015 IEEE 21st International Symposium on High Performance Computer Architecture, HPCA 2015, 6 March 2015, :651-661)
검색 결과 제한하기
제한된 항목
[AR] Donovick, C.
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어