1.WCET Analysis: The Annotation Language Challenge

作　　者：Raimund Kirner ;Jens Knoop ;Adrian Prantl 等

出　　处：OASIcs : OpenAccess Series in Informatics. 2007 ;6.doi:10.4230/OASIcs.WCET.2007.1197

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

文章 ID：186848256

文章详细
2.WCET 2008 -- Report from the Tool Challenge 2008 -- 8th Intl. Workshop on Worst-Case Execution Time (WCET) Analysis

作　　者：Niklas Holsti ;Jan Gustafsson ;Guillem Bernat 等

出　　处：OASIcs : OpenAccess Series in Informatics. 2008 ;8.doi:10.4230/OASIcs.WCET.2008.1663

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

文章 ID：186848272

文章详细
3.Towards a Common WCET Annotation Language: Essential Ingredients

作　　者：Raimund Kirner ;Albrecht Kadlec ;Adrian Prantl 等

出　　处：OASIcs : OpenAccess Series in Informatics. 2008 ;8.doi:10.4230/OASIcs.WCET.2008.1657

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

文章 ID：186848280

文章详细
4.TuBound - A Conceptually New Tool for Worst-Case Execution Time Analysis

作　　者：Adrian Prantl ;Markus Schordan ;Jens Knoop

出　　处：OASIcs : OpenAccess Series in Informatics. 2008 ;8.doi:10.4230/OASIcs.WCET.2008.1661

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

文章 ID：186848284

文章详细
5.From Trusted Annotations to Verified Knowledge

作　　者：Adrian Prantl ;Jens Knoop ;Raimund Kirner 等

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

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

文章 ID：186848333

文章详细

	Armelle Bonenfant	1篇
	Bernhard Rieder	1篇
	Christine Rochange	1篇
	Cl{\'e}ment Ballabriga	1篇
	Daniel Cordes	1篇
	Guillem Bernat	1篇
	Hugues Cass{\'e	1篇
	Ingomar Wenzel	1篇
	Jan Gustafsson	1篇
	Marianne de Michiel	1篇
	Nicholas Merriam	1篇
	Niklas Holsti	1篇
	Pascal Sainrat	1篇
	Paul Lokuciejewski	1篇
	Roman Bourgade	1篇

全文

出版年度

作者

来源期刊

学科主题

语种

国别/地区

检索条件:"( ( 高级检索(( ((AU:(("Adrian Prantl")))) )) ) )"

	Adrian Prantl	5篇
	Jens Knoop	5篇
	Markus Schordan	5篇
	Raimund Kirner	4篇
	Albrecht Kadlec	3篇

	2009	1篇
	2008	3篇
	2007	1篇