학술논문
'학술논문'
에서 검색결과 28건 | 목록
1~10
Conference
12th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems (ECBS'05) Engineering of Computer-Based Systems Engineering of Computer-Based Systems, 2005. ECBS '05. 12th IEEE International Conference and Workshops on the. :331-338 2005
Conference
2008 Forum on Specification, Verification and Design Languages Specification, Verification and Design Languages, 2008. FDL 2008. Forum on. :148-153 Sep, 2008
Conference
Abts, D.; Kimmell, G.; Ling, A.; Boyd, M.; Bitar, A.; Parmar, S.; Ahmed, I.; DiCecco, R.; Han, D.; Thompson, J.; Bye, M.; Hwang, J.; Fowers, J.; Lillian, P.; Murthy, A.; Mehtabuddin, E.; Tekur, C.; Sohmers, T.; Kang, K.; Maresh, S.; Ross, J.; Kim, J.
In: Proceedings - International Symposium on Computer Architecture , ISCA 2022 - Proceedings of the 49th Annual International Symposium on Computer Architecture. (Proceedings - International Symposium on Computer Architecture, 18 June 2022, :567-580)
Conference
Abts, D.; Kim, J.; Kimmell, G.; Boyd, M.; Kang, K.; Parmar, S.; Ling, A.; Bitar, A.; Ahmed, I.; Ross, J.
In: 2022 IEEE Hot Chips 34 Symposium, HCS 2022 , 2022 IEEE Hot Chips 34 Symposium, HCS 2022. (2022 IEEE Hot Chips 34 Symposium, HCS 2022, 2022)
Conference
In: Proceedings - 52nd Annual IEEE/IFIP International Conference on Dependable Systems and Networks - Supplemental Volume, DSN-S 2022 , Proceedings - 52nd Annual IEEE/IFIP International Conference on Dependable Systems and Networks - Supplemental Volume, DSN-S 2022. (Proceedings - 52nd Annual IEEE/IFIP International Conference on Dependable Systems and Networks - Supplemental Volume, DSN-S 2022, 2022, :19-22)
Academic Journal
Kimmell, G.; Stump, A.; Eades, H.D.; Fu, P.; Weirich, S.; Casinghino, C.; Sjöberg, V.; Sheard, T.; Collins, N.; Ahn, K.Y.
In: Progress in Informatics . (Progress in Informatics, March 2013, (10):19-46)
Academic Journal
In: Logical Methods in Computer Science . (Logical Methods in Computer Science, 27 February 2013, 9(1))
Academic Journal
In: Higher-Order and Symbolic Computation . (Higher-Order and Symbolic Computation, December 2012, 25(2-4):255-274)
Conference
Abts, D.; Ross, J.; Sparling, J.; Wong-Vanharen, M.; Baker, M.; Hawkins, T.; Bell, A.; Thompson, J.; Kahsai, T.; Kimmell, G.; Hwang, J.; Leslie-Hurd, R.; Bye, M.; Creswick, E.R.; Boyd, M.; Venigalla, M.; Laforge, E.; Purdy, J.; Kamath, P.; Maheshwari, D.; Beidler, M.; Rosseel, G.; Ahmad, O.; Gagarin, G.; Czekalski, R.; Rane, A.; Parmar, S.; Werner, J.; Sproch, J.; Macias, A.; Kurtz, B.
In: Proceedings - International Symposium on Computer Architecture , Proceedings - 2020 ACM/IEEE 47th Annual International Symposium on Computer Architecture, ISCA 2020. (Proceedings - International Symposium on Computer Architecture, May 2020, 2020-May:145-158)
Academic Journal
In: Science of Computer Programming . (Science of Computer Programming, 1 July 2010, 75(7):543-572)
검색 결과 제한하기
제한된 항목
[AR] Kimmell, G.
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어