Browse "School of Computing(전산학부)" by Title 

Showing results 10261 to 10280 of 16048

10261
Systematic evaluation of fault trees using real-time model checker = 실시간 모델 체커를 이용한 폴트 트리의 체계적 검증link

Jee, Eun-Kyoung; 지은경; Bae, Doo-Hwan; Cha, Sung-Deok; et al, 한국과학기술원, 2001

10262
Systematic functional decomposition in a product line using aspect-oriented software development: A case study

Marew, T; Kim, J; Bae, Doo-Hwan, INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, v.17, no.1, pp.33 - 55, 2007-02

10263
Systematic Software Product Line Test Case Derivation for Test Data Reuse

Kang, Sung Won; Baek, Hae Un; Kim, Jung Min; Lee, Ji Hyun, 2015 IEEE 39th Annual Computer Software and Applications Conference (COMPSAC), pp.433 - 440, IEEE, 2015-07-01

10264
Systematic software testing approaches for specification and maintenacne phases = 명세와 유지보수 단계를 위한 체계적인 소프트웨어 테스팅 접근방법link

Chung, In-Sang; 정인상; et al, 한국과학기술원, 1993

10265
Systematic Testing of Reactive Software with Non-deterministic Events: A Case Study on LG Electric Oven

Park, Yongbase; Hong, Shin; Kim, Moonzoo; Lee, Dongju; Cho, Junhee, International Conference on Software Engineering (ICSE), IEEE Computer Society and ACM SIGSOFT, 2015-05-20

10266
Systemic-functional 문법에 기반한 한국어 문장 생성 = Korean sentence generation based on systemic-functional grammarlink

김정은; Kim, Jung-Eun; et al, 한국과학기술원, 2002

10267
Systolic array algorithm for the Hofpield neural network guaranteeing convergence

Eun, S.; Kim, J. S.; Maeng, S. R.; Yoon, H., Electronics Letters, vol.29, no.7, pp.609-611, 1993

10268
SYSTOLIC ARRAY ALGORITHM FOR THE HOPFIELD NEURAL-NETWORK GUARANTEEING CONVERGENCE

EUN, S; KIM, JS; Maeng, SeungRyoul; Yoon, Hyunsoo, ELECTRONICS LETTERS, v.29, no.7, pp.609 - 611, 1993-04

10269
T-ReX: Interactive Global Illumination of Massive Models on Heterogeneous Computing Resources

Kim, Tae-Joon; Sun, Xin; Yoon, Sung-Eui, IEEE TRANSACTIONS ON VISUALIZATION AND COMPUTER GRAPHICS, v.20, no.3, pp.481 - 494, 2014-03

10270
T5 모델을 활용한 정밀도 높은 data-to-text 생성 방법론

황예찬; 임진수; 이영준; 김일훈; 오교중; 최호진, 2022 한국소프트웨어종합학술대회, 한국정보과학회, 2022-06-30

10271
Ta-Tap: consecutive distant tap operations for one-handed touch screen use

Heo, Seongkook; Lee, Geehyuk, User Interface Software and Technology (UIST), pp.91 - 92, ACM, 2013-10-08

10272
Table Driven Proportional Access based Real-Time Ethernet

Kim, Daeyoung; Doh , Y; Lee, Y, PRDC'01, pp.0 - 0, 2001-12

10273
Table Redundancy Method for Protecting Against Fault Attacks

Lee, Seungkwang; Jho, Nam-su; Kim, Myung-Chul, IEEE ACCESS, v.9, pp.92214 - 92223, 2021-07

10274
Tabular parsing 방법과 접속 정보를 이용한 한국어 형태소 분석기 = A morphological analyzer for korean language with tabular parsing method and connectivity informationlink

김성용; Kim, Seong-Yong; et al, 한국과학기술원, 1987

10275
Tabular Parsing 방법과 접속정보를 이용한 한국어 형태소 분석기

김길창, 1987 년도 춘계 인공지능학술발표회 논문집, pp.133 - 147, 1987

10276
Tactics based approach for integrating non-functional requirements in object-oriented analysis and design

Marew, T; Lee, JS; Bae, Doo-Hwan; Lee, JS, JOURNAL OF SYSTEMS AND SOFTWARE, v.82, no.10, pp.1642 - 1656, 2009-10

10277
Tactics based approach for integrating non-functional requirements in object-oriented analysis and design = 객체지향 분석 및 설계에서 비기능적 요구사항 통합을 위한 전략기반 접근방법link

Zewdie, Tegegne Marew; Tegegne M.Z.; et al, 한국과학기술원, 2014

10278
Tactile feedback for button GUI on touch devices

Shin, Heesook; Lim, Jeong-Mook; Lee, Jong-uk; Kyung, Ki-Uk; Lee, Geehyuk, CHI '12: CHI Conference on Human Factors in Computing Systems, pp.2633 - 2636, ACM Special Interest Group on Computer-Human Interaction (SIGCHI), 2012-05-10

10279
Tailoring a large-sized software process using process slicing and case-based reasoning technique

Park, Seung-Hun; Bae, Doo-Hwan, IET SOFTWARE, v.7, no.1, pp.47 - 55, 2013-02

10280
Tailoring and Verifying Software Process

Yoon, Il-Chul; Min, Sang-Yoon; Bae, Doo-Hwan, Asia Pacific Software Engineering Conference, pp.202 - 209, IEEE, 2001-12

Discover

rss_1.0 rss_2.0 atom_1.0