Showing results 6541 to 6560 of 16138
Java 다중 스레드 프로그램을 위한 오토마타 기반 테스팅 환경의 설계 및 구현 서희석; 정인상; 김병만; 권용래, 정보과학회논문지:소프트웨어 및 응용, v.29, no.12, 2002-12 |
Java-MaC: A run-time assurance approach for Java programs Kim, Moonzoo; Viswanathan, M; Kannan, S; Lee, I; Sokolsky, O, FORMAL METHODS IN SYSTEM DESIGN, v.24, pp.129 - 155, 2004-03 |
Java-MaC: a Run-time Assurance Tool for Java Programs Kim, Moonzoo; Kannan, S.; Lee, I.; Sokolsky, O., Runtime Verification, pp.218 - 235, Runtime Verification, 2001-07-23 |
JavaOS를 위한 확장가능한 운영체계의 설계 = Extensible OS design for JavaOSlink 김철기; Kim, Cheol-Gi; et al, 한국과학기술원, 1998 |
JavaScript Language Design and Implementation in Tandem Ryu, Sukyoung; Park, Jihyeok, COMMUNICATIONS OF THE ACM, v.67, no.5, pp.86 - 95, 2024-05 |
JavaScript Module System: Exploring the Design Space Cho, Junhee; Ryu, Sukyoung, 13th International Conference on Modularity, MODULARITY 2014 (Formerly AOSD), pp.229 - 240, Association for Computing Machinery, 2014-04-24 |
JavaScript static analysis for evolving language specifications = 성장하는 프로그래밍 언어 명세를 위한 자바스크립트 정적 분석link Park, Jihyeok; Ryu, Sukyoung; et al, 한국과학기술원, 2022 |
JEST: N+1-version Differential Testing of Both JavaScript Engines and Specification Park, Jihyeok; An, Seungmin; Youn, Dongjun; Kim, Gyeongwon; Ryu, Sukyoung, 43rd IEEE/ACM International Conference on Software Engineering - Software Engineering in Practice (ICSE-SEIP) / 43rd ACM/IEEE International Conference on Software Engineering - New Ideas and Emerging Results (ICSE-NIER), pp.13 - 24, IEEE COMPUTER SOC, 2021-05 |
Jigsaw Puzzle Image Retrieval via Pairwise Compatibility Measurement Jin, Sou-Young; Lee, Suwon; Nur Aziza Azis; Choi, Ho-Jin, The International Conference on Big Data and Smart Computing (BigComp2014), pp.123 - 127, Korean Institute of Information Scientists and Engineers, 2014-01-15 |
JINSIL: A middleware for presentation of composite multimedia objects in a distributed environment Song, Junehwa; Dan, A; Sitaram, D, MULTIMEDIA SYSTEMS, v.8, no.4, pp.295 - 314, 2002-07 |
JISET: JavaScript IR-based Semantics Extraction Toolchain PARK, JIHYEOK; Park, Jihee; An, Seungmin; Ryu, Sukyoung, 35th IEEE/ACM International Conference on Automated Software Engineering, ASE 2020, pp.647 - 658, IEEE/ACM, 2020-09-23 |
JMC : Jitter-based mixed-criticality scheduling for distributed real-time systems = JMC : 실시간 분산 시스템을 위한 지터 기반의 혼합 임계 스케줄링 기법link Kim, Minsu; Shin, Insik; et al, 한국과학기술원, 2019 |
JMC: Jitter-Based Mixed-Criticality Scheduling for Distributed Real-Time Systems Lee, Kilho; Kim, Minsu; Kim, Hayeon; Chwa, Hoon Sung; Lee, Jaewoo; Lee, Jinkyu; Shin, Insik, IEEE INTERNET OF THINGS JOURNAL, v.6, no.4, pp.6310 - 6324, 2019-08 |
JNI를 이용하는 안드로이드 어플리케이션의 개인정보유출분석 = Detecting privacy leaks in android application using JNIlink 이상헌; Lee, Sang-Heon; et al, 한국과학기술원, 2014 |
Joins on encoded and partitioned data Lee, Jae-Gil; Attaluri, Gopi; Barber, Ronald; Chainani, Naresh; Draese, Oliver; Ho, Frederick; Idreos, Stratos; et al, 40th International Conference on Very Large Data Bases, VLDB 2014, pp.1355 - 1366, ACM SIGMOD and VLDB Endowment, 2014-09-02 |
Joint active feature acquisition and classification with variable-size set encoding = 가변 크기 집합의 인코딩을 이용한 동적 피쳐 획득과 분류의 공동 학습link Shim, Hajin; Yang, Eunho; et al, 한국과학기술원, 2019 |
Joint Bilateral Filter 기반의 직관적 피사계 심도 후처리 기법 김석열; 박진아, 2012 한국HCI학술대회, pp.218 - 220, 한국HCI학회, 2012-01-11 |
Joint convolutional neural network architecture for word and character = 단어와 글자를 위한 결합 합성곱 신경망 구조link Kim, SoHyeong; Oh, Alice; et al, 한국과학기술원, 2017 |
Joint Demosaicing and Deghosting of Time-Varying Exposures for Single-Shot HDR Imaging Kim, Jungwoo; Kim, Min Hyuk, IEEE/CVF International Conference on Computer Vision 2023 (ICCV 2023), IEEE, 2023-10-05 |
Joint deployment of macrocells and microcells over urban areas with spatially non-uniform traffic distributions = 비균등 공간 트래픽 분포를 가진 도심 지역의 매크로셀 및 마이크로셀 통합 배치link Ahn, Byung-Chan; 안병찬; et al, 한국과학기술원, 2002 |
Discover