Mike Livesey

Publication Activity (10 Years)

Years Active: 1989-2007
Publications (10 Years): 0

University of St Andrews, UK (PHD)

Education History

University of St Andrews, UK

PHD

Publications

Mike Livesey, Ronald Morrison, David S. Munro
The Doomsday distributed termination detection protocol. Distributed Comput. 19 (5-6) (2007)
Colin Allison, Feng Huang, Mike Livesey
Object Coherence in Distributed Interaction. Eurographics Multimedia Workshop (1999)
Mike Livesey
STAMPS: a state-machine based processor simulator. SIGCSE (1997)
M. D. Atkinson, Mike Livesey, D. Tulley
Permutations Generated by Token Passing in Graphs. Theor. Comput. Sci. 178 (1-2) (1997)
P. Burgess, Mike Livesey, Colin Allison
Debugging and Dynamic Modification of Embedded Systems. HICSS (1) (1996)
Colin Allison, Mike Livesey
Persistent SR: Adding persistence to concurrency. HICSS (2) (1995)
Mike Livesey, Colin Allison
A Dynamically Configurable Co-processor For Microkernels. PDP (1994)
P. Burgess, Mike Livesey, Colin Allison
Process Migration as an Aid to Tuning Embedded Systems. PARCO (1993)
Mike Livesey
A Note on Consistency in Asynchronous Multicaches. Distributed Comput. 7 (2) (1993)
Mike Livesey, Colin Allison
Coherence in Distributed Persistent Object Systems. POS (1992)
Mike Livesey, Colin Allison
Operating system level support for coherence in distributed systems. ACM SIGOPS European Workshop (1992)
Mike Livesey
A network model of barrier synchronization algorithms. Int. J. Parallel Program. 20 (1) (1991)
Mike Livesey
Clamping in Boltzmann machines. IEEE Trans. Neural Networks 2 (1) (1991)
Mike Livesey
Distributed Varimistic Concurrency Control in a Persistent Object Store. POS (1990)
Mike Livesey
Stable Families of Behavioural Equivalences. Theor. Comput. Sci. 63 (1) (1989)

Mike Livesey.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Mike Livesey