Mike Livesey

According to our database, Mike Livesey authored at least 16 papers between 1987 and 2007.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2007

The Doomsday distributed termination detection protocol.

Mike Livesey, Ronald Morrison, David S. Munro

Distributed Comput., 2007

1999

Object Coherence in Distributed Interaction.

Colin Allison, Feng Huang, Mike Livesey

Proceedings of the Eurographics Multimedia Workshop 1999, 1999

1997

Permutations Generated by Token Passing in Graphs.

M. D. Atkinson, Mike Livesey, D. Tulley

Theor. Comput. Sci., 1997

STAMPS: a state-machine based processor simulator.

Mike Livesey

Proceedings of the 28th SIGCSE Technical Symposium on Computer Science Education, 1997

1996

Debugging and Dynamic Modification of Embedded Systems.

P. Burgess, Mike Livesey, Colin Allison

Proceedings of the 29th Annual Hawaii International Conference on System Sciences (HICSS-29), 1996

1995

Persistent SR: Adding persistence to concurrency.

Colin Allison, Mike Livesey

Proceedings of the 28th Annual Hawaii International Conference on System Sciences (HICSS-28), 1995

1994

A Dynamically Configurable Co-processor For Microkernels.

Mike Livesey, Colin Allison

Proceedings of the Second Euromicro Workshop on Parallel and Distributed Processing, 1994

1993

A Note on Consistency in Asynchronous Multicaches.

Mike Livesey

Distributed Comput., 1993

Process Migration as an Aid to Tuning Embedded Systems.

P. Burgess, Mike Livesey, Colin Allison

Proceedings of the Parallel Computing: Trends and Applications, 1993

1992

Operating system level support for coherence in distributed systems.

Mike Livesey, Colin Allison

Proceedings of the 5th ACM SIGOPS European Workshop: Models and Paradigms for Distributed Systems Structuring, 1992

Coherence in Distributed Persistent Object Systems.

Mike Livesey, Colin Allison

Proceedings of the Persistent Object Systems, 1992

1991

Clamping in Boltzmann machines.

Mike Livesey

IEEE Trans. Neural Networks, 1991

A network model of barrier synchronization algorithms.

Mike Livesey

Int. J. Parallel Program., 1991

1990

Distributed Varimistic Concurrency Control in a Persistent Object Store.

Mike Livesey

Proceedings of the Implementing Persistent Object Bases, 1990

1989

Stable Families of Behavioural Equivalences.

Mike Livesey

Theor. Comput. Sci., 1989

1987

Bicontexts and structural induction.

Mike Livesey

PhD thesis, 1987