Browse "School of Computing(전산학부)" by Title
Showing results 3261 to 3280 of 16140
| Concept Unification of Terms in Different Languages for IR Li, Q; Myaeng, Sung Hyon; Jin, Y; Kang, BY, COLING ACL2006, pp.641 - 648, Association for Computational Linguistics, 2006-07 |
| Concept unification of terms in different languages via web mining for Information Retrieval Li, Qing; Chen, Yuanzhu Peter; Myaeng, Sung-Hyon; Jin, Yun; Kang, Bo-Yeong, INFORMATION PROCESSING & MANAGEMENT, v.45, pp.246 - 262, 2009-03 |
| Concepts and Models of Environment of Self-Adaptive Systems: A Systematic Literature Review Shin, Yong-Jun; Bae, Joon-Young; Bae, Doo-Hwan, 2021 28th Asia-Pacific Software Engineering Conference (APSEC), IEEE, 2021-12 |
| Conceptscape: Collaborative concept mapping for video learning Liu, Ching; Kim, Juho; Wang, Hao-Chuan, 2018 CHI Conference on Human Factors in Computing Systems, CHI 2018, pp.387:1 - 387:12, Association for Computing Machinery, 2018-04-25 |
| Conceptual Dependency로부터 한글 Semantic Network의 생성 문병로; 김진형, 한국 정보과학회 추계 학술발표회 , v.0, no.0, pp.0 - 0, 한국 정보과학회, 1986-10 |
| Conceptual framework and extensible modeling method supporting ontology-based scenario specification = 온톨로지 기반의 시나리오 명세를 지원하는 개념 프레임워크와 확장 가능 모델링 기법link Baek, Young-Min; Bae, Doo-Hwan; et al, 한국과학기술원, 2023 |
| Conceptual Graph Matching as a Plausible Inferencing Technique for Text Retrieval Myaeng, Sung Hyon, The 5th Annual Workshop on Conceptual Graphs, v.0, no.0, pp.0 - 0, 1990-07 |
| Conceptual Graph Matching: A Flexible Algorithm and Experiments Myaeng, Sung Hyon; Aurelio Lopez-Lopez, JOURNAL OF EXPERIMENTAL & THEORETICAL ARTIFICIAL INTELLIGENCE, v.4, no.2, pp.107 - 126, 1992-03 |
| Concolic Testing for High Test Coverage and Reduced Human Effort in Automotive Industry Kim, Yunho; Lee, Dongju; Baek, Junki; Kim, Moonzoo, International Conference on Software Engineering (ICSE), pp.151 - 160, IEEE Computer Society and ACM SIGSOFT, 2019-05-29 |
| Concolic testing of the multi-sector read operation for flash memory file system Kim, Moonzoo; Kim, Yunho, 12th Brazilian Symposium on Formal Methods, SBMF 2009, pp.251 - 265, 2009-08-19 |
| Concolic testing of the multi-sector read operation for flash storage platform software Kim, Moon-Zoo; Kim, Yun-Ho; Choi, Yun-Ja, FORMAL ASPECTS OF COMPUTING, v.24, no.3, pp.355 - 374, 2012-05 |
| Concolic Testing on Embedded Software - Case Studies on Mobile Platform Programs Kim, Yunho; Kim, Moonzoo; Jang, Yoonkyu, ACM SIGSOFT Foundation of Software Engineering Industrial track, ACM SIGSOFT Foundation of Software Engineering Industrial track, 2011-09-05 |
| Concolic Testing 도구 KLEE의 다양한 탐색 방법 비교 김영주; 김문주; 김윤호; 정의준, 정보과학회논문지 : 컴퓨팅의 실제 및 레터, v.18, no.4, pp.321 - 325, 2012-04 |
| Concolic 테스팅 기법을 구현한 KLEE 테스팅 도구의 사례 연구 김영주; 김윤호; 김문주, 한국정보처리학회 추계학술대회, 한국정보처리학회, 2011-10-26 |
| Concolic 테스팅 도구 CREST 의 사용자 친화성 향상 연구: Windows OS 로의 포팅과 개선된 CREST UI 을 통한 CREST 활용 및 분기 커버리지 분석 작업의 효율 증가 김현우; 김문주; 김윤호, 2018 한국 소프트웨어공학 학술대회, 한국정보과학회, 2018-01-30 |
| Concolic 테스팅 도구 CROWN의 적용 가능성 및 사용성 개선 연구 김현우; 김윤호; 김문주, 정보과학회논문지, v.45, no.10, pp.1071 - 1079, 2018-10 |
| Concolic 테스팅과 Fuzzing을 결합한 유닛 테스팅 자동화 기술 김윤삼; 김문주, 한국 소프트웨어공학 학술대회(KCSE2022), 한국정보과학회, 2022-01-20 |
| Concolic 테스팅을 위한 테스트 커버리지 향상 가이드라인 및 산업체 사례 연구 = Concolic testing guidelines for test coverage improvement : an industrial case studylink 김현우; 김문주; et al, 한국과학기술원, 2018 |
| Concrat: An Automatic C-to-Rust Lock API Translator for Concurrent Programs Hong, Jaemin; Ryu, Sukyoung, 45th IEEE/ACM International Conference on Software Engineering, ICSE 2023, pp.716 - 728, IEEE Computer Society, 2023-05-17 |
| CONCURRENCY AND INHERITANCE IN ACTOR-BASED OBJECT-ORIENTED LANGUAGES RYU, K; Maeng, SeungRyoul; Cho, Jung Wan, JOURNAL OF SYSTEMS AND SOFTWARE, v.20, no.1, pp.53 - 67, 1993-01 |
Discover
Open Access
- 187 OA Article
Date issued
- 1,890 2020 - 2024
- 5,392 2010 - 2019
- 4,587 2000 - 2009
- 2,927 1990 - 1999
- 839 1980 - 1989