Mike Livesey

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