摘要
G.Frehse、C.Le Guernic、A.Donzé、S.Cotton、R.Ray、O.Lebeltel、R.Ripado、A.Girard、T.Dang和O.Maler。 Spaceex:混合系统的可扩展验证。 在S.Q.Ganesh Gopalakrishnan编辑中, 程序。 第23届国际计算机辅助验证会议 ,LNCS。 施普林格,2011年。 谷歌学者 数字图书馆 A.吉拉德。 使用区域图的不确定线性系统的可达性。 编辑M.Morari和L.Thiele, 高速列车控制中心 ,第3414卷,共3414卷 计算机科学课堂讲稿 ,第291-305页。 斯普林格,2005年。 谷歌学者 数字图书馆 A.Girard和C.Le Guernic。 使用支持函数对线性系统进行有效可达性分析。 在 程序。 国际自动控制联合会世界大会 , 2008. 谷歌学者 交叉引用 C.L.Guernic和A.Girard。 使用支持函数的混合系统可达性分析。 编辑A.Bouajjani和O.Maler, CAV汽车 ,第5643卷,共页 计算机科学课堂讲稿 ,第540-554页。 施普林格,2009年。 谷歌学者 数字图书馆 S.Skogestad和I.Postlethwaite。 多变量反馈控制:分析与设计 约翰·威利父子公司,2005年。 谷歌学者 数字图书馆
建议
共享存储系统和GPU中二维离散小波变换的并行策略 在这项工作中,我们分析了几种并行算法的行为,这些算法是使用多核平台上的OpenMP和GPU上的CUDA来计算二维离散小波变换的。 所提出的并行算法都是基于。。。