Showing results 11241 to 11260 of 16140
Verified real computation = 검증된 실수 연산link Park, Se Won; Ziegler, Martin; et al, 한국과학기술원, 2017 |
Verifying a Software Architecture Reconstruction Framework with a Case Study Lee, Seonah; Kang, Sungwon, 2006 International Conference on Software Engineering and Knowledge Engineering (SEKE'2006), pp.0, SEKE'2006, 2011-08-10 |
Verifying Communication Network Functionality through Protocol Testing Kang, Sungwon, International Conference on Software in Telecommunications and Computer Networks (SoftCOM'98), pp.0 - 0, 1998-10-01 |
Verifying Safety of File-like Resources by Resource Allocation Matrix Eo, Hyunjun; Kang, Hyun-Goo; Choe, Kwang-Moo; Han, Taisook, Proceedings of the 4th International Conference on Asian Language Processing and Information Technology, pp.387 - 392, 2005-06-01 |
Verifying well-definedness of variational objectives for probabilistic programs = 확률적 프로그램의 잘 정의된 변분 목적 함수 검증link Yu, Hangyeol; Yang, Hongseok; et al, 한국과학기술원, 2020 |
Verisim: Formal Analysis of Network Simulations Bhargavan, Karthikeyan; Gunter, Carl A.; Kim, Moonzoo; Lee, Insup; Obradovic, Davor, International Symposium on Software Testing and Analysis, pp.2 - 13, ACM, 2000-08-01 |
Verisim: Formal Analysis of Network Simulations Bhargavan, Karthikeyan; Gunter, Carl A.; Kim, Moonjoo; Lee, Insup; Obradovic, Davor; Sokolsky, Oleg; Viswanathan, Mahesh, 2011-01-18 |
Verisim: Formal analysis of network simulations Bhargavan, K; Gunter, CA; Kim, Moonzoo; Lee, I; Obradovic, D; Sokolsky, O; Viswanathan, M, IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, v.28, no.2, pp.129 - 145, 2002-02 |
Vertical decomposition of a single cell in a three-dimensional arrangement of surfaces Cheong, Otfried; Sharir, M, DISCRETE & COMPUTATIONAL GEOMETRY, v.18, no.3, pp.269 - 288, 1997 |
Vertical Decomposition of a Single Cell in a Three-Dimensional Arrangement of Surfaces and its Applications Sharir, Micha; Cheong, Otfried, 12th Annual ACM Symposium on Computational Geometry (SoCG) 1996, pp.20 - 29, 1996-05-24 |
Very low bit rate speech coding based on temporal decomposition of line spectral frequencies = 선스펙트럼 주파수의 시간적 분해법에 기반한 극저전송률 음성부호화link Kim, Sung-Joo; 김승주; et al, 한국과학기술원, 2000 |
Very low bit-rate speech coding using perceptual properties of human ear = 인간의 청각 특성을 이용한 극저전송률 음성 부호화link Han, Woo-Jin; 한우진; et al, 한국과학기술원, 2002 |
VIA 상의 커널 수준 소켓 계층 설계와 구현 = Design and implementation of a kernel-level sockets layer over virtual interface architecturelink 장재완; Jang, Jae-Wan; et al, 한국과학기술원, 2004 |
VIA(Virtual Interface Architecture)를 기반으로 하는 소프트웨어 분산공유메모리 시스템의 설계 및 구현 맹승렬; 박소연; 김영재; 이상권, 한국정보과학회 학술대회, pp.0 - 0, 한국정보과학회, 2002-04-01 |
Vibrotactile Compliance Feedback for Tangential Force Interaction Heo, Seongkook; Lee, Geehyuk, IEEE TRANSACTIONS ON HAPTICS, v.10, no.2, pp.444 - 455, 2017-05 |
VICODE : 검증도구가 일체화된 동시설계환경 = VICODE : verification integrated co-design environmentlink 김건우; Kim, Gun-Woo; et al, 한국과학기술원, 2007 |
Victory: Versatile Internet of Things Application on Dynamic Mobile Service Composition Framework Woo, Sungpil; Heo, Sehyeon; Im, Janggwan; Kim, Daeyoung, The 4th International Conference on Internet of Things, MIT, 2014-10-08 |
Video Coding with Wavelet Transform on the PSTN Kim, S.W.; Jeon, J.H.; Lee, Heung-Kyu, IEEE, Proc. of JTC-CSCC, pp.315 - 320, 1994-07 |
Video Coding with Wavelet Transform on the Very Low Bit Rate Communication Channel Kim, SW; Lee, Heung-Kyu, IST&T/SPIE, Proc. of Digital Video Compression and Processing on PersonalComputers: Algorithms and Technologies, pp.309 - 320, 1994-02 |
Video Coding with Wavelet Transform on the Very Low Bit Rate Communication Channel Kim, S.W.; Lee, Heung-Kyu, 초저속 전송을 위한 영상통신 기술 Workshop '93, 한국통신 연구개발단., pp.179 - 192, 한국통신 연구개발단, 1993-11 |
Discover