首页期刊浏览 2025年02月21日星期五

登录注册

全文

有全文链接

3篇

出版年度

	2009	1篇
	2008	2篇

作者

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

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

来源期刊

OASIcs : OpenAccess Series in Informatics

3篇

学科主题

计算技术、计算机技术

3篇

语种

英文

3篇

国别/地区

德国

3篇

检索条件:"( ( 高级检索(( ((AU:(("Albrecht Kadlec")))) )) ) )"

共 3 条记录

排序：全选导出：

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

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

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

文章详细

1

电话：010-85195300

E-mail：cassoa@cass.org.cn

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

扫一扫关注微信

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

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