1.Automatic Verification of Message-Based Device Drivers

作　　者：Sidney Amani ;Peter Chubb ;Alastair F. Donaldson 等

出　　处：Electronic Proceedings in Theoretical Computer Science. 2012 ;102:4-17.doi:10.4204/EPTCS.102.3

出版社：Open Publishing Association

文章 ID：83120643

文章详细全文下载
2.Front Matter, Table of Contents, Preface, Conference Organization

作　　者：Alastair F. Donaldson

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2019 ;134:1-26.doi:10.4230/LIPIcs.ECOOP.2019.0

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

文章 ID：238892078

文章详细全文下载
3.Forward Progress on GPU Concurrency (Invited Talk)

作　　者：Alastair F. Donaldson ;Jeroen Ketema ;Tyler Sorensen 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2017 ;85:1:1-1:13.doi:10.4230/LIPIcs.CONCUR.2017.1

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

文章 ID：200735167

文章详细全文下载
4.Test-Case Reduction via Test-Case Generation: Insights from the Hypothesis Reducer (Tool Insights Paper)

作　　者：David R. MacIver ;Alastair F. Donaldson

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2020 ;166:1-27.doi:10.4230/LIPIcs.ECOOP.2020.13

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

文章 ID：256859632

文章详细全文下载
5.Putting Randomized Compiler Testing into Production (Experience Report)

作　　者：Alastair F. Donaldson ;Hugues Evrard ;Paul Thomson

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2020 ;166:1-29.doi:10.4230/LIPIcs.ECOOP.2020.22

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

文章 ID：256859641

文章详细全文下载
6.Automatic Verification of Data Race Freedom in Device Drivers

作　　者：Pantazis Deligiannis ;Alastair F. Donaldson

出　　处：OASIcs : OpenAccess Series in Informatics. 2014 ;43:36-39.doi:10.4230/OASIcs.ICCSW.2014.36

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

文章 ID：186848823

文章详细全文下载
7.GPU Schedulers: How Fair Is Fair Enough?

作　　者：Tyler Sorensen ;Hugues Evrard ;Alastair F. Donaldson

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2018 ;118:1-17.doi:10.4230/LIPIcs.CONCUR.2018.23

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

文章 ID：230213335

文章详细全文下载

	Alastair F. Donaldson	7篇
	Hugues Evrard	2篇
	Tyler Sorensen	2篇
	Alexander Legg	1篇
	David R. MacIver	1篇

	Jeroen Ketema	1篇
	John Wickerson	1篇
	Leonid Ryzhyk	1篇
	Pantazis Deligiannis	1篇
	Paul Thomson	1篇
	Peter Chubb	1篇
	Sidney Amani	1篇
	Yanjin Zhu	1篇

	德国	6篇
	澳大利亚	1篇

全文

出版年度

作者

来源期刊

学科主题

语种

国别/地区

检索条件:"( ( 高级检索(( ((AU:(("Alastair F. Donaldson")))) )) ) )"

	LIPIcs : Leibniz International Proceedings in Informatics	5篇
	Electronic Proceedings in Theoretical Computer Science	1篇
	OASIcs : OpenAccess Series in Informatics	1篇

	2020	2篇
	2019	1篇
	2018	1篇
	2017	1篇
	2014	1篇