Konferenzbeitrag (913)

1061.
Konferenzbeitrag
Acar, U. A.; Hudson, B.; Türkoglu, D.: Kinetic mesh refinement in 2D. In: Proceedings of the Twenty-Seventh Annual Symposium on Computational Geometry (SCG’11), S. 341 - 350. SCG '11, Paris, France, 13. Juni 2011 - 14. Juni 2011. ACM, New York, NY (2011)
1062.
Konferenzbeitrag
An, J.; Cha, M.; Gummadi, K. P.; Crowcroft, J.: Media Landscape in Twitter: A World of New Conventions and Political Diversity. In: Proceedings of the Fifth International Conference on Weblogs and Social Media, S. 18 - 25. ICWSM 2011, Barcelona, Spain, 17. Juli 2011 - 21. Juli 2011. AAAI, Menlo Park, CA (2011)
1063.
Konferenzbeitrag
Bhatotia, P.; Wieder, A.; Akkus, I. E.; Rodrigues, R.; Acar, U. A.: Large-scale incremental data processing with change propagation. In: 3rd USENIX Workshop on Hot Topics in Cloud Computing (HotCloud '11), S. 1 - 5. HotCloud '11, Portland, OR, 14. Juni 2011 - 15. Juni 2011. USENIX, Berkeley, CA (2011)
1064.
Konferenzbeitrag
Bhatotia, P.; Wieder, A.; Rodrigues, R.; Acar, U. A.; Pasquini, R.: Incoop: MapReduce for incremental computations. In: Proceedings of the Second ACM Symposium on Cloud Computing: SOCC 2011, 7, S. 7:1 - 7:14. SOCC 2011, Cascais, Portugal, 26. Oktober 2011 - 28. Oktober 2011. ACM, New York, NY (2011)
1065.
Konferenzbeitrag
Charguéraud, A.: Characteristic formulae for the verification of imperative programs. In: ICFP’11: Proceedings of the 2011 ACM SIGPLAN International Conference on Functional Programming, S. 418 - 430. ICFP'11, Tokyo, Japan, 19. September 2011 - 21. September 2011. ACM, New York, NY (2011)
1066.
Konferenzbeitrag
Chatterjee, K.; Majumdar, R.: Minimum Attention Controller Synthesis for Omega-Regular Objectives. In: Formal Modeling and Analysis of Timed Systems: 9th International Conference, FORMATS 2011, S. 145 - 159 (Hg. Fahrenberg, U.; Tripakis, S.). FORMATS 2011, Aalborg, Denmark, 21. September 2011 - 23. September 2011. Springer, Berlin (2011)
1067.
Konferenzbeitrag
Chen, R.; Lua, E. K.; Cai, Z.: Bring Order to Online Social Networks. In: 2011 Proceedings IEEE INFOCOM, S. 541 - 545. INFOCOM 2011, Shanghai, China, 10. April 2011 - 15. April 2011. IEEE, Piscataway, NJ (2011)
1068.
Konferenzbeitrag
Fonseca, P.; Li, C.; Rodrigues, R.: Finding complex concurrency bugs in large multi-threaded applications. In: EuroSys '11: proceedings of the EuroSys 2011 Conference, S. 215 - 228. EuroSys '11, Salzburg, Austria, 10. April 2011 - 13. April 2011. ACM, New York, NY (2011)
1069.
Konferenzbeitrag
Garcia, R.; Rodrigues, R.; Preguiςa, N.: Efficient middleware for Byzantine fault tolerant database replication. In: EuroSys '11: proceedings of the EuroSys 2011 Conference, S. 107 - 122. EuroSys '11, Salzburg, Austria, 10. April 2011 - 13. April 2011. ACM, New York, NY (2011)
1070.
Konferenzbeitrag
Gonthier, G.; Ziliani, B.; Nanevski, A.; Dreyer, D.: How to Make Ad Hoc Proof Automation Less Ad Hoc. In: ICFP’11: proceedings of the 2011 ACM SIGPLAN International Conference on Functional Programming, S. 163 - 175. ICFP’11, Tokyo, Japan, 19. September 2011 - 21. September 2011. ACM, New York, NY (2011)
1071.
Konferenzbeitrag
Guha, S.; Cheng, B.; Francis, P.: Privad: Practical Privacy in Online Advertising. In: NSDI ’11: 8th USENIX Symposium on Networked Systems Design and Implementation, S. 169 - 182. NSDI'11, Boston, MA, USA, 30. März 2011 - 01. April 2011. USENIX, Berkeley, CA (2011)
1072.
Konferenzbeitrag
Hammer, M. A.; Neis, G.; Chen, Y.; Acar, U. A.: Self-adjusting stack machines. OOPSLA '11, Portland, OR, 22. Oktober 2011 - 28. Oktober 2011. Proceedings of the 2011 ACM International Conference on Object Oriented Programming Systems Languages and Applications, S. 753 - 772 (2011)
1073.
Konferenzbeitrag
Hur, C.-K.; Dreyer, D.: A Kripke Logical Relation Between ML and Assembly. In: POPL’11 Proceedings of the 38th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, S. 133 - 146. POPL’11, Austin, Texas, 26. Januar 2011 - 28. Januar 2011. ACM, New York, NY (2011)
1074.
Konferenzbeitrag
Hur, C.-K.; Dreyer, D.; Vafeiadis, V.: Separation Logic in the Presence of Garbage Collection. In: 26th Annual IEEE Symposium on Logic in Computer Science: proceedings, S. 247 - 256. LICS 2011, Toronto, Ontario, Canada, 21. Juni 2011 - 24. Juni 2011. IEEE Computer Society, Los Alamitos, CA (2011)
1075.
Konferenzbeitrag
Jhala, R.; Majumdar, R.; Rybalchenko, A.; Qadeer, S.: HMC: Verifying Functional Programs Using Abstract Interpreters. In: Computer Aided Verification: 23rd International Conference, CAV 2011, S. 470 - 486 (Hg. Gopalakrishnan, G.; Qadeer, S.). CAV 2011, Snowbird, UT, USA,, 14. Juli 2011 - 20. Juli 2011. Springer, Berlin (2011)
1076.
Konferenzbeitrag
Jose, M.; Majumdar, R.: Bug-Assist: Assisting Fault Localization in ANSI-C Programs. In: Computer Aided Verification: 23rd International Conference, CAV 2011, S. 504 - 509 (Hg. Gopalakrishnan, G.; Qadeer, S.). CAV 2011, Snowbird, UT, USA, 14. Juli 2011 - 20. Juli 2011. Springer, Berlin (2011)
1077.
Konferenzbeitrag
Jose, M.; Majumdar, R.: Cause Clue Clauses:Error Localization using Maximum Satisfiability. In: PLDI’11: Proceedings of the 2011 ACM Conference on Programming Language Design and Implementation, S. 437 - 446. PLDI'11, San Jose, CA, USA, 04. Juni 2011 - 08. Juni 2011. ACM, New York, NY (2011)
1078.
Konferenzbeitrag
Liu, Y.; Gummadi, K. P.; Krishnamurthy, B.; Mislove, A.: Analyzing Facebook Privacy Settings:User Expectations vs. Reality. In: Proceedings of the 2011 ACM SIGCOMM Internet Measurement Conference, S. 61 - 70. IMC’11, Berlin, Germany, 02. November 2011 - 04. November 2011. ACM, New York, NY (2011)
1079.
Konferenzbeitrag
Lua, E. K.; Chen, R.; Cai, Z.: Social Trust and Reputation in Online Social Networks. In: 2011 17th IEEE International Conference on Parallel and Distributed Systems (ICPADS 2011), S. 811 - 816. ICPADS 2011, Tainan, Taiwan, 17. Dezember 2011 - 19. Dezember 2011. IEEE, Piscataway, NJ (2011)
1080.
Konferenzbeitrag
Majumdar, R.; Render, E.; Tabuada, P.: Robust Discrete Synthesis against Unspecified Disturbances. In: HSCC’11: Proceedings of the 2011 ACM/SIGBED Hybrid Systems: Computation and Control, S. 211 - 220. HSCC'11, Chicago, IL, USA, 12. April 2011 - 14. April 2011. ACM, New York, NY (2011)
Zur Redakteursansicht