×

找到16个文档(结果1-16)

通过状态空间划分细化引擎控制器的工作负载模型。 (英文) 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格式引用
全文: 内政部

可变执行时间抢占式实时任务的多处理器可调度性分析。 (英文) 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格式引用
全文: 内政部

同步模型的硬件/软件分区的最佳方法。 (英文) Zbl 1196.68136号

Boiten,Eerke A.(编辑)等,《综合形式方法》。2004年4月4日至7日在英国坎特伯雷举行的第四届国际会议,IFM 2004。诉讼程序。柏林:施普林格出版社(ISBN 3-540-21377-5/pbk)。计算机科学课堂讲稿2999363-381(2004)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

时间自动机可调度性分析中的可判定和不可判定问题。 (英文) Zbl 1126.68456号

Jensen,Kurt(编辑)等人,《系统构建和分析的工具和算法》。2004年3月29日至4月2日在西班牙巴塞罗那举行的第十届国际会议TACAS 2004,作为软件理论与实践联合会议ETAPS 2004的一部分。诉讼程序。柏林:施普林格出版社(ISBN 3-540-21299-X/pbk)。《计算机科学讲义》2988、236-250(2004)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

使用两个时钟进行可调度性分析。 (英文) Zbl 1031.68031号

Garavle,Hubert(编辑)等人,《系统构建和分析的工具和算法》。2003年4月7日至11日在波兰华沙举行的2003年第9届TACAS国际会议,是欧洲软件理论与实践联合会议的一部分。诉讼程序。柏林:斯普林格。勒克特。注释计算。科学。2619, 224-239 (2003).
MSC公司:68平方米
PDF格式BibTeX公司 XML格式引用
全文: 链接

异步进程的时间自动机:可调度性和可判定性。 (英文) 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格式引用
全文: 链接

筛选结果依据…

文档类型

全部的 前5名

出版年份

主字段