首页期刊浏览 2024年11月28日星期四

登录注册

全文

有本地全文

3篇

出版年度

	2017	1篇
	2016	1篇
	2015	1篇

作者

	Hugues Cass{\'e	3篇
	Jordy Ruiz	3篇
	Marianne de Michiel	2篇
	Pascal Sotin	2篇
	Vincent Mussot	2篇

	Armelle Bonenfant	1篇
	Catherine Parent-Vigouroux	1篇
	Christine Rochange	1篇
	Claire Maiza	1篇
	Denis Claraz	1篇
	Erven Rohou	1篇
	Erwan Jahier	1篇
	Fabienne Carrier	1篇
	Hanbing Li	1篇
	Isabelle Puaut	1篇
	Nicolas Halbwachs	1篇
	Pascal Raymond	1篇
	Philippe Cuenot	1篇
	Wei-Tsun Sun	1篇

来源期刊

OASIcs : OpenAccess Series in Informatics

3篇

学科主题

计算技术、计算机技术

3篇

语种

英文

3篇

国别/地区

德国

3篇

检索条件:"( ( 高级检索(( ((AU:(("Jordy Ruiz")))) )) ) )"

共 3 条记录

排序：全选导出：

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

文章详细全文下载
3.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

文章详细全文下载

1

电话：010-85195300

E-mail：cassoa@cass.org.cn

地址：中国北京建国门内大街5号中国社会科学院1#楼

扫一扫关注微信

联系我们|关于我们|网站声明

国家哲学社会科学文献中心版权所有