DSpace at KOASAS
Browsing DSpace

Browse by Author Yun, Jeong-Han

A to Z

All 0-9

A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

or enter first few letters:

Showing results 1 to 11 of 11

1
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

2
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

3
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

4
Declarative Extensions of Esterel

Hwang, Joonhyung; Yun, Jeong-Han; Han, Taisook, The 1st Jeju Conference on Computer and Information Science (JCCIS) v. no. pp.109 - 112, The 1st Jeju Conference on Computer and Information Science (JCCIS), 2010

5
Detecting schizophrenia in imperative synchronous languages = 절차형 동기언어 컴파일시 회로 재사용에 의한 문제점 검증link

Yun, Jeong-Han; 윤정한; et al, 한국과학기술원, 2011

6
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

7
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

8
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

9
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

10
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

11
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

rss_1.0 rss_2.0 atom_1.0