Konferenzbeitrag (910)

961.
Konferenzbeitrag
Acar, U. A.; Chargueraud, A.; Rainey, M.: Scheduling Parallel Programs by Work Stealing with Private Deques. In: PPoPP'13, S. 219 - 228. ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, Shenzhen, China, 23. Februar 2013 - 27. Februar 2013. ACM, New York, NY (2013)
962.
Konferenzbeitrag
Alvisi, L.; Clement, A.; Epasto, A.; Lattanzi, S.; Panconesi, A.: SoK: The Evolution of Sybil Defense via Social Networks. In: 2013 IEEE Symposium on Security and Privacy, S. 382 - 396. IEEE Symposium on Security and Privacy, Berkeley, CA, USA, 19. Mai 2013 - 22. Mai 2013. IEEE, Los Alamitos, CA (2013)
963.
Konferenzbeitrag
An, J.; Quercia, D.; Cha, M.; Gummadi, K.; Crowcroft, J.: Traditional Media Seen from Social Media. In: WebSci '13, S. 11 - 14. 5th Annual ACM Web Science Conference, Paris, France, 02. Mai 2013 - 04. Mai 2013. ACM, New York, NY (2013)
964.
Konferenzbeitrag
Backstrom, L.; Kleinberg, J.; Lee, L.; Danescu-Niculescu-Mizil, C.: Characterizing and Curating Conversation Threads: Expansion, Focus, Volume, Re-entry. In: Proceedings of the 6th ACM International Conference on Web Search and Data Mining, S. 13 - 22. 6th ACM International Conference on Web Search and Data Mining, Rome, Italy, 04. Februar 2013 - 08. Februar 2013. ACM, New York, NY (2013)
965.
Konferenzbeitrag
Baruah, S.; Brandenburg, B.: Multiprocessor Feasibility Analysis of Recurrent Task Systems with Specified Processor Affinities. In: Proceedings IEEE 34th Real-Time Systems Symposium, S. 160 - 169. 34th Real-Time Systems Symposium, Vancouver, Canada, 03. Dezember 2013 - 06. Dezember 2013. IEEE, Piscataway, NJ (2013)
966.
Konferenzbeitrag
Baumann, A.; Lee, D.; Fonseca, P.; Glendenning, L.; Lorch, J. R.; Bond, B.; Olinsky, R.; Hunt, G. C.: Composing OS Extensions Safely and Efficiently with Bascule. In: EuroSys'13, S. 239 - 252. 8th ACM European Conference on Computer Systems, Prague, Czech Republic, 14. April 2013 - 17. April 2013. ACM, New York, NY (2013)
967.
Konferenzbeitrag
Bergstrom, L.; Fluet, M.; Rainey, M.; Reppy, J.; Rosen, S.; Shaw, A.: Data-only Flattening for Nested Data Parallelism. In: PPoPP'13, S. 81 - 92. ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, Shenzhen, China, 23. Februar 2013 - 27. Februar 2013. ACM, New York, NY (2013)
968.
Konferenzbeitrag
Brandenburg, B.: A Fully Preemptive Multiprocessor Semaphore Protocol for Latency-Sensitive Real-Time Applications. In: Proceedings of the 25th Euromicro Conference on Real-Time Systems, S. 292 - 302. 25th Euromicro Conference on Real-Time Systems, Paris, France, 09. Juli 2013 - 12. Juli 2013. IEEE, Los Alamitos, CA (2013)
969.
Konferenzbeitrag
Brandenburg, B.: Improved Analysis and Evaluation of Real-Time Semaphore Protocols for P-FP Scheduling. In: IEEE 19th Real-Time and Embedded Technology and Applications Symposium, S. 141 - 152. 19th Real-Time and Embedded Technology and Applications Symposium, Philadelphia, PA, USA, 09. April 2013 - 11. April 2013. IEEE, Los Alamitos, CA (2013)
970.
Konferenzbeitrag
Calin, G.; Derevenetc, E.; Majumdar, R.; Meyer, R.: A Theory of Partitioned Global Address Spaces. In: IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, S. 127 - 139 (Hg. Seth, A.; Vishnoi, N. K.). IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Scienc, Guwahati, India, 12. Dezember 2013 - 14. Dezember 2013. Schloss Dagstuhl, Wadern (2013)
971.
Konferenzbeitrag
Cerqueira, F.; Brandenburg, B.: A Comparison of Scheduling Latency in Linux, PREEMPT-RT, and LITMUS RT. In: Proceedings of OSPERT 2013 9th Annual Workshop on Operating Systems Platforms for Embedded Real-Time Applications, S. 19 - 29 (Hg. Bastoni, A.; Kato, S.). 9th Annual Workshop on Operating Systems Platforms for Embedded Real-Time Applications, Paris, France, 09. Juli 2013. SYSGO AG, s.l. (2013)
972.
Konferenzbeitrag
Chen, R.; Akkus, I. E.; Francis, P.: SplitX: High-performance Private Analytics. In: SIGCOMM'13, S. 315 - 326. SIGCOMM 2013, Hong Kong, China, 12. August 2013 - 16. August 2013. ACM, New York, NY (2013)
973.
Konferenzbeitrag
Chistikov, D. V.; Majumdar, R.: A Uniformization Theorem for Nested Word to Word Transductions. In: Implementation and Application of Automata, S. 97 - 108 (Hg. Konstantinidis, S.). 18th International Conference on Implementation and Application of Automata , Halifax, Canada,, 16. Juli 2013 - 19. Juli 2013. Springer, Berlin (2013)
974.
Konferenzbeitrag
Claret, G.; González Huesca, L. d. C.; Régis-Gianas, Y.; Ziliani, B.: Lightweight Proof by Reflection Using a Posteriori Simulation of Effectful Computation. In: Interactive Theorem Proving, S. 67 - 83 (Hg. Blazy, S.; Paulin-Mohring, C.; Pichardie, D.). 4th International Conference on Interactive Theorem Provin, Rennes, France, 22. Juli 2013 - 26. Juli 2013. Springer, Berlin (2013)
975.
Konferenzbeitrag
Danescu-Niculescu-Mizil, C.; Sudhof, M.; Jurafsky, D.; Leskovec, J.; Potts, C.: A Computational Approach to Politeness with Application to Social Factors. In: Proceedings of the 51st Annual Meeting of the Association for Computational Linguistics, S. 250 - 259. 51st Annual Meeting of the Association for Computational Linguistics, Sofia, Bulgaria, 04. August 2013 - 09. August 2013. ACL, [s.l.] (2013)
976.
Konferenzbeitrag
Danescu-Niculescu-Mizil, C.; West, R.; Jurafsky, D.; Leskovec, J.: No Country for Old Members: User Lifecycle and Linguistic Change in Online Communities. In: WWW'13, S. 307 - 318. 22nd International Conference on World Wide Web, Rio de Janeiro, Brazil, 13. Mai 2013 - 17. Mai 2013. ACM, New York, NY (2013)
977.
Konferenzbeitrag
Darulova, E.; Kuncak, V.; Majumdar, R.; Saha, I.: Synthesis of Fixed-Point Programs. In: Proceedings of the International Conference on Embedded Software, S. 1 - 10. Proceedings of the International Conference on Embedded Software , Montreal, Canada, 29. September 2013 - 04. Oktober 2013. IEEE, Piscataway, NJ (2013)
978.
Konferenzbeitrag
Dunfield, J.; Krishnaswami, N.: Complete and Easy Bidirectional Typechecking for Higher-rank Polymorphism. In: ICFP'13, S. 429 - 442. ACM SIGPLAN International Conference on Functional Programming , Boston, MA, USA, 25. September 2013 - 27. September 2013. ACM, New York, NY (2013)
979.
Konferenzbeitrag
Esparza, J.; Ganty, P.; Majumdar, R.: Parameterized Verification of Asynchronous Shared-Memory Systems. In: Computer Aided Verification, S. 124 - 140 (Hg. Sharygina, N.; Veith, H.). 25th International Conference on Computer Aided Verification, Saint Petersburg, Russia, 13. Juni 2013 - 19. Juni 2013. Springer, Berlin (2013)
980.
Konferenzbeitrag
Franz, M.; Holzer, A.; Majumdar, R.; Parno, B.; Veith, H.: The First Workshop on Language Support for Privacy-enhancing Technologies (PETShop'13). In: CCS'13, S. 1085 - 1086. ACM SIGSAC Conference on Computer and Communications Security, Berlin, Germany, 04. November 2013 - 08. November 2013. ACM, New York, NY (2013)
Zur Redakteursansicht