1.Expressing and Exploiting Conflicts over Paths in WCET Analysis

作　　者：Vincent Mussot ;Jordy Ruiz ;Pascal Sotin 等

出　　处：OASIcs : OpenAccess Series in Informatics. 2016 ;55:1-11.doi:10.4230/OASIcs.WCET.2016.3

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

文章 ID：191698414

文章详细全文下载

2.Dynamic Branch Resolution Based on Combined Static Analyses

作　　者：Wei-Tsun Sun ;Hugues Cass{\'e

出　　处：OASIcs : OpenAccess Series in Informatics. 2016 ;55:1-10.doi:10.4230/OASIcs.WCET.2016.8

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

文章 ID：191698419

文章详细全文下载

3.The W-SEPT Project: Towards Semantic-Aware WCET Estimation

作　　者：Claire Maiza ;Pascal Raymond ;Catherine Parent-Vigouroux 等

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

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

文章 ID：197690128

文章详细全文下载

4.PapaBench: a Free Real-Time Benchmark

作　　者：Fadia Nemer ;Hugues Cass{\'e ;Pascal Sainrat 等

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

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

文章 ID：186848210

文章详细

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

文章详细

6.Improving the WCET computation time by IPET using control flow graph partitioning

作　　者：Cl{\'e}ment Ballabriga ;Hugues Cass{\'e

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

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

文章 ID：186848276

文章详细

7.A Generic Framework for Blackbox Components in WCET Computation

作　　者：Cl{\'e}ment Ballabriga ;Hugues Cass{\'e ;Marianne De Michiel

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

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

文章 ID：186848328

文章详细

8.Multi-architecture Value Analysis for Machine Code

作　　者：Hugues Cass{\'e ;Florian Bir{\'e}e ;Pascal Sainrat

出　　处：OASIcs : OpenAccess Series in Informatics. 2013 ;30:42-52.doi:10.4230/OASIcs.WCET.2013.42

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

文章 ID：186848623

文章详细

9.A Framework to Quantify the Overestimations of Static WCET Analysis

作　　者：Hugues Cass{\'e ;Haluk Ozaktas ;Christine Rochange

出　　处：OASIcs : OpenAccess Series in Informatics. 2015 ;47:1-10.doi:10.4230/OASIcs.WCET.2015.1

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

文章 ID：186848838

文章详细全文下载

10.Using SMT Solving for the Lookup of Infeasible Paths in Binary Programs

作　　者：Jordy Ruiz ;Hugues Cass{\'e

出　　处：OASIcs : OpenAccess Series in Informatics. 2015 ;47:95-104.doi:10.4230/OASIcs.WCET.2015.95

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

文章 ID：186848847

文章详细全文下载

	有本地全文	6篇
	有全文链接	5篇

	2018	1篇
	2017	1篇
	2016	2篇
	2015	2篇
	2013	1篇

	Hugues Cass{\'e	11篇
	Christine Rochange	3篇
	Cl{\'e}ment Ballabriga	3篇
	Jordy Ruiz	3篇
	Marianne de Michiel	3篇

	Pascal Sainrat	3篇
	Armelle Bonenfant	2篇
	Marianne De Michiel	2篇
	Pascal Sotin	2篇
	Vincent Mussot	2篇
	Wei-Tsun Sun	2篇
	Adrian Prantl	1篇
	Albrecht Kadlec	1篇
	Bernhard Rieder	1篇
	Catherine Parent-Vigouroux	1篇
	Claire Maiza	1篇
	Daniel Cordes	1篇
	Denis Claraz	1篇
	Erven Rohou	1篇
	Erwan Jahier	1篇
	Fabienne Carrier	1篇
	Fadia Nemer	1篇
	Florian Bir{\'e}e	1篇
	Guillem Bernat	1篇
	Haluk Ozaktas	1篇
	Hanbing Li	1篇
	Isabelle Puaut	1篇
	Jan Gustafsson	1篇
	Jean-Paul Bahsoun	1篇
	Jens Knoop	1篇
	Markus Schordan	1篇
	Nicholas Merriam	1篇
	Nicolas Halbwachs	1篇
	Niklas Holsti	1篇
	Pascal Raymond	1篇
	Paul Lokuciejewski	1篇
	Philippe Cuenot	1篇
	Raimund Kirner	1篇
	Roman Bourgade	1篇
	Thomas Carle	1篇

全文

出版年度

作者

来源期刊

学科主题

语种

国别/地区

检索条件:"( ( 高级检索(( ((AU:(("Hugues Cass{\ e")))) )) ) )"