 | 2010 |
|---|
| 9 |       | Jaejin Lee,
Jungwon Kim,
Sangmin Seo,
Seungkyun Kim,
Jung-Ho Park,
Honggyu Kim,
Thanh Tuan Dao,
Yongjin Cho,
Sung Jong Seo,
Seung Hak Lee,
Seung Mo Cho,
Hyo Jung Song,
Sang-Bum Suh,
Jong-Deok Choi:
An OpenCL framework for heterogeneous multicores with local memory.
PACT 2010: 193-204 |
| 8 | | Seung Mo Cho,
D. W. Im,
O. Y. Jang,
Hyo Jung Song,
Brent Paulovicks,
Vadim Sheinin,
Hangu Yeo:
OpenCL and parallel primitives for digital TV applications.
IBM Journal of Research and Development 54(5): 7 (2010) |
| 2006 |
|---|
| 7 | | Tadashi Araragi,
Seung Mo Cho:
Checking Liveness Properties of Concurrent Systems by Reinforcement Learning.
MoChArt 2006: 84-94 |
| 2005 |
|---|
| 6 | | Seung Mo Cho,
Jae Wook Lee:
Lightweight Specification-based Testing of Memory Cards: A Case Study.
Electr. Notes Theor. Comput. Sci. 111: 73-91 (2005) |
| 2002 |
|---|
| 5 | | Seung Mo Cho,
Hyung-Ho Kim,
Sung Deok Cha,
Doo-Hwan Bae:
A semantics of sequence diagrams.
Inf. Process. Lett. 84(3): 125-130 (2002) |
| 2001 |
|---|
| 4 |  | Seung Mo Cho,
H. H. Kim,
Sung Deok Cha,
Doo-Hwan Bae:
Specification and validation of dynamic systems using temporal logic.
IEE Proceedings - Software 148(4): 135-140 (2001) |
| 3 | | Hyoung Seok Hong,
Seung Mo Cho,
Sung Deok Cha,
Yong Rae Kwon:
Extending the SCR Method for Real-Time Systems.
Real-Time Systems 20(1): 27-49 (2001) |
| 1999 |
|---|
| 2 | | Seung Mo Cho,
Doo-Hwan Bae,
Sung Deok Cha,
Young Gon Kim,
Byung Kyu Yoo,
Sang Taek Kim:
Applying Model Checking to Concurrent Object-Oriented Software.
ISADS 1999: 380-383 |
| 1996 |
|---|
| 1 | | Seung Mo Cho,
Hyoung Seok Hong,
Sung Deok Cha:
Safety Analysis Using Coloured Petri Nets.
APSEC 1996: 176-193 |
Data released under the ODC-BY 1.0 license — See also our legal information page