Showing results 204 to 263 of 316
New Insight into Doctrine via Simulation Interoperation of Heterogeneous Levels of Models in Battle Experimentation Kim, Jeong-Hoon; Moon, Il-Chul; Kim, Tag-Gon, SIMULATION-TRANSACTIONS OF THE SOCIETY FOR MODELING AND SIMULATION INTERNATIONAL, v.88, no.6, pp.649 - 667, 2012-06 |
Object-oriented memory management in DEVSIM++ Kim, Young C.; Ham, Kyung S.; Kim, Tag-Gon, Proceedings of the Winter Simulation Conference, pp.670 - 673, ACM, 1993-12 |
Objective-driven DEVS Modeling Using OPI Matrix for Performance Evaluation of Discrete Event Systems Kim, Tag-Gon; Sung, Chang Ho, SCSC-2007, pp.305 - 311, 2007-08 |
OpenDEVS: A Proposal for a Standard DEVS Model Exchange Format Kim, Tag-Gon; Tomas, C.; Luckhoff, H., AIS'96, pp.371 - 377, 1996-03 |
Operation Concepts and Requirements for Image Receiving, Processing and Distribution System - Towards 300 Mbps Down-link data Rate and 1m Resolution Kim, Tag-Gon; Kim, Taejung; Lee, Young-Ran; Hong, Min Nyo, Asian Conference on Remote Sensing, 1999-11 |
Optical Engineering Simulator Development for Efficient Design of MILES Gear Choi, Seon Han; Choi, Chang Beom; Kim, Tag-Gon, The 12th International Multidisciplinary Modeling & Simulation Multiconference, I3M, 2015-09-22 |
Optimal Subset Selection of Stochastic Model Using Statistical Hypothesis Test Choi, Seon Han; Kim, Tag-Gon, IEEE Transactions on Systems, Man, and Cybernetics: Systems, v.48, no.4, pp.557 - 564, 2018-04 |
Optimization of Model Execution Time in theDEVSim++ Environment Kim, Tag-Gon; Kim, Yeong Geol; Ahn, Myung Soo, Eurpean Simulation Symposium, pp.215 - 219, 1997-10 |
Ordering method for reducing state space in compositional verification Lee, Wan Bok; Kim, Tag-Gon, 1999 IEEE International Conference on Systems, Man, and Cybernetics 'Human Communication and Cybernetics', v.1, pp.0 - 0, IEEE, 1999-10-12 |
Ordering of simultaneous events in distributed DEVS simulation Kim K.H.; Seong Y.R.; Kim, Tag-Gon; Park K.H., SIMULATION PRACTICE AND THEORY, v.5, no.3, pp.253 - 265, 1997-03 |
Packing scheme for mean-filtering of an 8 bit image Seong, YR; Kim, Tag-Gon; Park, Kyu Ho, ELECTRONICS LETTERS, v.32, no.1, pp.29 - 30, 1996-01 |
Parallel and Distributed Framework for Standalone Monte Carlo Simulation using MapReduce Kim, Byeong Soo; Kim, Tag-Gon; Song, Hae Sang, INDIAN JOURNAL OF SCIENCE AND TECHNOLOGY, v.8, no.25, 2015-10 |
Parallel Discrete Event Simulation for DEVS Cellular Models using a GPU Seok, M.; Kim, Tag-Gon, 2012 Spring Simulation Multiconference, High Performance Computing Symposium (HPC), Spring Simulation Multiconference, 2012-03 |
Parallel Simulation of Bounded Petri Nets in Single Processor Kim, Tag-Gon; Kim, Young Chan; Kwon, In Sup, SCSC, SCSC, 1999-07 |
Parallel Simulation of Hierarchical Modular DEVS Models: A Modified Time Warp Approach SEONG, YEONG RAK; JUNG, SUNG HOON; Kim, Tag-Gon; Park, Kyu Ho, INTERNATIONAL JOURNAL IN COMPUTER SIMULATION, v.5, no.3, pp.263 - 285, 1995-01 |
Parallel simulation-assisted on-chip glitch filter placement for safe microcontroller in noisy environment Seok, Moon Gi; Kim, Tag-Gon; Park, Dae Jin, ADVANCED SCIENCE LETTERS, v.23, no.3, pp.1547 - 1551, 2017-03 |
Parallel simulstion of hierarchical, modular discrete event models = 계층적으로 모듈화된 이산사건 모델의 병렬 시뮬레이션link Seong, Yeong-Rak; 성영락; Park, Kyu-Ho; Kim, Tag-Gon; et al, 한국과학기술원, 1995 |
Parametric Behavior Modeling Framework for War Game Models Development Using OO Co-Modeling Methodology Kim, Jae-Hyun; Kim, Tag-Gon, 2006 Sping Simulation MultiConf., pp.69 - 75, ACM, 2006-04 |
Pareto set selection for multiobjective stochastic simulation model Choi, Seon Han; Kim, Tag-Gon, IEEE TRANSACTIONS ON SYSTEMS MAN CYBERNETICS-SYSTEMS, v.50, no.11, pp.4256 - 4269, 2020-11 |
Partial match file design in multidisk systems = 멀티디스크 시스템을 위한 partial match 화일 설계link Kim, Jeong-Uk; 김정욱; et al, 한국과학기술원, 1993 |
Performance evaluation of concurrent system using formal model: Simulation speedup Lee, WB; Kim, Tag-Gon, IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, v.E86A, no.11, pp.2755 - 2766, 2003-11 |
Performance Evaluation of Congestion Control on Interworking Conventional LANs with B-ISDN Kim, Tag-Gon; Nam, Jiseung S.; Son, Chang W., SCSC'94, pp.175 - 180, 1994-07 |
Performance Evaluation of Qualtile-select Based Partition for Parallel Joins in Hypercube Computer System Kim, Tag-Gon; Kim, Heung-Shik, SCSC'94, pp.87 - 92, 1994-07 |
Performance Modeling and Analysis of Distributed Access Network System Using DEVSim++ Lee, Kyou Ho; Kim, Tag-Gon, Fifth Annual Conference on AI, Simulation, and Planning in High Autonomy Systems, pp.235 - 241, IEEE, 1994-12 |
Performance simulation modeling for fast evaluation of pipelined scalar processor by evaluation reuse Kim, H.Y.; Kim, Tag-Gon, 42nd Design Automation Conference, DAC 2005, pp.341 - 344, 2005-06-13 |
Petri nets modeling and analysis using extended bag-theoretic relational algebra Kim, YC; Kim, Tag-Gon, IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART B-CYBERNETICS, v.26, no.4, pp.599 - 605, 1996-08 |
Petri nets modeling in bag-theoretic relational algebra for large-scale systems analysis = 대규모 시스템 분석을 위한 페트리네트의 중복허용 관계대수형 모델링link Kim, Young-Chan; 김영찬; et al, 한국과학기술원, 1995 |
Proposal of high level architecture extension Kim, Jae-Hyun; Kim, Tag-Gon, ARTIFICIAL INTELLIGENCE AND SIMULATION BOOK SERIES: LECTURE NOTES IN COMPUTER SCIENCE, v.3397, pp.128 - 137, 2004 |
Proposal of high level architecture extension and run-time infrastructure implementation = High level architecture 확장 방안의 제안과 run-time infrastructure 의 구현link Kim, Jae-Hyun; 김재현; et al, 한국과학기술원, 2006 |
Quantile-selection based data partition for parallel joins in hypercube database computers = 병렬 결합 연산에서 변량표본값 선택을 이용한 데이타 분할기법link Kim, Heung-Shik; 김흥식; et al, 한국과학기술원, 1995 |
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 |
Discover