刘迪;关,南;杰琳娜·斯帕西奇;陈刚;刘松然;托多尔·斯特凡诺夫;易、王 非精确混合临界实时任务的调度分析。 (英文) Zbl 1433.68072号 IEEE传输。计算。 67,第7期,975-991(2018).MSC公司:68平方米 PDF格式BibTeX公司 XML格式引用 \textit{D.Liu}等人,IEEE Trans。计算。67,第7号,975--991(2018;Zbl 1433.68072) 全文: 内政部
陈刚;关,南;刘迪;何庆强;黄凯;托多·斯特凡诺夫;易、王 基于利用率的灵活混合临界实时任务调度。 (英文) Zbl 1390.68119号 IEEE传输。计算。 67,第4期,543-558(2018).MSC公司:68平方米 PDF格式BibTeX公司 XML格式引用 \textit{G.Chen}等人,IEEE Trans。计算。67,第4号,543--558(2018;Zbl 1390.68119) 全文: 内政部 arXiv公司
莫特扎·莫哈基奇;贾卡里亚·阿卜杜拉;埃克伯格,蓬图斯;易、王 通过状态空间划分细化引擎控制器的工作负载模型。 (英文) Zbl 1444.68029号 Marko Bertogna(编辑),第29届实时系统欧洲微观会议。ECRTS 2017,2017年6月28日至30日,克罗地亚杜布罗夫尼克。诉讼程序。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。76,第11条,第22页(2017年)。MSC公司:68平方米 49N90型 PDF格式BibTeX公司 XML格式引用 \textit{M.Mohaqeqi}等人,LIPIcs——莱布尼茨国际程序。通知。76,第11条,22 p.(2017;Zbl 1444.68029) 全文: 内政部
埃克伯格,蓬图斯;易、王 混合临界系统基于图形的任务模型的可调度性分析。 (英文) 兹比尔1351.68044 实时系统。 52,第1期,1-37页(2016年).MSC公司:68平方米 PDF格式BibTeX公司 XML格式引用 \textit{P.Ekberg}和\textit{W.Yi},实时系统。52,第1号,1--37(2016;Zbl 1351.68044) 全文: 内政部
马丁·斯蒂格;易、王 用于静态优先级可行性分析的组合抽象细化。 (英文) Zbl 1343.68037号 实时系统。 51,第6号,639-674(2015).MSC公司:68平方米 PDF格式BibTeX公司 XML格式引用 \textit{M.Stigge}和\textit{W.Yi},实时系统。51,第6号,639--674(2015;Zbl 1343.68037) 全文: 内政部
马丁·斯蒂格;易、王 实时工作负载的基于图形的模型:一项调查。 (英文) Zbl 1337.68050号 实时系统。 51,第5号,602-636(2015).MSC公司:68平方米 68-02 PDF格式BibTeX公司 XML格式引用 \textit{M.Stigge}和\textit{W.Yi},实时系统。51,第5号,602--636(2015;Zbl 1337.68050) 全文: 内政部 链接
埃克伯格,蓬图斯;关,南;马丁·斯蒂格;易、王 广义多帧任务的最优资源共享协议。 (英文) Zbl 1304.68024号 J.日志。阿尔盖布。方法计划。 84,第1期,92-105(2015).MSC公司:68平方米 PDF格式BibTeX公司 XML格式引用 \textit{P.Ekberg}等人,J.Log。阿尔盖布。方法计划。84,第1号,92--105(2015;Zbl 1304.68024) 全文: 内政部 链接
埃克伯格,蓬图斯;易、王 限定和形成广义混合临界零星任务系统的需求。 (英文) Zbl 1291.68075号 实时系统。 50,第1号,48-86(2014).MSC公司:68平方米 PDF格式BibTeX公司 XML格式引用 \textit{P.Ekberg}和\textit{W.Yi},实时系统。50,第1号,48--86(2014;Zbl 1291.68075) 全文: 内政部
帕维尔·科卡尔;马丁·斯蒂格;易、王 可变执行时间抢占式实时任务的多处理器可调度性分析。 (英文) Zbl 1141.68353号 Raskin,Jean-François(编辑)等,时间系统的形式化建模和分析。第五届国际会议,FORMATS 2007,奥地利萨尔茨堡,2007年10月3-5日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-75453-4/pbk)。计算机科学课堂讲稿4763274-289(2007)。MSC公司:68平方米 PDF格式BibTeX公司 XML格式引用 \textit{P.Krcal}等人,Lect。注释计算。科学。4763、274--289(2007年;Zbl 1141.68353) 全文: 内政部
埃琳娜·费斯曼;莱昂尼德·莫克鲁申;保罗·佩特森;易、王 基于时间自动机的固定优先级系统可调度性分析。 (英文) Zbl 1088.68087号 西奥。计算。科学。 354,第2期,301-317(2006).MSC公司:65年第68季度 68平方米 PDF格式BibTeX公司 XML格式引用 \textit{E.Fersman}等人,Theor。计算。科学。354,第2号,301--317(2006;Zbl 1088.68087) 全文: 内政部
何继峰;洪丹凡;Pu,葛光;邱宗燕;易、王 探索同步模型硬件/软件分区的最佳解决方案。 (英文) Zbl 1103.68404号 正式Asp。计算。 17,第4期,443-460(2005).MSC公司:68平方米 68M99型 PDF格式BibTeX公司 XML格式引用 \textit{J.He}等人,正式Asp。计算。17,第4号,443--460(2005;Zbl 1103.68404) 全文: 内政部
葛光、浦;洪丹凡;何继峰;易、王 同步模型的硬件/软件分区的最佳方法。 (英文) Zbl 1196.68136号 Boiten,Eerke A.(编辑)等,《综合形式方法》。2004年4月4日至7日在英国坎特伯雷举行的第四届国际会议,IFM 2004。诉讼程序。柏林:施普林格出版社(ISBN 3-540-21377-5/pbk)。计算机科学课堂讲稿2999363-381(2004)。MSC公司:60年第68季度 68平方米 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Geguang}等人,Lect。注释计算。科学。2999363--381(2004年;Zbl 1196.68136) 全文: 内政部
帕维尔·克查尔;易、王 时间自动机可调度性分析中的可判定和不可判定问题。 (英文) Zbl 1126.68456号 Jensen,Kurt(编辑)等人,《系统构建和分析的工具和算法》。2004年3月29日至4月2日在西班牙巴塞罗那举行的第十届国际会议TACAS 2004,作为软件理论与实践联合会议ETAPS 2004的一部分。诉讼程序。柏林:施普林格出版社(ISBN 3-540-21299-X/pbk)。《计算机科学讲义》2988、236-250(2004)。MSC公司:65年第68季度 68平方米 PDF格式BibTeX公司 XML格式引用 \textit{P.Král}和\textit{W.Yi},莱克特。注释计算。科学。2988236--250(2004年;Zbl 1126.68456) 全文: 内政部
埃琳娜·费斯曼;易、王 实时任务可调度性分析的通用方法。 (英文) Zbl 1088.68525号 Nord.J.计算。 11,第2期,129-147(2004).MSC公司:68平方米 PDF格式BibTeX公司 XML格式引用 \textit{E.Fersman}和\textit{W.Yi},Nord.J.Compute。11,第2号,129--147(2004;Zbl 1088.68525)
埃琳娜·费斯曼;莱昂尼德·莫克鲁申;保罗·佩特森;易、王 使用两个时钟进行可调度性分析。 (英文) Zbl 1031.68031号 Garavle,Hubert(编辑)等人,《系统构建和分析的工具和算法》。2003年4月7日至11日在波兰华沙举行的2003年第9届TACAS国际会议,是欧洲软件理论与实践联合会议的一部分。诉讼程序。柏林:斯普林格。勒克特。注释计算。科学。2619, 224-239 (2003).MSC公司:68平方米 PDF格式BibTeX公司 XML格式引用 \textit{E.Fersman}等人,Lect。注释计算。科学。2619、224--239(2003;Zbl 1031.68031) 全文: 链接
埃琳娜·费斯曼;保罗·佩特森;易、王 异步进程的时间自动机:可调度性和可判定性。 (英文) Zbl 1043.68589号 Katoen,Joost-Pieter(ed.)等人,《系统构建和分析的工具和算法》。第八届国际会议,TACAS 2002。2002年4月8日至12日,作为欧洲软件理论与实践联合会议的一部分,在法国格勒诺布尔举行。柏林:施普林格出版社(ISBN 3-540-43419-4)。勒克特。注释计算。科学。2280, 67-82 (2002).MSC公司:68问题85 68平方米 PDF格式BibTeX公司 XML格式引用 \textit{E.Fersman}等人,Lect。注释计算。科学。2280、67-82(2002年;Zbl 1043.68589) 全文: 链接