Browse "CS-Conference Papers(학술회의논문)" by Type Conference

Showing results 1601 to 1620 of 7390

1601
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

1602
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

1603
Concolic 테스팅 기법을 구현한 KLEE 테스팅 도구의 사례 연구

김영주; 김윤호; 김문주, 한국정보처리학회 추계학술대회, 한국정보처리학회, 2011-10-26

1604
Concolic 테스팅 도구 CREST 의 사용자 친화성 향상 연구: Windows OS 로의 포팅과 개선된 CREST UI 을 통한 CREST 활용 및 분기 커버리지 분석 작업의 효율 증가

김현우; 김문주; 김윤호, 2018 한국 소프트웨어공학 학술대회, 한국정보과학회, 2018-01-30

1605
Concolic 테스팅과 Fuzzing을 결합한 유닛 테스팅 자동화 기술

김윤삼; 김문주, 한국 소프트웨어공학 학술대회(KCSE2022), 한국정보과학회, 2022-01-20

1606
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

1607
Conditional GAN based Collaborative Filtering with Data Augmentation for Cold-Start User

Woo, Sungpil; Zubair, Muhammad; Kim, Daeyoung, The 13th International Conference on ICT Convergence, ICTC 2022, IEEE Computer Society, 2022-10-19

1608
Conditional Random Fields via Univariate Exponential Families

Yang, Eunho; Ravikumar, Pradeep; Allen, Genevera; Liu, Zhandong, Advances in Neural Information Processing Systems (NIPS) 26, NIPS Foundation Inc., 2013-12-05

1609
Confidence-Based Robot Navigation Under Sensor Occlusion with Deep Reinforcement Learning

Ryu, Hyeongyeol; Yoon, Minsung; Park, Daehyung; Yoon, Sung-Eui, 2022 IEEE International Conference on Robotics and Automation (ICRA 2022), pp.8231 - 8237, IEEE Robotics and Automation Society, 2022-05-26

1610
Conformance Testing of ATM Adaptation Layer Protocol

Yoo, Sangjo; Collica, Leslie; Kim, Myungchul, the IFIP TC6 9th international workshop on Testing of communicating systems, pp.237 - 252, 1996

1611
Conformance Testing of Multi-protocol IUTs

Park, Yongbum; Kim, Myungchul; Kang, Sungwon, IWTCS, 1999

1612
Congestion Controlled Adaptive Lightweight Multicast in Wireless Mobile Ad Hoc Networks

Tang, Ken; Obraczka, Katia; Lee, Sung-Ju; Gerla, Mario, The Seventh IEEE Symposium on Computers and Communications (ISCC 2002), IEEE, 2002-07-01

1613
Connecting Advanced Networks in Asia-Pacific ( Focusing on Applications )

Chon, Kil Nam, GIBN, 1998

1614
Connecting Instructors and Learning Scientists via Collaborative Dynamic Experimentation

Joseph Jay Williams; Anna Rafferty; Andrew Ang; Dustin Tingley; Walter S. Lasecki; Kim, Juho, 35th Annual CHI Conference on Human Factors in Computing Systems, CHI EA 2017, ACM Special Interest Group on Computer-Human Interaction (SIGCHI), 2017-05-09

1615
Connecting Users with Similar Interests Across MultipleWeb Services

Kwak, Haewoon; Shin, Hwa-Yong; Yoon, Jong-Il; Moon, Sue Bok, 3rd Int'l AAAI Conference on Weblogs and Social Media, Association for the Advancement of Artificial Intelligence (AAAI), 2009-05

1616
Connectivities of Recursive Circulant Graphs

Chwa Kyung Yong, In Proc. of KISS Conf., pp.591 - 594, 1992-01-01

1617
Connector oriented workflow system for the support of structured ad hoc workflow

Han, Dongsoo; Shim, J, The 33rd Annual Hawaii International Conference on System Siences (HICSS-33), pp.145 - 0, 2000-01-04

1618
Consensus building in collaborative sequencing with visual awareness

Kim, Tae Soo; Hong, Sungsoo; Goyal, Nitesh; Kim, Jeongyeon; Kim, Juho, ACM CHI Conference on Human Factors in Computing Systems, CHI EA 2020, Association for Computing Machinery, 2020-04-27

1619
Conserved domain combination identification in human proteins

Jung, S.H.; Kim, D.; Han, Dongsoo, 22nd International Conference on Advanced Information Networking and Applications Workshops/Symposia, AINA 2008, pp.802 - 807, IEEE, 2008-03-25

1620
Considerations on deploying high-performance container-based NFV

Hong, Deokgi; Shin, Jaemin; Woo, Shinae; Moon, Sue, 2nd Cloud-Assisted Networking Workshop, CAN 2017, pp.1 - 6, Association for Computing Machinery, Inc, 2017-12-12

Discover

rss_1.0 rss_2.0 atom_1.0