Konferenzbeitrag (938)
1121.
Konferenzbeitrag
Iterative Refinement of Specification for Component Based Embedded Systems. In: 2011 International Symposium on Software Testing and Analysis (ISSTA 2011), S. 276 - 286 (Hg. Dwyer, M. B.; Tip, F.). ISSTA 2011, Toronto, ON, Canada, 17. Juli 2011 - 21. Juli 2011. ACM, New York, NY (2011)
1122.
Konferenzbeitrag
Fast parallel and adaptive updates for dual-decomposition solvers. In: Proceedings of the Twenty-Fifth AAAI Conference on Artificial Intelligence, S. 1076 - 1082. AAAI 2011, San Francisco, CA, 07. August 2011 - 11. August 2011. AAAI, Palo Alto, CA (2011)
1123.
Konferenzbeitrag
What’s in a Name: A Study of Names, Gender Inference, and Gender Behavior in Facebook. In: Database Systems for Adanced Applications: 16th International Conference, DASFAA 2011 InternationalWorkshops: GDB, SIM3, FlashDB, SNSMW, DaMEN, DQIS, S. 344 - 356 (Hg. Xu, J.; Yu, G.; Zhou, S.; Unland, R.). SNSMW 2011, Hong Kong, China, 22. April 2011 - 25. April 2011. Springer, Berlin (2011)
1124.
Konferenzbeitrag
276, S. 335 - 351 (2011)
Concurrent Separation Logic and Operational Semantics. MFPS 2011, Pittsburgh, PA, USA, 25. Mai 2011 - 28. Mai 2011. Electronic Notes in Theoretical Computer Science 1125.
Konferenzbeitrag
Verifying Fence Elimination Optimisations. In: Static Analysis: 18th International Symposium, SAS 2011, S. 146 - 162 (Hg. Yahav, E.). SAS 2011, Venice, Italy, 14. September 2011 - 16. September 2011. Springer, Berlin (2011)
1126.
Konferenzbeitrag
Regret Freedom Isn’t Free. In: Principles of Distributed Systems: 15th International Conference, OPODIS 2011, S. 80 - 95 (Hg. Fernández Anta, A.; Lipari, G.; Roy, M.). OPODIS 2011, Toulouse, France, 13. Dezember 2011 - 16. Dezember 2011. Springer, Berlin (2011)
1127.
Konferenzbeitrag
A graph model of data and workflow provenance. In: TAPP'10: Proceedings of the 2nd Conference on Theory and Practice of Provenance, S. 8 - 8. 2nd Conference on Theory and Practice of Provenance (TAPP 2010), San Jose, CA, 22. Februar 2010. USENIX, Berkeley, CA (2010)
1128.
Konferenzbeitrag
Dynamic well-spaced point sets. In: Proceedings of the Twenty-Sixth Annual Symposium on Computational Geometry (SCG'10), S. 314 - 323. 26th Annual Symposium on Computational Gemoetry (SCG 2010), Snowbird, Utah, 13. Juni 2010 - 16. Juni 2010. ACM, New York, NY (2010)
1129.
Konferenzbeitrag
Kinetic mesh refinement in 2D. In: Proceedings, 20th Annual Fall Workshop on Computational Geometry, 35, S. 1 - 4. 20th Annual Fall Workshop on Computational Geometry, Stony Brook, NY, 29. Oktober 2010 - 30. Oktober 2010. Stony Brook State University of New York, Stony Brook, NY (2010)
1130.
Konferenzbeitrag
Traceable data types for self-adjusting computation. In: PLDI’10: proceedings of the 2010 ACM SIGPLAN Conference on Programming Language Design and Implementation, S. 483 - 496. 2010 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2010), Toronto, Ontario, 05. Juni 2010 - 10. Juni 2010. ACM, New York, NY (2010)
1131.
Konferenzbeitrag
Automatic verification of control system implementations. In: ESWEEK 2010 compilation proceedings (CASES, CODES+ISSS, & EMSOFT), S. 9 - 18. International Conference on Embedded Software (EMSOFT 2010), Scottsdale, Arizona, 24. Oktober 2010 - 29. Oktober 2010. ACM, New York, NY (2010)
1132.
Konferenzbeitrag
Speaker recognition in encrypted voice streams. In: Computer Security - ESORICS 2010: 15th European Symposium on Research in Computer Security, S. 508 - 523 (Hg. Gritzalis, D.; Preneel, B.; Theoharidou, M.). 15th European Symposium on Research in Computer Security (ESORICS 2010), Athen, 20. September 2010 - 22. September 2010. Springer, Berlin (2010)
1133.
Konferenzbeitrag
Reliable data-center scale computations. In: Proceedings of the 4th ACM/SIGOPS Workshop on Large-Scale Distributed Systems and Middleware (LADIS 2010), S. 1 - 6. 4th ACM/SIGOPS Workshop on Large-Scale Distributed Systems and Middleware (LADIS 2010), Zürich, 28. Juli 2010 - 29. Juli 2010. ACM, New York, NY (2010)
1134.
Konferenzbeitrag
Measuring user influence in Twitter: the million follower fallacy. In: Proceedings of the Fourth International AAAI Conference on Weblogs and Social Media (ICWSM 2010), S. 10 - 17. Fourth International AAAI Conference on Weblogs and Social Media (ICWSM 2010), Washington, DC, 23. Mai 2010 - 26. Mai 2010. AAAI Press, Menlo Park, CA (2010)
1135.
Konferenzbeitrag
Discounting in games across time scales. In: Proceedings First Symposium on Games, Automata, Logic, and Formal Verification, S. 22 - 29 (Hg. Montanari, A.; Napoli, M.; Parente, M.). First International Symposium on Games, Automata, Logics and Formal Verification (GandALF), Minori, 17. Juni 2010 - 18. Juni 2010. EPTCS, s.l. (2010)
1136.
Konferenzbeitrag
Glasnost: Enabling End Users to Detect Traffic Differentiation. In: Proceedings of NSDI ’10: 7th USENIX Symposium on Networked Systems Design and Implementation, S. 405 - 418. 7th USENIX Symposium on Networked Systems Design and Implementation (NSDI 2010), San Jose, CA, 28. April 2010 - 30. April 2010. USENIX (2010)
1137.
Konferenzbeitrag
The impact of higher-order state and control effects on local relational reasoning. In: ICFP’10: proceedings of the 2010 ACM SIGPLAN International Conference on Functional Programming, S. 143 - 156. 2010 ACM SIGPLAN International Conference on Functional Programming (ICFP 2010), Baltimore, MA, 27. September 2010 - 29. September 2010. ACM, New York, NY (2010)
1138.
Konferenzbeitrag
A relational modal logic for higher-order stateful ADTs. In: POPL’10: proceedings of the 37th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, S. 185 - 198. 37th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL 2010), Madrid, 17. Januar 2010 - 23. Januar 2010. ACM, New York, NY (2010)
1139.
Konferenzbeitrag
A study of the internal and external effects of concurrency bugs. In: Proceedings of the 2010 IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), S. 221 - 230. 2010 IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), Chicago, IL, 28. Juni 2010 - 01. Juli 2010. IEEE, Piscataway, NJ (2010)
1140.
Konferenzbeitrag
Challenges in measuring online advertising systems. In: IMC’10: proceedings of the 2010 ACM Internet Measurement Conference, S. 81 - 87. 2010 ACM Internet Measurement Conference (IMC 2010), Melbourne, 01. November 2010 - 03. November 2010. ACM, New York, NY (2010)