Seung Mo Cho

According to our database, Seung Mo Cho authored at least 10 papers between 1996 and 2010.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2010

OpenCL and parallel primitives for digital TV applications.

Seung Mo Cho, D. W. Im, O. Y. Jang, Hyo Jung Song, Brent Paulovicks, Vadim Sheinin, Hangu Yeo

IBM J. Res. Dev., 2010

An OpenCL framework for heterogeneous multicores with local memory.

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

Proceedings of the 19th International Conference on Parallel Architectures and Compilation Techniques, 2010

2009

Parallelization and analysis of speech recognition on mobile multi-core processor.

Seung Mo Cho, Dong-Woo Im, Hyo-Jung Song

Proceedings of the 6th IEEE Consumer Communications and Networking Conference, 2009

2006

Checking Liveness Properties of Concurrent Systems by Reinforcement Learning.

Tadashi Araragi, Seung Mo Cho

Proceedings of the Model Checking and Artificial Intelligence, 4th Workshop, 2006

2004

Lightweight Specification-based Testing of Memory Cards: A Case Study.

Seung Mo Cho, Jae Wook Lee

Proceedings of the Workshop on Model Based Testing, 2004

2002

A semantics of sequence diagrams.

Seung Mo Cho, Hyung-Ho Kim, Sung Deok Cha, Doo-Hwan Bae

Inf. Process. Lett., 2002

2001

Extending the SCR Method for Real-Time Systems.

Hyoung Seok Hong, Seung Mo Cho, Sung Deok Cha, Yong Rae Kwon

Real Time Syst., 2001

Specification and validation of dynamic systems using temporal logic.

Seung Mo Cho, Hyung Ho Kim, Sung Deok Cha, Doo-Hwan Bae

IEE Proc. Softw., 2001

1999

Applying Model Checking to Concurrent Object-Oriented Software.

Seung Mo Cho, Doo-Hwan Bae, Sung Deok Cha, Young Gon Kim, Byung Kyu Yoo, Sang Taek Kim

Proceedings of the Fourth International Symposium on Autonomous Decentralized Systems, 1999

1996

Safety Analysis Using Coloured Petri Nets.

Seung Mo Cho, Hyoung Seok Hong, Sung Deok Cha

Proceedings of the 3rd Asia-Pacific Software Engineering Conference (APSEC '96), 1996