Search results

  1. Towards a Practical, Verified Kernel

    http://usenix.org/event/hotos07/tech/full_papers/elphinstone/elphinstone.pdf http://usenix.org/event/hotos07/tech/full_papers/elphinstone/elphinstone_html ...

    admin - December 26, 2021 - 1:30 pm

  2. Beyond Bug-Finding: Sound Program Analysis for Linux

    http://usenix.org/event/hotos07/tech/full_papers/anderson/anderson.pdf http://usenix.org/event/hotos07/tech/full_papers/anderson/anderson_html ...

    admin - December 26, 2021 - 1:30 pm

  3. Hierarchical File Systems Are Dead

    http://usenix.org/event/hotos09/tech/full_papers/seltzer/seltzer.pdf ...

    admin - December 23, 2021 - 7:45 am

  4. An End to the Middle

    http://usenix.org/event/hotos09/tech/full_papers/dixon/dixon.pdf http://usenix.org/event/hotos09/tech/full_papers/dixon/dixon_html/ ...

    admin - December 23, 2021 - 7:45 am

  5. No Time for Asynchrony

    http://usenix.org/event/hotos09/tech/full_papers/aguilera/aguilera.pdf ...

    admin - December 23, 2021 - 7:45 am

  6. Computer Meteorology: Monitoring Compute Clouds

    http://usenix.org/event/hotos09/tech/full_papers/litty/litty.pdf http://usenix.org/event/hotos09/tech/full_papers ...

    admin - December 23, 2021 - 7:45 am

  7. Wave Computing in the Cloud

    Association}, month = may} Download http://usenix.org/event/hotos09/tech/full_papers ... /he/he.pdf http://usenix.org/event/hotos09/tech/full_papers/he/he_html/ http://usenix.org/event/hotos09/tech/slides/he.pdf ...

    admin - December 23, 2021 - 7:45 am

  8. On Availability of Intermediate Data in Cloud Computations

    http://usenix.org/event/hotos09/tech/full_papers/ko/ko.pdf http://usenix.org/event/hotos09/tech/full_papers/ko/ko_html/ ...

    admin - December 23, 2021 - 7:45 am

  9. Mobility Changes Everything in Low-Power Wireless Sensornets

    http://usenix.org/event/hotos09/tech/full_papers/dutta/dutta.pdf http://usenix.org/event/hotos09/tech/full_papers ...

    admin - December 23, 2021 - 7:45 am

  10. Augmented Smartphone Applications Through Clone Cloud Execution

    http://usenix.org/event/hotos09/tech/full_papers/chun/chun.pdf http://usenix.org/event/hotos09/tech/full_papers/chun/chun_html/ ...

    admin - December 23, 2021 - 7:45 am

  11. Peloton: Coordinated Resource Management for Sensor Networks

    http://usenix.org/event/hotos09/tech/full_papers/waterman/waterman.pdf http://usenix.org/event/hotos09/tech/full_papers ...

    admin - December 23, 2021 - 8:45 am

  12. Migration without Virtualization

    http://usenix.org/event/hotos09/tech/full_papers/kozuch/kozuch.pdf http://usenix.org/event/hotos09/tech/full_papers/kozuch/kozuch_html/ ...

    admin - December 23, 2021 - 8:45 am

  13. Operating Systems Should Provide Transactions

    http://usenix.org/event/hotos09/tech/full_papers/porter/porter.pdf http://usenix.org/event/hotos09/tech/full_papers/porter/porter_html/ ...

    admin - December 23, 2021 - 8:45 am

  14. Your computer is already a distributed system. Why isn't your OS?

    http://usenix.org/event/hotos09/tech/full_papers/baumann/baumann.pdf http://usenix.org/event/hotos09/tech/full_papers ...

    admin - December 23, 2021 - 8:45 am

  15. FlashVM: Revisiting the Virtual Memory Hierarchy

    http://usenix.org/event/hotos09/tech/full_papers/saxena/saxena.pdf http://usenix.org/event/hotos09/tech/full_papers/saxena/saxena_html/ ...

    admin - December 23, 2021 - 8:45 am

  16. Operating System Support for NVM+DRAM Hybrid Main Memory

    http://usenix.org/event/hotos09/tech/full_papers/mogul/mogul.pdf http://usenix.org/event/hotos09/tech/full_papers ...

    admin - December 23, 2021 - 8:45 am

  17. Hera-JVM: Abstracting Processor Heterogeneity Behind a Virtual Machine

    http://usenix.org/event/hotos09/tech/full_papers/mcilroy/mcilroy.pdf http://usenix.org/event/hotos09/tech/full_papers ...

    admin - December 23, 2021 - 8:45 am

  18. Security Impact Ratings Considered Harmful

    http://usenix.org/event/hotos09/tech/full_papers/arnold/arnold.pdf http://usenix.org/event/hotos09/tech/full_papers/arnold/arnold_html/ ...

    admin - December 23, 2021 - 8:45 am

  19. If It Ain't Broke, Don't Fix It: Challenges and New Directions for Inferring the Impact of Software Patches

    http://usenix.org/event/hotos09/tech/full_papers/oberheide/oberheide.pdf http://usenix.org/event/hotos09/tech/full_papers/oberheide/oberheide_html/ ...

    admin - December 23, 2021 - 8:45 am

  20. Simplifying Distributed System Development

    http://usenix.org/event/hotos09/tech/full_papers/yabandeh/yabandeh.pdf http://usenix.org/event/hotos09/tech/full_papers/yabandeh/yabandeh_html/ ...

    admin - December 23, 2021 - 9:45 am

  21. Automated Experiment-Driven Management of (Database) Systems

    http://usenix.org/event/hotos09/tech/full_papers/babu/babu.pdf http://usenix.org/event/hotos09/tech/slides/babu.pdf ...

    admin - December 23, 2021 - 9:45 am

  22. FLUXO: A Simple Service Compiler

    http://usenix.org/event/hotos09/tech/full_papers/kiciman/kiciman.pdf ...

    admin - December 23, 2021 - 9:45 am

  23. Reinventing Scheduling for Multicore Systems

    http://usenix.org/event/hotos09/tech/full_papers/boyd-wickizer/boyd-wickizer.pdf ...

    admin - December 23, 2021 - 9:45 am

  24. FAWNdamentally Power-efficient Clusters

    http://usenix.org/event/hotos09/tech/full_papers/vasudevan/vasudevan.pdf http://usenix.org/event/hotos09/tech/full_papers ...

    admin - December 23, 2021 - 9:45 am

  25. Global-scale Service Deployment in the XenoServer Platform

    ://usenix.org/publications/library/proceedings/worlds04/tech/full_papers/kotsovinos/kotsovinos.pdf ...

    admin - December 29, 2021 - 10:30 pm

Pages