Konferenzbeitrag (774)

961.
Konferenzbeitrag
Dreyer, D.; Rossberg, A.: Mixin' Up the ML Module System. In: ICFP’08: proceedings of the 2008 SIGPLAN International Conference on Functional Programming, S. 307 - 320. ACM, New York, NY (2008)
962.
Konferenzbeitrag
Ford, B.; Iyengar, J.: Breaking Up the Transport Logjam. In: Seventh ACM Workshop on Hot Topics in Networks (HotNets-VII), S. 15.1 - 6. ACM, New York, NY (2008)
963.
Konferenzbeitrag
Gupta, A.; Henzinger, T. A.; Majumdar, R.; Rybalchenko, A.; Xu, R.-G.: Proving non-termination. In: POPL’08: proceedings of the 35th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, S. 147 - 158 (Hg. Necula, G. C.; Wadler, P.). ACM, New York, NY (2008)
964.
Konferenzbeitrag
Haeberlen, A.; Rodrigues, R.; Gummadi, K. P.; Druschel, P.: Pretty Good Packet Authentication. In: HotDep '08: 4th Workshop on Hot Topics in System Dependability, S. 1 - 5. USENIX, Berkeley, CA (2008)
965.
Konferenzbeitrag
Podelski, A.; Rybalchenko, A.; Wies, T.: Heap Assumptions on Demand. In: Computer Aided Verification: 20th International Conference, CAV 2008, S. 314 - 327 (Hg. Gupta, A.; Malik, S.). Springer, New York, USA (2008)
966.
Konferenzbeitrag
Rossberg, A.: Dynamic Translucency with Abstraction Kinds and Higher-Order Coercions. In: Proceedings of the 24th Conference on the Mathematical Foundations of Programming Semantics (MFPS XXIV), S. 313 - 336 (Hg. Bauer, A.; Mislove, M.). Elsevier, New York, USA (2008)
967.
Konferenzbeitrag
Dischinger, M.; Haeberlen, A.; Gummadi, K. P.; Saroiu, S.: Characterizing Residential Broadband Networks. In: IMC'07: proceedings of the 2007 ACM SIGCOMM, S. 43 - 56. ACM, New York, USA (2007)
968.
Konferenzbeitrag
Haeberlen, A.; Kuznetsov, P.; Druschel, P.: PeerReview: practical accountability for distributed systems. In: SOSP’07: proceedings of the 21st ACM Symposium on, S. 175 - 188. ACM, New York, NY (2007)
969.
Konferenzbeitrag
Miklas, A. G.; Gollu, K. K.; Chan, K. K. W.; Saroiu, S.; Gummadi, K. P.; de Lara, E.: 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)
970.
Konferenzbeitrag
Mislove, A.; Marcon, M.; Gummadi, K. P.; Druschel, P.; Bhattacharjee, B.: 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)
971.
Konferenzbeitrag
Nandi, A.; Ganjam, A.; Druschel, P.; Ng, T.S.E.; Stoica, I.; Zhang, H.; Bhattacharjee, B.: 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)
972.
Konferenzbeitrag
Attiya, H.; Guerraoui, R.; Hendler, D.; Kouznetsov, P.: 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)
973.
Konferenzbeitrag
Chun, B.-G.; Dabek, F.; Haeberlen, A.; Sit, E.; Weatherspoon, H.; Kaashoek, M. F.; Kubiatowicz, J.; Morris, R.: Efficient Replica Maintenance for Distributed Storage Systems. In: 3rd Symposium on Networked Systems Design & Implementation, S. 45 - 58. USENIX, Berkeley, CA (2006)
974.
Konferenzbeitrag
Guerraoui, R.; Kapałka, M.; Kouznetsov, P.: The Weakest Failure Detectors to Boost Obstruction-Freedom. In: 20th International Symposium on Distributed Computing (DISC 2006), S. 399 - 412. Springer, Berlin (2006)
975.
Konferenzbeitrag
Haeberlen, A.; Dischinger, M.; Gummadi, K. P.; Saroiu, S.: 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)
976.
Konferenzbeitrag
Haeberlen, A.; Kouznetsov, P.; Druschel, P.: The Case for Byzantine Fault Detection. In: 2nd Workshop on Hot Topics in System Dependability, S. 1 - 6. USENIX, Berkeley, CA (2006)
977.
Konferenzbeitrag
Haeberlen, A.; Mislove, A.; Post, A.; Druschel, P.: Fallacies in evaluating decentralized systems. In: 5th International Workshop on Peer-to-Peer Systems (IPTPS'06), S. 19 - 24. (2006)
978.
Konferenzbeitrag
Malkis, A.; Podelski, A.; Rybalchenko, A.: 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)
979.
Konferenzbeitrag
Meyer, R.; Faber, J.; Rybalchenko, A.: 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)
980.
Konferenzbeitrag
Mislove, A.; Gummadi, K. P.; Druschel, P.: 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)
Zur Redakteursansicht