Dylan McNamee
Affiliations:- Galois Inc., USA
According to our database1,
Dylan McNamee
authored at least 11 papers
between 1990 and 2016.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
On csauthors.net:
Bibliography
2016
Proceedings of the Verified Software. Theories, Tools, and Experiments, 2016
2001
ACM Trans. Comput. Syst., 2001
2000
Proceedings of the MOBICOM 2000, 2000
Proceedings of the 39th IEEE Conference on Decision and Control, 2000
1999
Proceedings of the Third USENIX Symposium on Operating Systems Design and Implementation (OSDI), 1999
1997
Dynamic Load Distribution with MPVM.
Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 1997
1996
Virtual memory alternatives for transaction buffer management in a single-level store.
PhD thesis, 1996
1995
ACM SIGOPS Oper. Syst. Rev., 1995
1993
Adding Scheduler Activations to Mach 3.0.
Proceedings of the USENIX MACH III Symposium, Santa Fe, New Mexico, USA, April 19-21, 1993, 1993
Proceedings of the Proceedings Fourth Workshop on Workstation Operating Systems, 1993
1990
Extending the Mach External Pager Interface to Accomodate User-Level Page Replacement Policies.
Proceedings of the USENIX MACH Symposium, Burlington, VT, USA, 4-5 October 1990, 1990