1.Towards Preserving Model Coverage and Structural Code Coverage

作　　者：Raimund Kirner

出　　处：EURASIP Journal on Embedded Systems. 2009 ;2009.doi:10.1155/2009/127945

出版社：Hindawi Publishing Corporation

文章 ID：27728675

文章详细全文下载
2.Comparing WCET and Resource Demands of Trigonometric Functions Implemented as Iterative Calculations vs. Table-Lookup

作　　者：Raimund Kirner ;Markus Gr{\"o}ssing ;Peter Puschner

出　　处：OASIcs : OpenAccess Series in Informatics. 2006 ;4.doi:10.4230/OASIcs.WCET.2006.669

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

文章 ID：186848206

文章详细
3.Classification of Code Annotations and Discussion of Compiler-Support for Worst-Case Execution Time Analysis

作　　者：Raimund Kirner ;Peter Puschner

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

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

文章 ID：186848215

文章详细
4.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

文章详细
5.WCET 2008 Abstracts Collection -- 8th Intl. Workshop on Worst-Case Execution Time (WCET) Analysis

作　　者：Raimund Kirner

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

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

文章 ID：186848271

文章详细
6.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

文章详细
7.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

文章详细
8.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

文章详细

	有全文链接	7篇
	有本地全文	1篇

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

	Peter Puschner	2篇
	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篇
	Markus Gr{\"o}ssing	1篇
	Nicholas Merriam	1篇
	Niklas Holsti	1篇
	Pascal Sainrat	1篇
	Paul Lokuciejewski	1篇
	Roman Bourgade	1篇

	德国	7篇
	美国	1篇

全文

出版年度

作者

来源期刊

学科主题

语种

国别/地区

检索条件:"( ( 高级检索(( ((AU:(("Raimund Kirner")))) )) ) )"

	OASIcs : OpenAccess Series in Informatics	7篇
	EURASIP Journal on Embedded Systems	1篇

	2009	2篇
	2008	3篇
	2007	2篇
	2006	1篇