C

Coja-Oghlan, A (2010) A Better Algorithm for Random k-SAT. Siam Journal on Computing, 39 (7). pp. 2823-2864. ISSN 0097-5397

Coja-Oghlan, A, Cooper, C and Frieze, A (2010) An Efficient Sparse Regularity Concept. Siam Journal on Discrete Mathematics, 23 (4). pp. 2000-2034. ISSN 0895-4801

Coja-Oghlan, A., Behrisch, M. and Kang, M. (2010) The Order of the Giant Component of Random Hypergraphs. Random Structures and Algorithms, 36 (2). pp. 149-184. ISSN 1042-9832

Coja-Oghlan, A. and Lanka, A. (2009) Finding Planted Partitions in Random Graphs with General Degree Distributions. SIAM Journal on Discrete Mathematics (SIDMA), 23 (4). pp. 1682-1714. ISSN 0895-4801

G

Griffiths, N. and Luck, M. (2010) Norm Emergence in Tag-Based Cooperation. In: 8th European Workshop on Multi-Agent Systems, Paris, France.

H

Hammond, S.D. and Lacey, D. (2006) Loop Transformations in the Ahead-of-Time Optimization of Java Bytecode. In: 15th International Conference on Compiler Construction (CC 2006), March 30 - March 31, Vienna, Austria.

He, L., Duan, K., Chen, X., Zou, D., Han, Z., Fadavinia, A. and Jarvis, S.A. (2011) Modelling Workflow Executions Under Role-based Authorisation Control. In: 8th IEEE International Conference on Services Computing (ICSC'11), 4-9th July 2011, Washington DC, USA.

J

Jarvis, S.A., He, L., Spooner, D.P. and Nudd, G.R. (2005) The Impact of Predictive Inaccuracies on Execution Scheduling. International Journal of Performance Evaluation, 60 (1-4). pp. 127-139.

Jarvis, S.A. and Randewich, A. (2010) High Performance Computing for National Security. Discovery, The Science and Technology Journal of AWE, 21. pp. 24-33.

Joy, M.S. (1985) On the Efficient Implementation of Combinators as an Object Code for Functional Programs. PhD thesis, University of East Anglia.

Joy, M.S. and Rayward-Smith, V.J. (1995) NP-Completeness of a Combinator Optimisation Problem. Notre Dame Journal of Formal Logic, 36 (2). pp. 319-335. ISSN 0029-4527

Joy, M.S., Rayward-Smith, V.J. and Burton, F.W. (1985) Efficient Combinator Code. Computer Languages, 10 (3/4). pp. 211-224. ISSN 0096-0551

K

Kalvala, S. and Warburton, R. L. M. (2009) Program transformations using temporal logic side conditions. ACM Transactions on Programming Languages and Systems, 31 (4). ISSN 0164-0925

L

Li, C.-T. and Yuan, Xiang (2012) Indexing Images of Buildings Based on Geometrical Invariant Hough Descriptors. Technical Report. University of Warwick.

M

Mahmoud, S., Griffiths, N., Keppens, J. and Luck, M. (2010) An Analysis of Norm Emergence in Axelrod's Model. In: 8th European Workshop on Multi-Agent Systems, Paris, France.

N

Nudd, G.R. and Jarvis, S.A. (2005) Performance-based Middleware for Grid Computing. Concurrency and Computation: Practice and Experience, 17 (2-4). pp. 215-234. ISSN 1532-0626

P

Pennycook, S.J., Hammond, S.D., Mudalige, G.R. and Jarvis, S.A. (2010) Performance Analysis of a Hybrid MPI/CUDA Implementation of the NAS-LU Benchmark. In: 1st International Workshop on Performance Modeling, Benchmarking and Simulation of High Performance Computing Systems (PMBS 10), held in conjunction with IEEE/ACM Supercomputing 2010 (SC'10), New Orleans, LA, USA.

Perks, O.F.J., Hammond, S.D., Pennycook, S.J. and Jarvis, S.A. (2010) Should We Worry About Memory Loss? In: 1st International Workshop on Performance Modeling, Benchmarking and Simulation of High Performance Computing Systems (PMBS 10), held in conjunction with IEEE/ACM Supercomputing 2010 (SC'10), New Orleans, LA, USA.

Perks, O.F.J., Hammond, S.D., Pennycook, S.J. and Jarvis, S.A. (2011) WMTrace - A Lightweight Memory Allocation Tracker and Analysis Framework. In: Proceedings of the UK Performance Engineering Workshop (UKPEW'11), 7-8th July, 2011, Bradford, United Kingdom.

Popham, T.J. (2010) Tracking 3D Surfaces Using Multiple Cameras: A Probabilistic Approach. PhD thesis, University of Warwick.

Popham, T.J., Bhalerao, A.H. and Wilson, R.G. (2010) Multi-Frame Scene-Flow Estimation Using a Patch Model and Smooth Motion Prior. In: British Machine Vision Conference Workshop, London, UK.

Popham, T.J., Wilson, R.G. and Bhalerao, A.H. (2010) A Smooth 6DOF Motion Prior for Efficient 3D Surface Tracking. In: IEEE 3DTV Conference, Tampere, Finland.

T

Tan, G. and Jarvis, S.A. (2006) A Payment-based Incentive and Service Differentiation Mechanism for Peer-to-Peer Streaming Broadcast. In: IEEE International Workshop on Quality of Service (IWQoS 2006), Yale University, CT, USA.

W

Wilson, R.G. and Bhalerao, A.H. (1992) Kernel Designs for Efficient Multiresolution Edge Detection and Orientation Estimation. IEEE Transactions on Pattern Analysis and Machine Intelligence, 14 (3). pp. 384-390. ISSN 0162-8828