Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Mike Livesey
@article{DBLP:journals/dc/LiveseyMM07,
author = {Mike Livesey and
Ronald Morrison and
David S. Munro},
title = {The Doomsday distributed termination detection protocol},
journal = {Distributed Comput.},
volume = {19},
number = {5-6},
pages = {419--431},
year = {2007},
url = {https://doi.org/10.1007/s00446-006-0013-x},
doi = {10.1007/S00446-006-0013-X},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/dc/LiveseyMM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/egmm/AllisonHL99,
author = {Colin Allison and
Feng Huang and
Mike Livesey},
editor = {Nuno Correia and
Teresa Chambel and
Glorianna Davenport},
title = {Object Coherence in Distributed Interaction},
booktitle = {Proceedings of the Eurographics Multimedia Workshop 1999, Milan, Italy,
September 7-8, 1999},
series = {Eurographics},
pages = {123--132},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/978-3-7091-6771-7\_14},
doi = {10.1007/978-3-7091-6771-7\_14},
timestamp = {Sat, 09 May 2020 14:34:01 +0200},
biburl = {https://dblp.org/rec/conf/egmm/AllisonHL99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/AtkinsonLT97,
author = {M. D. Atkinson and
Mike Livesey and
D. Tulley},
title = {Permutations Generated by Token Passing in Graphs},
journal = {Theor. Comput. Sci.},
volume = {178},
number = {1-2},
pages = {103--118},
year = {1997},
url = {https://doi.org/10.1016/S0304-3975(96)00057-6},
doi = {10.1016/S0304-3975(96)00057-6},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/AtkinsonLT97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigcse/Livesey97,
author = {Mike Livesey},
editor = {Curt M. White and
Carl Erickson and
Bruce J. Klein and
James E. Miller},
title = {{STAMPS:} a state-machine based processor simulator},
booktitle = {Proceedings of the 28th {SIGCSE} Technical Symposium on Computer Science
Education, {SIGCSE} 1997, San Jose, California, USA, February 27 -
March 1, 1997},
pages = {267--271},
publisher = {{ACM}},
year = {1997},
url = {https://doi.org/10.1145/268084.268190},
doi = {10.1145/268084.268190},
timestamp = {Tue, 23 Mar 2021 10:54:19 +0100},
biburl = {https://dblp.org/rec/conf/sigcse/Livesey97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hicss/BurgessLA96,
author = {P. Burgess and
Mike Livesey and
Colin Allison},
title = {Debugging and Dynamic Modification of Embedded Systems},
booktitle = {29th Annual Hawaii International Conference on System Sciences (HICSS-29),
January 3-6, 1996, Maui, Hawaii, {USA}},
pages = {489--498},
publisher = {{IEEE} Computer Society},
year = {1996},
url = {https://doi.org/10.1109/HICSS.1996.495498},
doi = {10.1109/HICSS.1996.495498},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hicss/BurgessLA96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hicss/AllisonL95,
author = {Colin Allison and
Mike Livesey},
title = {Persistent {SR:} Adding persistence to concurrency},
booktitle = {28th Annual Hawaii International Conference on System Sciences (HICSS-28),
January 3-6, 1995, Kihei, Maui, Hawaii, {USA}},
pages = {655--664},
publisher = {{IEEE} Computer Society},
year = {1995},
url = {https://doi.org/10.1109/HICSS.1995.375491},
doi = {10.1109/HICSS.1995.375491},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hicss/AllisonL95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pdp/LiveseyA94,
author = {Mike Livesey and
Colin Allison},
title = {A Dynamically Configurable Co-processor For Microkernels},
booktitle = {Proceedings of the Second Euromicro Workshop on Parallel and Distributed
Processing, {PDP} 1994, January 26-28, 1994, Malaga, Spain},
pages = {372--376},
publisher = {{IEEE}},
year = {1994},
url = {https://doi.org/10.1109/EMPDP.1994.592515},
doi = {10.1109/EMPDP.1994.592515},
timestamp = {Wed, 16 Oct 2019 14:14:55 +0200},
biburl = {https://dblp.org/rec/conf/pdp/LiveseyA94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dc/Livesey93,
author = {Mike Livesey},
title = {A Note on Consistency in Asynchronous Multicaches},
journal = {Distributed Comput.},
volume = {7},
number = {2},
pages = {111--114},
year = {1993},
url = {https://doi.org/10.1007/BF02280840},
doi = {10.1007/BF02280840},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/dc/Livesey93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/parco/BurgessLA93,
author = {P. Burgess and
Mike Livesey and
Colin Allison},
editor = {Gerhard R. Joubert and
Denis Trystram and
Frans J. Peters and
David J. Evans},
title = {Process Migration as an Aid to Tuning Embedded Systems},
booktitle = {Parallel Computing: Trends and Applications, {PARCO} 1993, Grenoble,
France},
pages = {581--584},
publisher = {Elsevier},
year = {1993},
timestamp = {Tue, 13 Mar 2018 14:43:53 +0100},
biburl = {https://dblp.org/rec/conf/parco/BurgessLA93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pos/LiveseyA92,
author = {Mike Livesey and
Colin Allison},
editor = {Antonio Albano and
Ronald Morrison},
title = {Coherence in Distributed Persistent Object Systems},
booktitle = {Persistent Object Systems, Proceedings of the Fifth International
Workshop on Persistent Object Systems, San Miniato (Pisa), Italy,
1-4 September, 1992},
series = {Workshops in Computing},
pages = {186--197},
publisher = {Springer},
year = {1992},
timestamp = {Mon, 10 Feb 2014 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pos/LiveseyA92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigopsE/LiveseyA92,
author = {Mike Livesey and
Colin Allison},
editor = {Jean{-}Pierre Ban{\^{a}}tre},
title = {Operating system level support for coherence in distributed systems},
booktitle = {Proceedings of the 5th {ACM} {SIGOPS} European Workshop: Models and
Paradigms for Distributed Systems Structuring, 1992, Mont Saint-Michel,
France, September 21-23, 1992},
publisher = {{ACM}},
year = {1992},
url = {https://doi.org/10.1145/506378.506380},
doi = {10.1145/506378.506380},
timestamp = {Thu, 07 Nov 2019 10:24:25 +0100},
biburl = {https://dblp.org/rec/conf/sigopsE/LiveseyA92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijpp/Livesey91,
author = {Mike Livesey},
title = {A network model of barrier synchronization algorithms},
journal = {Int. J. Parallel Program.},
volume = {20},
number = {1},
pages = {55--74},
year = {1991},
url = {https://doi.org/10.1007/BF01407932},
doi = {10.1007/BF01407932},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijpp/Livesey91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tnn/Livesey91,
author = {Mike Livesey},
title = {Clamping in Boltzmann machines},
journal = {{IEEE} Trans. Neural Networks},
volume = {2},
number = {1},
pages = {143--148},
year = {1991},
url = {https://doi.org/10.1109/72.80301},
doi = {10.1109/72.80301},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tnn/Livesey91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pos/Livesey90,
author = {Mike Livesey},
editor = {Alan Dearle and
Gail M. Shaw and
Stanley B. Zdonik},
title = {Distributed Varimistic Concurrency Control in a Persistent Object
Store},
booktitle = {Implementing Persistent Object Bases, Principles and Practice, Proceedings
of the Fourth International Workshop on Persistent Objects, 23-27
September 1990, Martha's Vineyard, MA, {USA}},
pages = {293--304},
publisher = {Morgan Kaufmann},
year = {1990},
timestamp = {Tue, 18 Sep 2012 19:50:15 +0200},
biburl = {https://dblp.org/rec/conf/pos/Livesey90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Livesey89,
author = {Mike Livesey},
title = {Stable Families of Behavioural Equivalences},
journal = {Theor. Comput. Sci.},
volume = {63},
number = {1},
pages = {19--41},
year = {1989},
url = {https://doi.org/10.1016/0304-3975(89)90065-0},
doi = {10.1016/0304-3975(89)90065-0},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Livesey89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/ethos/Livesey87,
author = {Mike Livesey},
title = {Bicontexts and structural induction},
school = {University of St Andrews, {UK}},
year = {1987},
url = {https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.379000},
timestamp = {Wed, 04 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/ethos/Livesey87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-25 05:51 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
