Showing results 20741 to 20760 of 109617
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 |
Concurrent Emulation Of Synaptic And Intrinsic Plasticity Via Threshold Switching - Phase Change Memory (TS-PCM) Sung, Sanghyeon; Jeong, Yujin; Lee, Keon Jae, Global Conference on Innovation Materials, GCIM 2023, The Materials Research Society of Korea, 2023-06-08 |
Concurrent Engineering Approach to the Die Design of Metal Forming Processes Using Rapid Prototyping and Finite Element Analysis Yang, Dong-Yol; Park, K.; Yoon, J. W.; Cho, J. R., ISATA '97, pp.105 - 111, 1997 |
Concurrent free-space transfer of comb-rooted optical frequencies Kang, Hyun Jay; Yang, Jaewon; Chun, Byeong Jae; Kim, Seung-Woo, The 30th Anniversary of the Optical Society of Korea - Optics and Photonics Congress 2019, The 30th Anniversary of the Optical Society of Korea - Optics and Photonics Congress 2019, 2019-07-16 |
Concurrent inverse design of structured light and metasurface for nanopatterning process Kim, Myungjoon; Kim, Nayoung; Shin, Jonghwa, Frontiers in Optics, FiO 2022, Optica Publishing Group (formerly OSA), 2022-10 |
Concurrent Optimization of Design and Machining Tolerances with Accumulated Scrap Cost Model (ASCM) Choi, MS; Lee, Doo Yong, International Conference on Control, Automation, Robotics and Vision, 2000 |
CONCURRENT OPTIMIZATION OF MECHANICAL DESIGN AND LOCOMOTION CONTROL OF A LEGGED ROBOT Digumarti, K. M.; Gehring, C.; Coros, S.; Hwangbo, J.; Siegwart, R., 17th International Conference on Climbing and Walking Robots (CLAWAR), pp.315 - 323, WORLD SCIENTIFIC PUBL CO PTE LTD, 2014-07 |
Concurrent Process Engineering for Chemical Process Design Using Comprehensive Product Model and Design Process Analysis Lee, Tai-Yong, Symposium on Chem. Eng. Taejon/Chungnam-Kyushu, 1999 |
Concurrent processing of multiple wafer types in a single-armed cluster tool Lee, Jun-Ho; Lee, Tae-Eog, IEEE 2011 International Conference on Automation Science and Engineering, pp.102 - 107, IEEE, 2011-08-25 |
Discover