1.Best Practice for Caching of Single-Path Code

作　　者：Martin Schoeberl ;Bekim Cilku ;Daniel Prokesch 等

出　　处：OASIcs : OpenAccess Series in Informatics. 2017 ;57:1-12.doi:10.4230/OASIcs.WCET.2017.2

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

文章 ID：197690121

文章详细全文下载

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.On Composable System Timing, Task Timing, and WCET Analysis

作　　者：Peter Puschner ;Martin Schoeberl

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

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

文章 ID：186848279

文章详细

5.Teaching WCET Analysis in Academia and Industry: A Panel Discussion

作　　者：Niklas Holsti ;Guillem Bernat ;Christian Ferdinand 等

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

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

文章 ID：186848327

文章详细

6.Is Chip-Multiprocessing the End of Real-Time Scheduling?

作　　者：Martin Schoeberl ;Peter Puschner

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

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

文章 ID：186848334

文章详细

7.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

文章详细

8.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

文章详细

9.Improving System-Level Verification of SystemC Models with SPIN

作　　者：Martin Elshuber ;Susanne Kandl ;Peter Puschner

出　　处：OASIcs : OpenAccess Series in Informatics. 2013 ;31:74-79.doi:10.4230/OASIcs.FSFMA.2013.74

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

文章 ID：186848615

文章详细

10.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

文章详细全文下载

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

	Bekim Cilku	1篇
	Christian Ferdinand	1篇
	Guillem Bernat	1篇
	Markus Gr{\"o}ssing	1篇
	Martin Elshuber	1篇
	Niklas Holsti	1篇
	Reinhard Wilhelm	1篇
	Susanne Kandl	1篇

全文

出版年度

作者

来源期刊

学科主题

语种

国别/地区

检索条件:"( ( 高级检索(( ((AU:(("Peter Puschner")))) )) ) )"

	Peter Puschner	10篇
	Benedikt Huber	3篇
	Daniel Prokesch	3篇
	Martin Schoeberl	3篇
	Raimund Kirner	2篇