Konferenzbeitrag (933)
1201.
Konferenzbeitrag
Characterizing Residential Broadband Networks. In: IMC'07: proceedings of the 2007 ACM SIGCOMM, S. 43 - 56. ACM, New York, USA (2007)
1202.
Konferenzbeitrag
PeerReview: practical accountability for distributed systems. In: SOSP’07: proceedings of the 21st ACM Symposium on, S. 175 - 188. ACM, New York, NY (2007)
1203.
Konferenzbeitrag
Exploiting Social Interactions in Mobile Systems. In: UbiComp 2007: 9th International Conference, UbiComp 2007, S. 409 - 428 (Hg. Krumm, J.; Abowd, G. D.; Seneviratne, A.; Strang, T.). Springer, Berlin, Germany (2007)
1204.
Konferenzbeitrag
Measurement and Analysis of Online Social Networks. In: IMC'07: proceedings of the 2007 ACM SIGCOMM, S. 29 - 42. ACM, New York, NY, USA (2007)
1205.
Konferenzbeitrag
SAAR: A Shared Control Plane for Overlay Multicast. In: Proceedings of the 4th USENIX Symposium on Networked Systems Design & Implementation (NSDI'07), S. 57 - 72. USENIX, Berkeley, USA (2007)
1206.
Konferenzbeitrag
Synchronizing without Locks is Inherently Expensive. In: Twenty-Fifth Annual ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing (PODC 2006), S. 300 - 307. ACM, New York, USA (2006)
1207.
Konferenzbeitrag
Efficient Replica Maintenance for Distributed Storage Systems. In: 3rd Symposium on Networked Systems Design & Implementation, S. 45 - 58. USENIX, Berkeley, CA (2006)
1208.
Konferenzbeitrag
The Weakest Failure Detectors to Boost Obstruction-Freedom. In: 20th International Symposium on Distributed Computing (DISC 2006), S. 399 - 412. Springer, Berlin (2006)
1209.
Konferenzbeitrag
Monarch: A Tool to Emulate Transport Protocol Flows over the Internet at Large. In: 2006 ACM SIGCOMM Internet Measurement Conference, S. 105 - 118. ACM, New York, USA (2006)
1210.
Konferenzbeitrag
The Case for Byzantine Fault Detection. In: 2nd Workshop on Hot Topics in System Dependability, S. 1 - 6. USENIX, Berkeley, CA (2006)
1211.
Konferenzbeitrag
Fallacies in evaluating decentralized systems. In: 5th International Workshop on Peer-to-Peer Systems (IPTPS'06), S. 19 - 24. (2006)
1212.
Konferenzbeitrag
Thread-modular verification is Cartesian abstract interpretation. In: Theoretical Aspects of Computing -- ICTAC 2006, S. 183 - 197 (Hg. Barkaoui, K.; Cavalcanti, A.; Cerone, A.). Third International Colloquium on Theoretical Aspects of Computing, Tunis, Tunesia, 20. November 2006 - 24. November 2006. Springer, Berlin (2006)
1213.
Konferenzbeitrag
Model Checking Duration Calculus: A Practical Approach. In: Theoretical Aspects of Computing -- ICTAC 2006, S. 332 - 346 (Hg. Barkaoui, K.; Cavalcanti, A.; Cerone, A.). Third International Colloquium on Theoretical Aspects of Computing, Tunis, Tunesia, 20. November 2006 - 24. November 2006. Springer, Berlin (2006)
1214.
Konferenzbeitrag
Exploiting Social Networks for Internet Search. In: Record of the Fifth Workshop on Hot Topics in Networks, S. 79 - 84. Fifth Workshop on Hot Topics in Networks, Irvine, CA, USA, 29. November 2006 - 30. November 2006. ACM, New York, NY (2006)
1215.
Konferenzbeitrag
Experiences in Building and Operating ePOST, a Reliable Peer-to-Peer Application. In: Proceedings of EuroSys 2006, S. 147 - 160. ACM, New York, USA (2006)
1216.
Konferenzbeitrag
Eclipse Attacks on Overlay Networks: Threats and Defenses. In: 25th IEEE International Conference on Computer Communications (INFOCOM 2006). IEEE, Barcelona, Spain (2006)
1217.
Konferenzbeitrag
Using Queries for Distributed Monitoring and Forensics. In: Proceedings of EuroSys 2006, S. 389 - 402. ACM, New York, USA (2006)
1218.
Konferenzbeitrag
Proactive replication for data durability. In: 5th International Workshop on Peer-to-Peer Systems (IPTPS'06), S. 43 - 48. (2006)
1219.
Konferenzbeitrag
Measurement-Based Analysis, Modeling, and Synthesis of the Internet Delay Space. In: Proceedings of the 6th ACM SIGCOMM Conference on Internet Measurement 2006, S. 85 - 98. ACM, New York, USA (2006)
Konferenzbericht (1)
1220.
Konferenzbericht
Functional Programming for Dynamic and Large Data with Self-Adjusting Computation. In: ICFP'14, S. 227 - 240. ACM SIGPLAN International Conference on Functional Programming, Gothenburg, Sweden, 01. September 2014 - 03. September 2014. ACM, New York, NY (2014)