Search results
-
Large-scale Incremental Processing Using Distributed Transactions and Notifications
http://www.usenix.org/events/osdi10/tech/full_papers/Peng.pdf https://docs.google.com/present/view?id=dg2vfspf_17gx825cdd ...admin - December 20, 2021 - 6:39 pm
-
Reining in the Outliers in Map-Reduce Clusters using Mantri
Download Audio http://www.usenix.org/events/osdi10/tech/full_papers/Ananthanarayanan.pdf ...admin - December 20, 2021 - 6:39 pm
-
Transactional Consistency and Automatic Management in an Application Data Cache
http://www.usenix.org/events/osdi10/tech/full_papers/Ports.pdf http://www.usenix.org/events/osdi10/tech/slides/ports.pdf ...admin - December 20, 2021 - 6:39 pm
-
Piccolo: Building Fast, Distributed Programs with Partitioned Tables
http://www.usenix.org/events/osdi10/tech/full_papers/Power.pdf http://www.usenix.org/events/osdi10/tech/slides/power.pdf ...admin - December 20, 2021 - 6:39 pm
-
Depot: Cloud Storage with Minimal Trust
Download Audio http://www.usenix.org/events/osdi10/tech/full_papers ...admin - December 20, 2021 - 6:39 pm
-
Comet: An Active Distributed Key-Value Store
Download Audio http://www.usenix.org/events/osdi10/tech/full_papers ...admin - December 20, 2021 - 7:10 pm
-
SPORC: Group Collaboration using Untrusted Cloud Resources
http://www.usenix.org/events/osdi10/tech/full_papers/Feldman.pdf http://www.usenix.org/events/osdi10/tech/slides/feldman.pdf ...admin - December 20, 2021 - 7:10 pm
-
Onix: A Distributed Control Platform for Large-scale Production Networks
http://www.usenix.org/events/osdi10/tech/full_papers/Koponen.pdf ...admin - December 20, 2021 - 7:10 pm
-
Can the Production Network Be the Testbed?
Download Audio http://www.usenix.org/events/osdi10/tech/full_papers ...admin - December 20, 2021 - 7:10 pm
-
Building Extensible Networks with Rule-Based Forwarding
Download Audio http://www.usenix.org/events/osdi10/tech/full_papers ...admin - December 20, 2021 - 7:10 pm
-
TaintDroid: An Information-Flow Tracking System for Realtime Privacy Monitoring on Smartphones
http://www.usenix.org/events/osdi10/tech/full_papers/Enck.pdf http://www.usenix.org/events/osdi10/tech/slides/enck.pdf ...admin - December 20, 2021 - 7:10 pm
-
StarTrack Next Generation: A Scalable Infrastructure for Track-Based Applications
http://www.usenix.org/events/osdi10/tech/full_papers/Haridasan.pdf http://www.usenix.org/events/osdi10/tech/slides/haridasan.pdf ...admin - December 20, 2021 - 7:10 pm
-
The Turtles Project: Design and Implementation of Nested Virtualization
http://www.usenix.org/events/osdi10/tech/full_papers/Ben-Yehuda.pdf http://www.usenix.org/events/osdi10/tech/slides/ben-yehuda.pdf ...admin - December 20, 2021 - 7:10 pm
-
mClock: Handling Throughput Variability for Hypervisor IO Scheduling
http://www.usenix.org/events/osdi10/tech/full_papers/Gulati.pdf http://www.usenix.org/events/osdi10/tech/slides/gulati.pdf ...admin - December 20, 2021 - 7:10 pm
-
Virtualize Everything but Time
Download Audio http://www.usenix.org/events/osdi10/tech/full_papers ...admin - December 20, 2021 - 7:10 pm
-
Typed Assembly Language for Implementing OS Kernels in SMP/Multi-Core Environments with Interrupts
Association}, month = oct} Download http://www.usenix.org/events/ssv10/tech/full_papers ...admin - December 20, 2021 - 5:07 pm
-
Counterexample-Guided Abstraction Refinement for PLCs
http://www.usenix.org/events/ssv10/tech/full_papers/Biallas.pdf http://www.usenix.org/events/ssv10/tech/slides/biallas.pdf ...admin - December 20, 2021 - 5:07 pm
-
dBug: Systematic Evaluation of Distributed Systems
http://www.usenix.org/events/ssv10/tech/full_papers/Simsa.pdf http://www.usenix.org/events/ssv10/tech/slides/simsa.pdf ...admin - December 20, 2021 - 5:07 pm
-
Model-based Testing Without a Model: Assessing Portability in the Seattle Testbed
Association}, month = oct} Download http://www.usenix.org/events/ssv10/tech/full_papers ...admin - December 20, 2021 - 5:07 pm
-
Correctness Proofs for Device Drivers in Embedded Systems
http://www.usenix.org/events/ssv10/tech/full_papers/Duan.pdf http://www.usenix.org/events/ssv10/tech/slides/duan.pdf ...admin - December 20, 2021 - 5:37 pm
-
Lyrebird—Assigning Meanings to Machines
http://www.usenix.org/events/ssv10/tech/full_papers/Cock.pdf http://www.usenix.org/events/ssv10/tech/slides/cock.pdf ...admin - December 20, 2021 - 5:37 pm
-
How Hard Can It Be? Designing and Implementing a Deployable Multipath TCP
Costin Raiciu, Universitatea Politehnica Bucuresti; Christoph Paasch and Sebastien Barre, Université Catholique de Louvain; Alan Ford; Michio Honda, Keio University; Fabien Duchene and Olivier Bonaventure, Université Catholique de Louvain; Mark Handley, U ...jel - December 18, 2021 - 5:52 am
-
The TCP Outcast Problem: Exposing Unfairness in Data Center Networks
Pawan Prakash, Advait Dixit, Y. Charlie Hu, and Ramana Kompella, Purdue University In this paper ... significantly, as they lose more consecutive packets leading to TCP timeouts. In this paper, we show the ...jel - December 18, 2021 - 5:52 am
-
A Precise Memory Model for Low-Level Bounded Model Checking
http://www.usenix.org/events/ssv10/tech/full_papers/Sinz.pdf http://www.usenix.org/events/ssv10/tech/slides/sinz.pdf ...admin - December 20, 2021 - 5:37 pm
-
Verification of Stack Manipulation in the SCIP Processor
http://www.usenix.org/events/ssv10/tech/full_papers/Pendergrass.pdf http://www.usenix.org/events/ssv10/tech/slides/pendergrass.pdf ...admin - December 20, 2021 - 5:37 pm