Browse by Type Conference
Showing results 20701 to 20720 of 109410
| Conceptual System Design of a Supercritical CO2 cooled Micro Modular Reactor 김성구; 오봉성; 백승준; 유환열; 김용희; 이정익, The Korean Nuclear Society Spring Meeting(2015), The Korean Nuclear Society, 2015-05-08 |
| Conceptual System Design of a Supercritical CO2 cooled Micro Modular Reactor Kim, Seong Gu; Baik, Seung Joon; Moon, Jangsik; Yu, Hwanyeal; Jeong, Yong Hoon; Kim, Yonghee; Jeong-Ik Lee, ICAPP 2015, American Nuclear Society, 2015-05 |
| Conceptual System Design of a Supercritical CO2 cooled Micro Modular Reactor Kim, Seong Gu; Oh, Bong Seong; Cho, Seong Kuk; Baik, Seung Joon; Yu, Hwanyeal; Moon, Jangsik; Lee, Jeong-Ik, International Congress on High Temperature Reactor Technology 2016 (HTR2016), American Nuclear Society, 2016-11-06 |
| Conceptualizing u-Content Ecosystem in Ubiquitous VR Environments Woo, Woontack; Oh, Yoosoo; Ha, Taejin; Kang, Changgu, ISUVR 2011, pp.13 - 16, UVR Lab., GIST, 2011-07 |
| Conceptually Assessing the Vulnerability of Climate Change to the Urban Water Infrastructure System: - Malaysia Scenario Kamal, Norashikin Ahmad; Shin, Sang Min; Park, Heekyung, INTERNATIONAL CONFERENCE ON SUSTAINABLE HUMAN DEVELOPMENT 2014, Eduserv, 2014-04-02 |
| 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 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 with static analysis for javascript applications Bae, Sora, 13th International Conference on Modularity, MODULARITY 2014 (Formerly AOSD), pp.7 - 8, Association for Computing Machinery, 2014-04 |
| Concolic 테스팅 기법을 구현한 KLEE 테스팅 도구의 사례 연구 김영주; 김윤호; 김문주, 한국정보처리학회 추계학술대회, 한국정보처리학회, 2011-10-26 |
| Concolic 테스팅 도구 CREST 의 사용자 친화성 향상 연구: Windows OS 로의 포팅과 개선된 CREST UI 을 통한 CREST 활용 및 분기 커버리지 분석 작업의 효율 증가 김현우; 김문주; 김윤호, 2018 한국 소프트웨어공학 학술대회, 한국정보과학회, 2018-01-30 |
| Concolic 테스팅과 Fuzzing을 결합한 유닛 테스팅 자동화 기술 김윤삼; 김문주, 한국 소프트웨어공학 학술대회(KCSE2022), 한국정보과학회, 2022-01-20 |
| 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 |
| Concrete crack-healing materials using biocalcification by ureolytic bacteria isolated in marine environment:An overview Son, Hyeongmin; Kim, HaYeon; Lee, Haeng-Ki, 20th Annual TechConnect World Innovation Conference and Expo hosting the Nanotech 2018 Conference, pp.223 - 226, 2018 TechConnect, 2018-05-15 |
| Concrete pumping for built environment: A scientific approach Kim, Jae Hong, The 12th KAIST-TONGJI Symposium on Civil Engineering, KAIST, 2018-08-07 |
| Concurrency Control for Workflows Based on Multiple Isolation Levels Lee, Doheon, Proc. of World Multiconference on Systems, Cybernetics, and Informatics, pp.608 - 612, IIIS, 2000-07 |
| Concurrency Control in CIAO Wohn, Kwang-Yun; Sung, Un-Jae; Yang, Jae Heon, IEEE Virtual Reality, pp.22 - 28, 1999 |
| Concurrency Control in Multi-Level Secure Database Management Systems: MLS/CC Sohn, Yonglak; Moon, Songchun, Proc. Korea Institute of Information Security and Cryptology, pp.212 - 220, 1994 |
| Concurrent Design Methodology for GRIMDOL Microprocessor System Kyung, Chong-Min, International Conference on VLSI and CAD, 1993-11 |
| Concurrent dual-channel RF transceiver module with diversity for 802.11p WAVE Hyun-Seok Choi; Quang-Diep Bui; So Young Kang; Hiyeun Song; Dongmin Kang; Oh, Inn Yeal; Park, Chul Soon, VCSC 2012 : 1st IEEE SECON 2012 Workshop on Vehicular Communications, Sensing and Computing, IEEE, 2012-06-18 |
Discover
Type
Open Access
Date issued
- 30,903 2020 - 2024
- 100,005 2010 - 2019
- 75,681 2000 - 2009
- 44,727 1990 - 1999
- 14,360 1980 - 1989
- 62 1964 - 1969