1.Comparison of Implicit Path Enumeration and Model Checking Based WCET Analysis

作　　者：Benedikt Huber ;Martin Schoeberl

出　　处：OASIcs : OpenAccess Series in Informatics. 2009 ;10:1-12.doi:10.4230/OASIcs.WCET.2009.2281

出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文章 ID：186848331

文章详细
2.A Code Policy Guaranteeing Fully Automated Path Analysis

作　　者：Benedikt Huber ;Peter Puschner

出　　处：OASIcs : OpenAccess Series in Informatics. 2010 ;15:77-88.doi:10.4230/OASIcs.WCET.2010.77

出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文章 ID：186848379

文章详细
3.A Formal Framework for Precise Parametric WCET Formulas

作　　者：Benedikt Huber ;Daniel Prokesch ;Peter Puschner

出　　处：OASIcs : OpenAccess Series in Informatics. 2012 ;23:91-102.doi:10.4230/OASIcs.WCET.2012.91

出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文章 ID：186848511

文章详细
4.Scope-Based Method Cache Analysis

作　　者：Benedikt Huber ;Stefan Hepp ;Martin Schoeberl

出　　处：OASIcs : OpenAccess Series in Informatics. 2014 ;39:73-82.doi:10.4230/OASIcs.WCET.2014.73

出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文章 ID：186848765

文章详细全文下载
5.Towards Automated Generation of Time-Predictable Code

作　　者：Daniel Prokesch ;Benedikt Huber ;Peter Puschner

出　　处：OASIcs : OpenAccess Series in Informatics. 2014 ;39:103-112.doi:10.4230/OASIcs.WCET.2014.103

出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文章 ID：186848768

文章详细全文下载

	有全文链接	3篇
	有本地全文	2篇

全文

出版年度

作者

来源期刊

学科主题

语种

国别/地区

检索条件:"( ( 高级检索(( ((AU:(("Benedikt Huber")))) )) ) )"

	Benedikt Huber	5篇
	Peter Puschner	3篇
	Daniel Prokesch	2篇
	Martin Schoeberl	2篇
	Stefan Hepp	1篇

	2014	2篇
	2012	1篇
	2010	1篇
	2009	1篇