摘要
R.Milner,“程序间模拟的代数定义” 国际JCAI 第481-489页,1971年。 谷歌学者 数字图书馆 P.A.Abdulla、Y.-F.Chen、L.Holík、R.Mayr和T.Vojnar,《模拟遇到反链时》 TACAS公司 (J.Esparza和R.Majumdar编辑),第6015卷 计算机科学课堂讲稿 第158-174页,施普林格出版社,2010年。 谷歌学者 数字图书馆 G.CéCé和A.Giorgetti,“二维在线镶嵌自动机的模拟”,in 语言理论的发展 (G.Mauri和A.Leporati编辑),第6795卷 计算机科学课堂讲稿 第141-152页,施普林格出版社,2011年。 谷歌学者 数字图书馆 O.Grumberg和D.E.Long,“模型检查和模块验证” ACM事务处理。 程序。 语言系统 ,第16卷,第3期,第843--871页,1994年。 谷歌学者 数字图书馆 M.R.Henzinger、T.A.Henzinger和P.W.Kopke,《有限图和无限图的计算模拟》 光纤通信系统 第453-462页,IEEE计算机学会,1995年。 谷歌学者 数字图书馆 D.Bustan和O.Grumberg,“基于仿真的最小化” ACM事务处理。 计算。 逻辑 ,第4卷,第2期,第181-2062003页。 谷歌学者 数字图书馆 R.Gentilini、C.Piazza和A.Policriti,“从互模拟到模拟:最粗糙划分问题” J.汽车。 推理 2003年,第31卷,第1期,第73-103页。 谷歌学者 数字图书馆 R.J.van Glabbeek和B.Ploeger,《修正空间效率模拟算法》 CAV汽车 (A.Gupta和S.Malik编辑),第5123卷 计算机科学课堂讲稿 ,第517-529页,施普林格出版社,2008年。 谷歌学者 数字图书馆 F.Ranzato和F.Tapparo,“一种新的有效模拟等效算法”,in 第22届IEEE计算机科学逻辑研讨会 (LICS 2007),2007年7月10日至12日,波兰弗罗茨瓦夫,诉讼 第171---180页,IEEE计算机学会,2007年。 谷歌学者 数字图书馆 F.Ranzato和F.Tapparo,“基于抽象解释的高效模拟算法” Inf.计算 2010年,第208卷,第1期,第1-22页。 谷歌学者 数字图书馆 S.Crafa、F.Ranzato和F.Tapparo,“在高效时间模拟算法中节省空间” 芬丹。 通知 2011年,第108卷,第1-2期,第23-42页。 谷歌学者 数字图书馆 R.Gentilini、C.Piazza和A.Policriti,“排名与模拟:有充分依据的案例” J.日志。 计算 2015年,第25卷,第6期,第1331-1349页。 谷歌学者 交叉引用 G.CéCé,“标记过渡系统的三种模拟算法” CoRR公司 ,卷。 http://arxiv.org/abs/1301.1638 , 2013. 谷歌学者 F.Ranzato,“kripke结构的有效模拟算法” Acta Inf公司 2014年,第51卷,第2期,第107-125页。 谷歌学者 数字图书馆 R.Paige和R.E.Tarjan,“三分区优化算法” SIAM J.计算机 第16卷第6期,第973-989页,1987年。 谷歌学者 数字图书馆 G.CéCé,“一系列高效仿真算法的基础” arXiv.org网站 , 2017. 谷歌学者 A.Valmari和P.Lehtinen,“部分过渡dfa的有效最小化”,in STACS公司 (S.Albers和P.Weil编辑),第1卷,共页 LIPIcs公司 第645--656页,德国达格斯图尔-莱布尼茨-泽特鲁姆信息宫,2008年。 谷歌学者 P.A.Abdulla、A.Bouajjani、L.Holík、L.Kaati和T.Vojnar,“树自动机上的计算模拟” TACAS公司 (C.R.Ramakrishnan和J.Rehof编辑),第4963卷 计算机科学课堂讲稿 第93-108页,施普林格出版社,2008年。 谷歌学者 数字图书馆
建议
使用SimPoint进行准确高效的模拟 现代建筑研究在很大程度上依赖于详细的管道模拟。 在这种详细程度上模拟单个行业标准基准的完整执行需要几个月的时间才能完成。 这个问题因以下事实而加剧。。。