Browse "CS-Conference Papers(학술회의논문)" by Author Kim, Chul-Joo

Showing results 1 to 4 of 4

1
A framework for dynamic inter-device task dispatch with eventual consistency

Park, Jihyeok; Park, Joonyoung; Lee, Yoonkyong; Kim, Chul-Joo; Kim, Byoungoh; Ryu, Sukyoung, 2nd International Conference on Art, Science, and Engineering of Programming, Programming 2018, pp.63 - 68, Association for Computing Machinery, 2018-04-12

2
Classifying False Positive Static Checker Alarms in Continuous Integration Using Convolutional Neural Networks

Lee, Seongmin; Hong, Shin; Yi, Jungbae; Kim, Taeksu; Kim, Chul-Joo; Yoo, Shin, 2019 12th IEEE Conference on Software Testing, Validation and Verification (ICST), pp.391 - 401, IEEE, 2019-04-26

3
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

4
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