학술논문

발행년
-
(예 : 2010-2015)
'학술논문' 에서 검색결과 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
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
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
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
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)
주제어
언어