{dBug}: Systematic Evaluation of Distributed Systems
.
2010. {dBug}: Systematic Evaluation of Distributed Systems. 5th International Workshop on Systems Software Verification (SSV 10).
Typed Assembly Language for Implementing {OS} Kernels in {SMP/Multi-Core} Environments with Interrupts
.
2010. Typed Assembly Language for Implementing {OS} Kernels in {SMP/Multi-Core} Environments with Interrupts. 5th International Workshop on Systems Software Verification (SSV 10).
{IPv6}
.
2010. {IPv6}.
- Read more about {IPv6}
- DBLP
- Log in to post comments
- Google Scholar
- BibTeX
Implementing {IPv6} at {ARIN}
.
2010. Implementing {IPv6} at {ARIN}. 24th Large Installation System Administration Conference (LISA 10).
Internet on the Edge
.
2010. Internet on the Edge. 24th Large Installation System Administration Conference (LISA 10).
- Read more about Internet on the Edge
- DBLP
- Log in to post comments
- Google Scholar
- BibTeX
Managing Vendor Relations: A Case Study of Two {HPC} Network Issues
.
2010. Managing Vendor Relations: A Case Study of Two {HPC} Network Issues. 24th Large Installation System Administration Conference (LISA 10).