CS-Journal Papers(저널논문)
- Browse
- Issue Date Author Title Subject Type
Recent Items
-
1
Taming shared mutable states of operating systems in Rust
Hong, Jaemin; Shim, Sunghwan; Park, Sanguk; Kim, Tae Woo; Kim, Jungwoo; Lee, Junsoo; Ryu, Sukyoung; Kang, Jeehoon, SCIENCE OF COMPUTER PROGRAMMING, v.238, 2024-12
-
2
Targeted Model Inversion: Distilling style encoded in predictions
Jeong, Hoyong; Chung, Kiwon; Hwang, Sung Ju; Son, Sooel, COMPUTERS SECURITY, v.144, 2024-09
-
3
Tutorial on Matching-based Causal Analysis of Human Behaviors Using Smartphone Sensor Data
Jung, Gyuwon; Park, Sangjun; Ma, Eun-Yeol; Kim, Heeyoung; Lee, Uichin, ACM COMPUTING SURVEYS, v.56, no.9, 2024-09
-
4
Accelerating String-key Learned Index Structures via Memoization-based Incremental Training
Kim, Minsu; Hwang, Jinwoo; Heo, Guseul; Cho, Seiyeon; Mahajan, Divya; Park, Jongse, PROCEEDINGS OF THE VLDB ENDOWMENT, v.17, no.8, pp.1802 - 1815, 2024-08
-
5
다변량 시계열 이상 탐지 평가를 위한 PA%K에서 K 값에 따른 탐지 성능 변화 비교 분석
HA, TAEWOOK; Kim, Myoung Ho, 정보과학회 컴퓨팅의 실제 논문지, v.30, no.8, pp.347 - 353, 2024-08
-
6
Take a prior from other tasks for severe blur removal
Wang, Pei; Zhu, Yu; Xue, Danna; Yan, Qingsen; Sun, Jinqiu; Yoon, Sung-Eui; Zhang, Yanning, COMPUTER VISION AND IMAGE UNDERSTANDING, v.245, 2024-08
-
7
Spin-Weighted Spherical Harmonics for Polarized Light Transport
Yi, Shinyoung; Kim, Donggun; Na, Jiwoong; Tong, Xin; Kim, Min Hyuk, ACM Transactions on Graphics, v.43, no.4, 2024-07
-
8
TouchWheel: Enabling Flick-and-Stop Interaction on the Mouse Wheel
Son, Sunmin; Jung, Jingun; Ham, Auejin; Lee, Geehyuk, INTERNATIONAL JOURNAL OF HUMAN-COMPUTER INTERACTION, v.40, no.13, pp.3539 - 3551, 2024-07
-
9
CCTV-Informed Human-Aware Robot Navigation in Crowded Indoor Environments
Kim, Mincheul; Kwon, Youngsun; Lee, Sebin; Yoon, Sung-Eui, IEEE ROBOTICS AND AUTOMATION LETTERS, v.9, no.6, pp.5767 - 5774, 2024-06
-
10
Cerberus: Triple Mode Acceleration of Sparse Matrix and Vector Multiplication
Hwang, Soojin; Baek, Daehyeon; Park, Jongse; Huh, Jaehyuk, ACM TRANSACTIONS ON ARCHITECTURE AND CODE OPTIMIZATION, v.21, no.2, 2024-06
Collection's Items (Sorted by Submit Date in Descending order): 3501 to 3520 of 4065
| 병렬 객체지향 시스템의 검증 조승모; 김영곤; 배두환; 변성원; 김상택, 정보과학회논문지 : 소프트웨어 및 응용, v.27, no.1, pp.1 - 12, 2000 |
| HDTL을 이용한 병렬 자바 프로그램의 모니터링과 검사 조승모; 김형호; 차성덕; 배두환, 정보과학회논문지 : 소프트웨어 및 응용, v.29, no.6, pp.345 - 354, 2002-06 |
| CBD 방법론 비교 분석 전상욱; 김인규; 김정윤; 윤경아; 배두환, 정보처리학회지, v.10, no.3, pp.30 - 39, 2003-05 |
| Specification and Validation of Dynamic Systems Using Temporal Logic Cho, Seung Mo; Kim, Hyung Ho; Cha, Sung Deok; Bae, Doo Hwan, IEE Proceedings - Software, Vol.148, No.4, pp.135-140, 2001-08 |
| High-level Petri net for incremental analysis of object-oriented system requirements Hong J.-E.; Bae, Doo-Hwan, IEE PROCEEDINGS: SOFTWARE, v.148, no.1, pp.11 - 18, 2001-02 |
| 객체지향 시스템의 클래스에 대한 응집도 채흥석; 권용래; 배두환, 정보과학회논문지:소프트웨어 및 응용, v.26, no.9, pp.1095 - 1104, 1999 |
| UML 객체지향 분석모델의 완전성 및 일관성 진단을 위한 시나리오기반 검증기법 조진형; 배두환, 정보과학회논문지 : 소프트웨어 및 응용, v.28, no.3, pp.211 - 223, 2001-03 |
| An enhanced role model for alleviating the role-binding anomaly Lee, JS; Bae, Doo-Hwan, SOFTWARE-PRACTICE EXPERIENCE, v.32, no.14, pp.1317 - 1344, 2002-11 |
| 객체지향 재공학을 위한 객체 모델 정제 기법 박외진; 민상윤; 배두환; 마평수, 정보과학회논문지(B), v.25, no.10, pp.1506 - 1517, 1998 |
| Managing complexity in object-oriented analysis Ine, SR; Youn, C; Misbah, UM; Lee, KI; Cha, SH; Byoun, BG; Bae, Doo-Hwan, ETRI JOURNAL, v.20, no.2, pp.192 - 213, 1998-06 |
| 소프트웨어 재사용 기술 도입을 위한 모델 기반의 프레임워크 홍장의; 민상윤; 배두환, 정보과학회논문지(B), v.25, no.8, pp.1218 - 1228, 1998 |
| 객체지향 페트리 넷을 이용한 계층적인 요구사항의 명세 및 검증 홍장의; 윤일철; 배두환, 정보과학회논문지 : 소프트웨어 및 응용, v.27, no.2, pp.157 - 167, 2000 |
| 의존 인스턴스 변수를 고려한 클래스 응집도 척도의 개선 채흥석; 권용래; 배두환, 정보과학회논문지 : 소프트웨어 및 응용, v.31, no.9, pp.1131 - 1141, 2004-09 |
| 객체지향 개발방법의 체계적 구성 김형호; 김영곤; 배두환; 김민경; 유병규, 정보과학회논문지 : 소프트웨어 및 응용, v.27, no.5, pp.488 - 498, 2000-05 |
| Ranking documents in thesaurus-based boolean retrieval systems LEE, JOON HO; Kim, Myoung Ho; LEE, YOON JOON, Information Processing & Management, Vol.30, No.1, pp.79-91, 1994-02 |
| Indexing of continuously moving objects on road networks Bok, Kyoung Soo; Yoon, Ho Won; Seo, Dong Min; Kim, Myoung Ho; Yoo, Jae Soo, IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, v.E91D, pp.2061 - 2064, 2008-07 |
| EXTENDING SEMANTICS OF RELATIONAL OPERATORS FOR VAGUE QUERIES Lee, Doheon; Kim, Myoung Ho, MICROPROCESSING AND MICROPROGRAMMING, v.39, no.2-5, pp.165 - 168, 1993-12 |
| A feedback based framework for semi-automic composition of web services Han, Dongsoo; Lee, S; Ko, In-Young, FRONTIERS OF WWW RESEARCH AND DEVELOPMENT - APWEB 2006, PROCEEDINGS BOOK SERIES: LECTURE NOTES IN COMPUTER SCIENCE, v.3841, pp.414 - 424, 2006 |
| Design and experiment of a communication-aware parallel quicksort with weighted partition of processors Moh, S; Yu, C; Han, Dongsoo, COMPUTATIONAL SCIENCE AND ITS APPLICATIONS - ICCSA 2004, PT 4 BOOK SERIES: LECTURE NOTES IN COMPUTER SCIENCE, v.3046, pp.97 - 105, 2004 |
| 웹 서비스 기반 e-비즈니스 응용 프로그램 통합 프레임워크 한동수; 이성독, 정보과학회논문지 : 컴퓨팅의 실제 및 레터, v.11, no.6, pp.514 - 530, 2005-12 |
Discover
Open Access
- 187 OA Article