Seung Mo Cho先生
人员信息
其他同名人员
优化列表
2010 – 2019
2010 【j4】 Seung Mo Cho先生 , D.W.进口 , O.Y.Jang先生 , 宋孝贞 , 布伦特·保罗维克斯 , 瓦迪姆·谢宁 , 杨汉古 :
用于数字电视应用程序的OpenCL和并行原语。 IBM J.研究开发。 54 ( 5 ) : 7 ( 2010 ) 【c6】 李政宰 , 金正元(Jungwon Kim) , Sangmin Seo先生 , Seungkyun Kim先生 , 郑和公园 , 金红玉 , Thanh Tuan道 , 赵永进(Yongjin Cho) , 宋钟硕(Sung Jong Seo) , Seung Hak Lee先生 , Seung Mo Cho先生 , 宋孝忠(Hyo Jung Song) , 桑布姆苏 , Jong-Deok Choi先生 :
用于具有本地内存的异构多核的OpenCL框架。 PACT公司 2010 : 193-204
2000 – 2009
2009 【c5】 Seung Mo Cho先生 , 董宇Im , 宋孝忠 :
在移动多核处理器上进行语音识别的并行化和分析。 中国北卡罗来纳州 2009 : 1-2 2006 【c4】 塔达希·阿拉拉吉 , Seung Mo Cho先生 :
通过强化学习检查并发系统的活性属性。 MoChArt公司 2006 : 84-94 2004 【c3】 Seung Mo Cho先生 , 李在旭 :
基于轻量级规范的存储卡测试:案例研究。 MBT公司 2004 : 73-91 2002 [j3] Seung Mo Cho先生 , Hyung-Ho Kim(金贤浩) , 宋德查 , 斗焕裴 :
序列图的语义。 信息处理。 莱特。 84 ( 三 ) : 125-130 ( 2002 ) 2001 [注2] Seung Mo Cho先生 , Hyung Ho Kim(金贤浩) , 宋德查 , 斗焕裴 :
使用时序逻辑对动态系统进行规范和验证。 IEE程序。 柔和。 148 ( 4 ) : 135-140 ( 2001 ) [j1] Hyoung Seok Hong先生 , Seung Mo Cho先生 , 宋德查 , 永瑞权(Yong Rae Kwon) :
将SCR方法扩展到实时系统。 实时系统。 20 ( 1 ) : 27-49 ( 2001 )
1990 – 1999
1999 【c2】 Seung Mo Cho先生 , 斗焕裴 , 宋德查 , 年轻的Gon Kim , 炳圭佑 , Sang Taek Kim先生 :
将模型检查应用于并发面向对象软件。 ISADS公司 1999 : 380-383 1996 【c1】 Seung Mo Cho先生 , Hyoung Seok Hong先生 , 宋德查 :
使用彩色Petri网进行安全分析。 亚太经合组织 1996 : 176-193