학술논문
'학술논문'
에서 검색결과 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
Koul, K.; Melchert, J.; Sreedhar, K.; Truong, L.; Nyengele, G.; Zhang, K.; Liu, Q.; Setter, J.; Chen, P.-H.; Mei, Y.; Strange, M.; Daly, R.; Donovick, C.; Carsello, A.; Kong, T.; Feng, K.; Huff, D.; Nayak, A.; Setaluri, R.; Thomas, J.; Bhagdikar, N.; Durst, D.; Myers, Z.; Tsiskaridze, N.; Richardson, S.; Bahr, R.; Fatahalian, K.; Hanrahan, P.; Barrett, C.; Horowitz, M.; Torng, C.; Kjolstad, F.; Raina, P.
In: ACM Transactions on Embedded Computing Systems . (ACM Transactions on Embedded Computing Systems, 24 January 2023, 22(2))
Academic Journal
IEEE Transactions on Computers IEEE Trans. Comput. Computers, IEEE Transactions on. 65(11):3332-3344 Nov, 2016
Conference
Melchert, J.; Feng, K.; Donovick, C.; Daly, R.; Sharma, R.; Barrett, C.; Horowitz, M.A.; Hanrahan, P.; Raina, P.
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
Daly, R.; Donovick, C.; Melchert, J.; Setaluri, R.; Bullock, N.T.; Raina, P.; Barrett, C.; Hanrahan, P.
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
Mann, M.; Wilson, A.; Zohar, Y.; Stuntz, L.; Irfan, A.; Brown, K.; Donovick, C.; Barrett, C.; Tinelli, C.; Guman, A.
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
Bahr, R.; Barrett, C.; Bhagdikar, N.; Carsello, A.; Daly, R.; Donovick, C.; Durst, D.; Fatahalian, K.; Feng, K.; Hanrahan, P.; Hofstee, T.; Horowitz, M.; Huff, D.; Kjolstad, F.; Kong, T.; Liu, Q.; Mann, M.; Melchert, J.; Nayak, A.; Niemetz, A.; Nyengele, G.; Raina, P.; Richardson, S.; Setaluri, R.; Setter, J.; Sreedhar, K.; Strange, M.; Thomas, J.; Torng, C.; Truong, L.; Tsiskaridze, N.; Zhang, K.
In: Proceedings - Design Automation Conference , 2020 57th ACM/IEEE Design Automation Conference, DAC 2020. (Proceedings - Design Automation Conference, July 2020, 2020-July)
Book
Truong, L.; Herbst, S.; Setaluri, R.; Mann, M.; Daly, R.; Zhang, K.; Donovick, C.; Stanley, D.; Horowitz, M.; Barrett, C.; Hanrahan, P.
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)
주제어
언어