학술논문
'학술논문'
에서 검색결과 238건 | 목록
150~160
Conference
In: Proceedings -Design, Automation and Test in Europe, DATE , Proceedings - Design, Automation and Test in Europe, DATE 2013. (Proceedings -Design, Automation and Test in Europe, DATE, 2013, :220-225)
Conference
In: Procedia Computer Science , 2013 International Conference on Computational Science, ICCS 2013. (Procedia Computer Science, 2013, 18:270-279)
Conference
In: Proceedings - Design Automation Conference , Proceedings of the 50th Annual Design Automation Conference, DAC 2013. (Proceedings - Design Automation Conference, 2013)
Conference
In: Proceedings - IEEE 27th International Parallel and Distributed Processing Symposium, IPDPS 2013 , Proceedings - IEEE 27th International Parallel and Distributed Processing Symposium, IPDPS 2013. (Proceedings - IEEE 27th International Parallel and Distributed Processing Symposium, IPDPS 2013, 2013, :1266-1274)
Conference
In: 20th Annual International Conference on High Performance Computing, HiPC 2013 , 20th Annual International Conference on High Performance Computing, HiPC 2013. (20th Annual International Conference on High Performance Computing, HiPC 2013, 2013, :196-205)
Conference
In: Proceedings of the ACM International Conference on Computing Frontiers, CF 2013 , Proceedings of the ACM International Conference on Computing Frontiers, CF 2013. (Proceedings of the ACM International Conference on Computing Frontiers, CF 2013, 2013)
Conference
In: Proceedings - International Symposium on Quality Electronic Design, ISQED , Proceedings of the 14th International Symposium on Quality Electronic Design, ISQED 2013. (Proceedings - International Symposium on Quality Electronic Design, ISQED, 2013, :143-150)
Conference
In: Proceedings of the ACM Great Lakes Symposium on VLSI, GLSVLSI , GLSVLSI 2013 - Proceedings of the ACM International Conference of the Great Lakes Symposium on VLSI. (Proceedings of the ACM Great Lakes Symposium on VLSI, GLSVLSI, 2013, :333-334)
Book
In: Runtime Verification - Third International Conference, RV 2012, Revised Selected Papers . (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2013, 7687 LNCS:42-47)
Conference
2011 IEEE 29th International Conference on Computer Design (ICCD); 2011, p431-432, 2p
검색 결과 제한하기
제한된 항목
[AR] Cristal, A.
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어