Mark Moir
From MaRDI portal
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Fast, long-lived renaming improved and simplified | 2024-07-11 | Paper |
| Universal constructions for large objects Distributed Algorithms | 2023-12-01 | Paper |
| Laziness pays! Using lazy synchronization mechanisms to improve non-blocking constructions Distributed Computing | 2020-12-03 | Paper |
| Lock-free reference counting Distributed Computing | 2020-12-03 | Paper |
| Using local-spin \(k\)-exclusion algorithms to improve wait-free object implementations Distributed Computing | 2020-12-02 | Paper |
| scientific article; zbMATH DE number 6876104 (Why is no real title available?) | 2018-05-29 | Paper |
| Practical implementations of non-blocking synchronization primitives Proceedings of the sixteenth annual ACM symposium on Principles of distributed computing - PODC '97 | 2017-09-29 | Paper |
| Universal constructions for multi-object operations Proceedings of the fourteenth annual ACM symposium on Principles of distributed computing - PODC '95 | 2017-09-29 | Paper |
| Long-lived renaming made fast Proceedings of the fourteenth annual ACM symposium on Principles of distributed computing - PODC '95 | 2017-09-29 | Paper |
| Using k-exclusion to implement resilient, scalable shared objects (extended abstract) Proceedings of the thirteenth annual ACM symposium on Principles of distributed computing - PODC '94 | 2017-09-29 | Paper |
| A simple local-spin group mutual exclusion algorithm Proceedings of the eighteenth annual ACM symposium on Principles of distributed computing | 2015-09-11 | Paper |
| Wait-free synchronization in multiprogrammed systems Proceedings of the eighteenth annual ACM symposium on Principles of distributed computing | 2015-09-11 | Paper |
| Real-time object sharing with minimal system support Proceedings of the fifteenth annual ACM symposium on Principles of distributed computing - PODC '96 | 2015-09-11 | Paper |
| Towards formally specifying and verifying transactional memory Formal Aspects of Computing | 2014-11-11 | Paper |
| SNZI, scalable nonzero indicators Proceedings of the twenty-sixth annual ACM symposium on Principles of distributed computing | 2014-03-13 | Paper |
| Space- and time-adaptive nonblocking algorithms | 2013-08-27 | Paper |
| A dynamic-sized nonblocking work stealing deque Distributed Computing | 2013-06-07 | Paper |
| A framework for formally verifying software transactional memory algorithms Lecture Notes in Computer Science | 2012-09-25 | Paper |
| On the uncontended complexity of consensus Lecture Notes in Computer Science | 2010-02-23 | Paper |
| Nonblocking Algorithms and Backward Simulation Lecture Notes in Computer Science | 2009-11-19 | Paper |
| Nonblocking \(k\)-compare-single-swap Theory of Computing Systems | 2009-08-06 | Paper |
| Distributed Computing Lecture Notes in Computer Science | 2006-11-01 | Paper |
| Formal Techniques for Networked and Distributed Systems – FORTE 2004 Lecture Notes in Computer Science | 2005-08-18 | Paper |
| scientific article; zbMATH DE number 2013841 (Why is no real title available?) | 2003-12-07 | Paper |
| A simple proof technique for priority-scheduled systems Information Processing Letters | 2002-07-25 | Paper |
| Wait-free algorithms for fast, long-lived renaming Science of Computer Programming | 1995-12-20 | Paper |
Research outcomes over time
This page was built for person: Mark Moir
