Showing results 234 to 293 of 316
RASES: A database supported framework for structured model base management Park H.C.; Lee W.B.; Kim, Tag-Gon, SIMULATION PRACTICE AND THEORY, v.5, no.4, pp.289 - 313, 1997-05 |
Real time simulation framework for RT-DEVS models Cho, SM; Kim, Tag-Gon, SIMULATION-TRANSACTIONS OF THE SOCIETY FOR MODELING AND SIMULATION INTERNATIONAL, v.18, no.4, pp.203 - 215, 2001-12 |
Real time simulation framework for RT-DEVS models = RT-DEVS 모델의 실시간 시뮬레이션 환경link Cho, Seong-Myun; 조성면; et al, 한국과학기술원, 2002 |
Real-time DEVS simulation: Concurrent, time-selective execution of combined RT-DEVS model and interactive environment Cho, Seong Myun; Kim, Tag-Gon, SCSC-98, pp.410 - 415, SCSC, 1998-07 |
Real-time Simulation Framework Based on RT-DEVS Formalism Kim, Tag-Gon; Cho, SM, pp.238 - 243, Association for Computing Machinery, 2000-07 |
Realization of the DEVS Formalism In MATLAB/Simulink Kim, Tag-Gon; Seo, KM; Sung, CH, GCMS-2008, pp.251 - 256, 2008-06 |
Realizing System Entity Structure in A Relational Database Kim, Tag-Gon, AI and Simulation Conference 1991, pp.146 - 151, 1991-04 |
Reconfigurable C3 Simulation Framework: Interoperation between C2 and Communication Simulators Kang Bong Gu; Kim, Tag-Gon, 2013 Winter Simulation Conference on Simulation - Making Decisions in a Complex World, pp.2819 - 2830, Winter Simulation Conference, 2013-12-09 |
Relational algebraic framework for management of multifacetted systems = 다측면에서 표현된 시스템군의 구조관리를 위한 관계대수형 틀link Park, Hyu-Chan; 박휴찬; et al, 한국과학기술원, 1995 |
RELATIONAL ALGEBRAIC FRAMEWORK FOR THE MODELING AND ANALYSIS OF PETRI NETS KIM, YC; Kim, Tag-Gon, INFORMATION AND SOFTWARE TECHNOLOGY, v.37, no.10, pp.563 - 571, 1995-10 |
Relational algebraic system entity structure for models management Park, HC; Kim, Tag-Gon, IEE PROCEEDINGS-COMPUTERS AND DIGITAL TECHNIQUES, v.143, no.1, pp.49 - 54, 1996-01 |
Representing Continuous Processes in Discrete Events: A Combined Modeling Approach Kim, Tag-Gon; Jun, KR; Kim, BK, ICSEE'93, pp.85 - 91, 1993-01 |
Requirements Study of a High-Resolution Satellite Image Receiving, Processing and Archiving System Kim, Tag-Gon; Kim, Taejung; Hong, Min Nyo, ISRS, pp.25 - 30, 1999-11 |
Reusability measure of DEVS simulation models in DEVSim++ environment Choi, Y.; Kim, Tag-Gon, Enabling Technology for Simulation Science, pp.244 - 255, SPIE, 1997-04-22 |
RTI-RTI 간 연동 환경을 위한 FOM 통합 프로세스 권세중; Kim, Tag-Gon; 유민욱, 한국시뮬레이션학회 '16 추계학술대회, 한국시뮬레이션학회, 2016-10-28 |
Safe memory read-path using silent CRC calculation of binary bit-inversion for low-power fast ROM integrity verifcation Park, Daejin; Kim, Tag-Gon, The 3rd IEEE International Conference on Consumer Electronics, IEEE, 2013-09-10 |
Safety Analysis of Computer-Controlled Real-Time Systems with Message Loss Using Communicating DEVS Models Song, H.; Kim, Tag-Gon, AsiaSim 2012, Part I, Communications in Computer and Information Science, pp.480 - 489, AsiaSim, 2012-10 |
Serious game development methodology by via interoperation between a constructive simulator and a game application using HLA/RTI Choi, Chang beom; Seok, Moon Gi; Choi, Seon Han; Kim, Tag-Gon; Kim, Soo han, The 10th International Multidisciplinary Modeling & Simulation Multiconference 2013, I3M, 2013-09-27 |
Simulating Message-Routing Algorithms for Hypercube Using DEVSIM++ Kim, Tag-Gon; Ahn, Myung S, OOS'93, pp.137 - 142, 1993-01 |
Simulation Based Evaluation of Parallel Join Algorithm Kim, Tag-Gon; Choi, Hwang K.; Park, Ung K., SCSC'93, pp.131 - 136, 1993-07 |
Simulation Speedup for DEVS Models By Composition-based Compilation Kim, Tag-Gon; Lee, Wan Bok, Summer Computer Simulation 2003, 2003-07 |
Simulation-based optimization for design parameter exploration in hybrid system = 하이브리드 시스템의 최적 설계 파라미터 탐색을 위한 시뮬레이션 기반 최적화 기법 연구link Hong, Jeong-Hee; 홍정희; et al, 한국과학기술원, 2013 |
Simulation-based optimization for design parameter exploration in hybrid system: a defense system example Hong, Jeong-Hee; Seo, Kyung-Min; Kim, Tag-Gon, SIMULATION-TRANSACTIONS OF THE SOCIETY FOR MODELING AND SIMULATION INTERNATIONAL, v.89, no.3, pp.362 - 380, 2013-03 |
Specification of multi-resolution modeling space for multi-resolution system simulation Hong, Su-Youn; Kim, Tag-Gon, SIMULATION-TRANSACTIONS OF THE SOCIETY FOR MODELING AND SIMULATION INTERNATIONAL, v.89, pp.28 - 40, 2013-01 |
Speculative loop pipelining in automatic binary translation for hardware acceleration = 하드웨어 가속을 위한 자동 이진 변환에서의 추론적 루프 파이프라이닝link Oh, Se-jong; 오세종; et al, 한국과학기술원, 2008 |
Speculative loop-pipelining in binary translation for hardware acceleration Oh, S; Kim, Tag-Gon; Cho, J; Bozorgzadeh, E, IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, v.27, pp.409 - 422, 2008-03 |
Storage offset assignment for execution time improvement in digital signal processor = 디지털 신호 처리기에서 실행시간 개선을 위한 스토리지 위치 할당link Park, Dae-Jin; 박대진; et al, 한국과학기술원, 2003 |
SYSTEM ENTITY STRUCTURING AND MODEL BASE MANAGEMENT Kim, Tag-Gon; LEE, C; CHRISTENSEN, ER; ZEIGLER, BP, IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS, v.20, no.5, pp.1013 - 1024, 1990-10 |
System of Systems Approach to Formal Modeling of CPS for Simulation-Based Analysis Lee, Kyou Ho; Hong, Jeong Hee; Kim, Tag-Gon, ETRI JOURNAL, v.37, no.1, pp.175 - 185, 2015-02 |
Systematic design space representation scheme for efficient exploration of ASIP = ASIP 설계 공간의 효과적인 탐색을 위한 설계 공간 표현 기법link Kim, Jun-Kyoung; 김준경; et al, 한국과학기술원, 2006 |
Temporal partitioning to amortize reconfiguration overhead for dynamically reconfigurable architectures Kim, Jin-Hwan; Cho, Jeong-Hun; Kim, Tag-Gon, IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, v.E90D, pp.1977 - 1985, 2007-12 |
Temporal partitioning to amortize reconfiguration overhead for dynamically reconfigurable architectures = 동적 재구성 아키텍처의 재구성 오버헤드를 줄이기 위한 시간적 분할 기법link Kim, Jin-Hwan; 김진환; et al, 한국과학기술원, 2008 |
The Development of a Highly Portable and Low Cost SPOT Imange Receiving System Kim, Tag-Gon; Choi, Wookhyn; Shin, Dongseok, ISRS, pp.25 - 30, 1999-11 |
The DEVS Formalism: A Framework for Logical Analysis and Performance Evaluation for Discrete Event Systems Hong, Gyung Pyo; Kim, Tag-Gon, AIS'94, pp.170 - 175, IEEE, 1994-12 |
The DEVS Formalism:Hierarchical Modular Systems Specification in C++ Kim, Tag-Gon; Park, Sung B., 1992 European Simulation Multiconference, pp.152 - 156, 1992-06 |
The DEVS Formalism:Hierarchical, Modular System Specification in an Object Oriented Framework Kim, Tag-Gon; Zeigler, B.P., Proc in 1987 Winter Computer Simulation Conference, pp.559 - 566, 1987-12 |
The DEVS framework for Discrete Event Systems Control Song, Hae Sang; Kim, Tag-Gon, Fifth Annual Conference on AI, Simulation, and Planning in High Autonomy Systems, pp.228 - 234, IEEE, 1994-12 |
THE ROLE OF POLYMORPHISM IN CLASS EVOLUTION IN THE DEVS-SCHEME ENVIRONMENT Kim, Tag-Gon, Winter Computer Simulation Conference, pp.401 - 406, IEEE, 1990-12 |
Tiled panoramic video transmission system based on MPEG-DASH Lim, Seong Yong; Seok, Joo Myoung; Seo, Jeongil; Kim, Tag-Gon, 6th International Conference on Information and Communication Technology Convergence, ICTC 2015, pp.719 - 721, Institute of Electrical and Electronics Engineers Inc., 2015-10 |
Time Management In Hierarchical Federation Using RTI-RTI Interoperation Yoo, Min Wook; Choi, Changbeom; Kim, Tag-Gon, 2013 Winter Simulation Multiconference, Winter Simulation Conference, 2013-12-09 |
Timed I/O test sequences for discrete event model verification Hong, Ki-Jung; Kim, Tag-Gon, ARTIFICIAL INTELLIGENCE AND SIMULATION BOOK SERIES: LECTURE NOTES IN COMPUTER SCIENCE, v.3397, pp.275 - 284, 2004 |
Top-down retargetable framework with token-level design for accelerating simulation speed of processor architecture Kim, JK; Kim, HY; Kim, Tag-Gon, IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, v.E86A, pp.3089 - 3098, 2003-12 |
Towards an implementation of a knowledge-based system design and simulation environment Rozenblit, Jerzy W.; Kim, Tag-Gon; Zeigler, Bernard P., Proc in 1988 Winter Computer Simulation Conf, pp.226 - 230, Association for Computing Machinery (ACM), 1988-12 |
Trace-Driven Hybrid Simulation Methodology for Simulation Speedup: Rapid Evaluation of a Pipelined Processor Kim, Tag-Gon; Kim, Ho Young, Society for Modeling and Computer Simulation International, pp.185 -, Society for Computer Simulation International, 2004-07 |
Trace-driven performance simulation modeling for fast evaluation of multimedia processor by simulation reuse Kim, HY; Kim, Tag-Gon, IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, v.E88A, pp.3306 - 3314, 2005-12 |
Trace-driven performance simulation modeling for fast evaluation of multimedia processor by simulation reuse = 트레이스 기반의 시뮬레이션 재사용을 이용한 멀티미디어 프로세서의 빠른 평가를 위한 성능 시뮬레이션 모델링link Kim, Ho-Young; 김호영; et al, 한국과학기술원, 2006 |
Trace-driven Rapid Pipeline Architecture Evaluation Scheme for ASIP Design Kim, Tag-Gon; Kim, Jun Kyoung, Asia South Pacific Design Automation Conference(ASP-DAC2003), pp.129 - 134, 2003-01 |
Transformation method of three-dimensional object points onto two-dimensional image points for linear pushbroom images Kim, Tae Jung; Shin, Dong Seok; Kim, Tag-Gon |
UNIFORM PARTITIONING OF RELATIONS USING HISTOGRAM EQUALIZATION FRAMEWORK - AN EFFICIENT PARALLEL HASH-BASED JOIN PARK, UK; CHOI, HK; Kim, Tag-Gon, INFORMATION PROCESSING LETTERS, v.55, no.5, pp.283 - 289, 1995-09 |
Using System Entity Structure For Hierarchical Scheduling In An Intelligent Control System Kim, Tag-Gon, European Symposium for Intelligent Control, pp.109 - 114, European Symposium for Intelligent Control, 1990-11 |
Using the CESM Shell to Classify Wafer Defects from Visual Data Chi, Sungd-Do; Zeigler, Bernard P.; Kim, Tag-Gon, SPIE 89, pp.66 - 70, SPIE, 1989-11 |
Variable structure modelling methodology: An adaptive computer architecture example Zeigler, Bernard P.; Kim, Tag-Gon; Lee, Chilgee, TRANSACTIONS OF THE SOCIETY FOR COMPUTER SIMULATION, v.7, no.4, pp.291 - 319, 1990-12 |
Verification Methodology for Simulation Model based on System Morphism Choi, Chang-Beom; Kim, Tag-Gon, DHSS‘ 2011, DHSS, 2011-09 |
Verification of the DEVS Model Implementation using Aspect Embedded DEVS Byun, Jong Hyuk; Choi, Chang Beom; Kim, Tag-Gon, 2009 Sping Simulation MultiConference, 2009 Sping Simulation MultiConf, 2009-03 |
Web을 기반으로 한 DEVS 모델의 시뮬레이션 환경 = Web-based environment for simulation of DEVS modelslink 조정훈; Cho, Jeong-Hun; et al, 한국과학기술원, 1998 |
가설 검증법을 적용한 확률적 시뮬레이션 기반의 파레토 최적화 Choi, SeonHan; 이상현; Kim, Tag-Gon, 한국시뮬레이션학회 '16 춘계공동학술대회, 한국시뮬레이션학회, 2016-04-15 |
관점 지향 시뮬레이션 프레임워크를 통한 효율적인 DEVS 의미론 확장 방법론 연구 권세중; 최창범; Kim, Tag-Gon, 한국시뮬레이션학회 '16 춘계공동학술대회, 한국시뮬레이션학회, 2016-04-15 |
관점지향프로그래밍을 적용한 DEVSim++기반 시뮬레이션 프로그램의 자동 검증 방법론 연구 = Automatic verification of DEVSim++ simulation programs using aspect-oriented programminglink 변종혁; Byun, Jong-Hyuk; et al, 한국과학기술원, 2009 |
다양한 요구조건을 만족하는 디자인을 찾기 위한 효율적인 알고리즘 Choi, SeonHan; Kim, Tag-Gon, 한국시뮬레이션학회 '16 추계학술대회, 한국시뮬레이션학회, 2016-10-28 |
데이터 관리 정책과 저장 장치 성능 분석을 위한 재구성 용이한 HDFS 시뮬레이션 환경 = Reconfigurable HDFS simulation environment for performance analysis of data management policy and storage devicelink 이순주; Lee, Sun-Ju; et al, 한국과학기술원, 2014 |
Discover