Showing results 1 to 14 of 14
6LoWPAN의 이동성 지원을 위한 MIPv6와 NEMO Protocol의최적 헤더 압축 하민근; 홍성민; 김영주; 김대영, 정보과학회논문지 : 컴퓨팅의 실제 및 레터, v.16, no.1, pp.55 - 59, 2010-01 |
(A) study on synchronization mechanism for automatic generation of synchronization skeleton = 동기화 골격을 자동 생성하기 위한 동기화 구조에 대한 연구link Kim, Young-Joo; 김영주; et al, 한국과학기술원, 1989 |
Concolic Testing 도구 KLEE의 다양한 탐색 방법 비교 김영주; 김문주; 김윤호; 정의준, 정보과학회논문지 : 컴퓨팅의 실제 및 레터, v.18, no.4, pp.321 - 325, 2012-04 |
Concolic 테스팅 기법을 구현한 KLEE 테스팅 도구의 사례 연구 김영주; 김윤호; 김문주, 한국정보처리학회 추계학술대회, 한국정보처리학회, 2011-10-26 |
EPC Sensor Network를 위한 ZigBee Reader 설계 및 구현 정수호; 김규백; 김성훈; 김영주; 김대영, 한국정보과학회 학술발표논문집(A), pp.113 - 114, 한국정보과학회, 2010-11 |
Hybrid statistical model checking technique for reliable safety critical systems = 신뢰성이 높은 안전필수시스템을 위한 하이브리드 통계적 모델 체킹 방법link Kim, Young-Joo; 김영주; et al, 한국과학기술원, 2013 |
IP-USN을 위한 SNTP 기반의 다중 홉 시각동기 기법 박상준; 홍성민; 하근민; 김영주; 김대영, 한국정보과학회 학술발표, v.36, pp.416 - 421, 한국정보과학회, 2009-07 |
Tarantula I: 무인 감시 정찰을 위한 자율 주행 로봇 김성환; 홍인표; 김영효; 김영주; 김대영; 이영진, 한국지능로봇 종합학술대회, 한국로봇학회, 2009-06 |
USN 연동성을 고려한 실시간 국토모니터링 테스트 베드 구축 방안 이종욱; 서석빈; 김영주; 박상준; 김광은; 김대영, 2008 한국컴퓨터종합학술대회, v.35, no.1-D, pp.455 - 460, 한국컴퓨터종합학술대회, 2008-06 |
구조 지향적 에디팅 환경에서의 타입 검사 권용래; 김영주; 최진희, 한국정보과학회 학술발표논문집 제1 6권 1호, v.16, no.1, 1989 |
구조 지향적 에디팅 환경에서의 타입 검사 = A study on type checking in the structure-oriented editing environmentlink 김영주; Kim, Young-Ju; et al, 한국과학기술원, 1989 |
통합 실시간 국토 모니터링을 위한 IP-USN 구현에 관한 연구 정우영; 홍성민; 황승현; 하민근; 김영주; 김대영; 김광은, 한국통신학회 하계종합학술발표회, 한국통신학회, 2008-07 |
하이브리드 기술을 이용한 통계적 모델 검사 장치 및 방법 김문주; 김영주, 2015-05-06 |
한글 텍스트 에디터의 설계 = Design of a Hangul text editorlink 김영주; Kim, Young-Joo; et al, 한국과학기술원, 1981 |
Discover