2014-07 | Model-based Automated Testing using a Record-Replay Mechanism | 유민수 |
2016-03 | Model-based Replay Testing for Event-driven Software | 유민수 |
2015-07 | Multiprocessor MMIO Tracing via Memory Protection and a Shadow Page Table | 유민수 |
2015-07 | Optimized projection patterns for stereo systems | 유민수 |
2019-02 | Pay Migration Tax to Homeland: Anchor-based Scalable Reference Counting for Multicores | 유민수 |
2014-09 | Performance Evaluation of the SSD-based Swap System for Big Data Processing | 유민수 |
2015-07 | Proportional Share Scheduling employing Performance-aware Virtual Time in Multiprocessor Systems | 유민수 |
2014-10 | Real-Time Priority Assignment for AUTOSAR-based Systems with Time-Driven Synchronization | 유민수 |
2014-01 | A Sequentializing Device Driver for Optimizing Random Write Performance of eSSD | 유민수 |
2011-06 | SMP(Symmetric Multiprocessing) 커널과 마스터-슬레이브 커널 구조의 시스템콜 성능 비교 | 유민수 |
2011-06 | Software Product Families 을 위한 Variability 관리 방법과 도구에 관한 연구 | 유민수 |
2013-05 | Software-Based Fault Detection and Recovery for Cyber-Physical Systems | 유민수 |
2014-10 | TASEL: Dynamic Taint Analysis with Selective Control Dependency | 유민수 |
2013-05 | Understanding and Extending AUTOSAR BSW for Custom Functionality Implementation | 유민수 |
2015-08 | 공공컨설팅프로세스 표준화모델(Public-CPSM) 개발과 이를 적용한 국가 생물안전관리 체계 설계와 이행 사례연구 | 유민수 |
2013-11 | 위치 정보를 이용한 PCGN(Proximity Car Group Network) 동적 관리 알고리즘 | 유민수 |
2007-08 | 지속가능한 도시개발지표 설정에 관한 연구 | 유민수 |
2011-10 | 하드웨어 성능 카운터와 디버깅 기능을 이용한 리코드-리플레이 방법 | 유민수 |