Computer Aided Verification
Springer International Publishing
Chapter title |
Engineering a Static Verification Tool for GPU Kernels
|
---|---|
Chapter number | 15 |
Book title |
Computer Aided Verification
|
Published in |
Lecture notes in computer science, July 2014
|
DOI | 10.1007/978-3-319-08867-9_15 |
Book ISBNs |
978-3-31-908866-2, 978-3-31-908867-9
|
Authors |
Ethel Bardsley, Adam Betts, Nathan Chong, Peter Collingbourne, Pantazis Deligiannis, Alastair F. Donaldson, Jeroen Ketema, Daniel Liew, Shaz Qadeer, Bardsley, E, Betts, A, Chong, N, Collingbourne, P, Deligiannis, P, Donaldson, AF, Ketema, J, Liew, D, Qadeer, S, Bardsley, Ethel, Betts, Adam, Chong, Nathan, Collingbourne, Peter, Deligiannis, Pantazis, Donaldson, Alastair F., Ketema, Jeroen, Liew, Daniel, Qadeer, Shaz |
Country | Count | As % |
---|---|---|
United States | 1 | 5% |
Korea, Republic of | 1 | 5% |
Brazil | 1 | 5% |
Unknown | 17 | 85% |
Readers by professional status | Count | As % |
---|---|---|
Student > Ph. D. Student | 5 | 25% |
Student > Master | 5 | 25% |
Researcher | 4 | 20% |
Student > Bachelor | 3 | 15% |
Unknown | 3 | 15% |
Readers by discipline | Count | As % |
---|---|---|
Computer Science | 15 | 75% |
Mathematics | 1 | 5% |
Psychology | 1 | 5% |
Unknown | 3 | 15% |