Dylan McNamee

Affiliations:
  • Galois Inc., USA


According to our database1, Dylan McNamee authored at least 11 papers between 1990 and 2016.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2016
Constructing Semantic Models of Programs with the Software Analysis Workbench.
Proceedings of the Verified Software. Theories, Tools, and Experiments, 2016

2001
Specialization tools and techniques for systematic optimization of system software.
ACM Trans. Comput. Syst., 2001

2000
Research challenges in environmental observation and forecasting systems.
Proceedings of the MOBICOM 2000, 2000

Control challenges in multi-level adaptive video streaming.
Proceedings of the 39th IEEE Conference on Decision and Control, 2000

1999
A Feedback-driven Proportion Allocator for Real-Rate Scheduling.
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
SPIN - An Extensible Microkernel for Application-specific Operating System Services.
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

The Need for Customizable Operating Systems.
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


  Loading...