지원사업
학술연구/단체지원/교육 등 연구자 활동을 지속하도록 DBpia가 지원하고 있어요.
커뮤니티
연구자들이 자신의 연구와 전문성을 널리 알리고, 새로운 협력의 기회를 만들 수 있는 네트워킹 공간이에요.
이용수
등록된 정보가 없습니다.
논문 유사도에 따라 DBpia 가 추천하는 논문입니다. 함께 보면 좋을 연관 논문을 확인해보세요!
기계학습 기반 기호실행
정보과학회지
2020 .04
프로그램 옵션을 통해 기호실행 성능 향상
한국정보과학회 학술발표논문집
2024 .12
Symbolic Execution 도구의 탐색방법과 비교결과에 관한 연구
한국통신학회 학술대회논문집
2020 .02
기호 실행의 성능 극대화를 위한 좋은 시드 선택 기법
한국정보과학회 학술발표논문집
2024 .06
프로그램 분석을 위한 정적분석 기반 역추적 제어흐름그래프 생성 방안 모델
정보보호학회논문지
2019 .10
기호 실행의 다양한 해결책 자동생성 기술
정보과학회지
2021 .05
기호 실행 기반 응용프로그램 추론 기법을 이용한 프로토콜 역공학 방법 제안
한국정보과학회 학술발표논문집
2018 .06
소프트웨어 안전성 검증을 위한 입력 파일 기반 동적 기호 실행 방법
정보보호학회논문지
2017 .08
심볼릭 실행(Symbolic Execution) 기반의 바이너리 코드 취약점 분석 자동화를 위한 도구
한국정보과학회 학술발표논문집
2017 .06
기호 실행을 활용한 WebAssembly 프로그램의 동일성 확인 기법
한국정보과학회 학술발표논문집
2022 .12
기호 회귀의 환경경제학적 응용에 관한 연구 동향
한국통신학회 인공지능 학술대회 논문집
2024 .09
동적 기호 실행을 이용한 윈도우 시스템 콜 Use-After-Free 취약점 자동 탐지 방법
정보보호학회논문지
2017 .08
장애인을 위해 수정된 입력장치가 입력의 정확도에 미치는 영향
한국정밀공학회 학술발표대회 논문집
2015 .05
한 손 입력 시스템 설계 및 구현
한국통신학회 학술대회논문집
2015 .11
기호조합을 활용한 이상감지 기법
대한산업공학회 춘계공동학술대회 논문집
2021 .06
기호 회귀를 활용한 미분방정식 해 탐색 방법론
대한산업공학회 춘계공동학술대회 논문집
2022 .06
입력조건에 따른 BLDC 모터 효율 특성 비교 분석
대한전기학회 학술대회 논문집
2015 .04
2차원 수치모형을 이용한 보 방류조건에 따른 하도 내 홍수도달시간 예측
한국수자원학회논문집
2019 .01
유니버설 단축키 점자시스템 개발
한국산업정보학회논문지
2022 .04
입력장치 데이터 보안 모듈의 설계
한국통신학회 학술대회논문집
2020 .02
0