Browse by Person (creator, editor, contributor, etc.)

Group by: Item Type | Date | No Grouping

2015 2011

Number of items: 3.

2015

Alglave, Jade and Batty, Mark and Donaldson, Alastair F. and Gopalakrishnan, Ganesh and Ketema, Jeroen and Poetzl, Daniel and Sorensen, Tyler and Wickerson, John (2015) GPU Concurrency: Weak Behaviours and Programming Assumptions. In: Twentieth International Conference on Architectural Support for Programming Languages and Operating Systems, 14-18 Mar 2015, Istanbul, Turkey. (doi:10.1145/2694344.2694391) (Full text available)

Preview

2011

Brauer, Jorg and King, Andy and Kriener, Jael (2011) Existential Quantification as Incremental SAT. In: Twenty Third International Conference on Computer Aided Verification. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Brauer, Jorg and King, Andy and Kriener, Jael (2011) Existential Quantification as Incremental SAT: 23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011. Proceedings. In: Gopalakrishnan, Ganesh and Qadeer, Shaz, eds. Computer Aided Verification. Lecture Notes in Computer Science, 6806 . Springer, pp. 191-207. ISBN 9783642221095. (doi:10.1007/978-3-642-22110-1_17) (Full text available)

Preview

This list was generated on Fri Sep 30 20:12:36 2016 BST.