Showing results 1 to 10 of 10
Automatic generation of hardware/software interface with product-specific debugging tools Yun, Jeong-Han; Kim, Gunwoo; Son, Choonho; Han, Taisook, LECTURE NOTES IN COMPUTER SCIENCE, v.4096, pp.742 - 753, 2006-08 |
Automatic Generation of Hardware/Software Interface with Product-Specific Debugging Tools Yun, Jeong-Han; Kim, Gunwoo; Son, Choonho; Han, Taisook, Lecture Notes in Computer Science. Vol.4096, pp.742-753, 2006-10 |
Control flow graph상의 USE 집합을 중심으로 하여 live variable analysis를 수행하는 비반복적 알고리즘 = A non-iterative algorithm for live variable analysis based on use set of control flow graphlink 윤정한; Yun, Jeong-Han; et al, 한국과학기술원, 2003 |
Detecting schizophrenia in imperative synchronous languages = 절차형 동기언어 컴파일시 회로 재사용에 의한 문제점 검증link Yun, Jeong-Han; 윤정한; et al, 한국과학기술원, 2011 |
Detection of Harmful Schizophrenic Statements in Esterel Yun, Jeong-Han; Kim, Chul-Joo; Kim, Seong-Gun; Choe, Kwang-Moo; Han, Tai-Sook, ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS, v.12, no.3, 2013-03 |
Efficient Construction of Over-Approximated CFG on Esterel Kim, Chul-Joo; Yun, Jeong-Han; Seo, Sunae; Choe, Kwang-Moo; Han, Taisook, The KIISE Korea Computer Congress 2009, pp.379 - 380, 2009 |
Hardware/Software Codesign with Push-Pull Interface Son, Choonho; Yun, Jeong-Han; Kim, Gun-Woo; Han, Taisook, The 5th Asia Pacific International Symposium on Information Technology, pp.55 - 58, 2006-01-01 |
Modular Analysis for Schizophrenia in Esterel Yun, Jeong-Han; Hwang, Joonhyung; Han, Taisook, The 1st Jeju Conference on Computer and Information Science (JCCIS), pp.113 - 117, The 1st Jeju Conference on Computer and Information Science (JCCIS), 2010 |
Over-Approximated Control Flow Graph Construction on Pure Esterel Kim, Chul-Joo; Yun, Jeong-Han; Kim, Seonggun; Choe, Kwang-Moo; Han, Taisook, IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, v.E93D, pp.985 - 993, 2010-05 |
Refining schizophrenia via graph reachability in esterel Yun, Jeong-Han; Kim, Chul-Joo; Seo, Sunae; Han, Taisook; Choe, Kwang-Moo, 2009 7th IEEE-ACM International Conference on Formal Methods and Models for Co-Design, MEMOCODE '09, pp.18 - 27, IEEE, 2009-07-13 |
Discover