Showing results 16 to 31 of 31
Efficient Construction of Over-Approximated CFG on Esterel Kim, Chul-Joo; Yun, Jeong-Han; Seo, Sunae; Choe, Kwang-Moo; Han, Taisook, The KIISE Korea Computer Congress 2009, pp.379 - 380, 2009 |
Fault Tolerant Wormhole Routing in 2D Mesh with Overlapped Solid Fault Regions Kim, Seong-Pyo; Han, Taisook, 8th IEEE Symposium on Parallel Distributed Processing, IEEE, 1996 |
Hardware/Software Codesign with Push-Pull Interface Son, Choonho; Yun, Jeong-Han; Kim, Gun-Woo; Han, Taisook, The 5th Asia Pacific International Symposium on Information Technology, pp.55 - 58, 2006-01-01 |
Hardware/Software Interface Generation for Embedded System using Hardware Interface Automata Son, Choonho; Yun, Jeon-Han; Kang, Hyun-Goo; Han, Taisook, Proceedings of the 4th International Conference on Asian Language Processing and Information Technology, pp.213 - 218, 2005-06-01 |
Modular Analysis for Schizophrenia in Esterel Yun, Jeong-Han; Hwang, Joonhyung; Han, Taisook, The 1st Jeju Conference on Computer and Information Science (JCCIS), pp.113 - 117, The 1st Jeju Conference on Computer and Information Science (JCCIS), 2010 |
Move and Smooth Routing Algorithms on Mesh-connected Computers Han, Taisook; Stanat, Donald F., 28th Annual Allerton Conference on Communication,control, and Computing, pp.236 - 243, 1990 |
Object-oriented VRML for multi-user environments Park, Sungwoo; Han, Taisook, 2nd Symposium on the Virtual Reality Modeling Language, VRML 1997, pp.25 - 32, 1997-02-24 |
Refining schizophrenia via graph reachability in esterel Yun, Jeong-Han; Kim, Chul-Joo; Seo, Sunae; Han, Taisook; Choe, Kwang-Moo, 2009 7th IEEE-ACM International Conference on Formal Methods and Models for Co-Design, MEMOCODE '09, pp.18 - 27, IEEE, 2009-07-13 |
SCV: Structure and constant value based binary diffing Park, Heewan; Choi, Seokwoo; Seo, Sunae; Han, Taisook, 2nd International Conference on Information Security and Assurance, ISA 2008, pp.32 - 35, IEEE, 2008-04-24 |
Surface-based Scene Description Method with Abstract3D and X3D Choi, Seokwoo; Han, Taisook, Proceedings of the 4th International Conference on Asian Language Processing and Information Technology, pp.477 - 481, 2005-06-01 |
The Design Principles of Object-Oriented VRML Park, Sungwoo; Han, Taisook, Object-Orientation Workshop in VRML 98, 1998 |
Verifying Safety of File-like Resources by Resource Allocation Matrix Eo, Hyunjun; Kang, Hyun-Goo; Choe, Kwang-Moo; Han, Taisook, Proceedings of the 4th International Conference on Asian Language Processing and Information Technology, pp.387 - 392, 2005-06-01 |
Visualization of Path Expressions in a Visual Object-Oriented Database Query Language Kim, Jeonghee; Han, Taisook; Lee, Suk Kyoon, 6th International Conference on Database Systems for Advanced Applications, 6th International Conference on Database Systems for Advanced Applications, 1999-04 |
ZG-machine: a space efficient G-machine Woo, Gyun; Han, Taisook, 1st Scottish Functional Programming Workshop, pp.377 - 386, 1999 |
소프트웨어 몽타주: 디지털 포렌식 수사를 위한 유사 소프트웨어 탐지 기법 박희완; Han, Taisook, 한국정보과학회 2009년 추계학술발표대회, 한국정보과학회, 2009-11-28 |
정적 트레이스 기반의 자바 버스마킹 기법(Static Trace based Java Birthmarking Technique) Park, Heewan; Lim, Hyun-il; Choi, Seokwoo; Han, Taisook, 제29회 한국정보처리학회 춘계학술발표대회, pp.281 - 284, 한국정보처리학회, 2008 |
Discover