Conference Paper (918)

961.
Conference Paper
Oh, S. E.; Chun, Y. Y.; Jia, L.; Garg, D.; Gunter, C. A.; Datta, A.: Privacy-preserving Audit for Broker-based Health Information Exchange. In: CODASPY'14, pp. 313 - 320. 4th ACM Conference on Data and Application Security and Privacy, San Antonio, TX, USA, March 03, 2014 - March 05, 2014. ACM, New York, NY (2014)
962.
Conference Paper
Reznichenko, A.; Francis, P.: Private-by-design Advertising Meets the Real World. In: CCS'14, pp. 116 - 128. 21st ACM Conference on Computer and Communications Security, Scottsdale, AR, USA, November 03, 2014 - November 07, 2014. ACM, New York, NY (2014)
963.
Conference Paper
Spliet, R.; Vanga, M.; Brandenburg, B.; Dziadek, S.: Fast on Average, Predictable in the Worst Case: Exploring Real-time Futexes in LITMUS RT. In: IEEE 35th Real-Time Systems Symposium, pp. 96 - 105. IEEE 35th Real-Time Systems Symposium, Rome, Italy, December 02, 2014 - December 05, 2014. IEEE Computer Society, Los Alamitos, CA (2014)
964.
Conference Paper
Turon, A.; Vafeiadis, V.; Dreyer, D.: GPS: Navigating Weak Memory with Ghosts, Protocols, and Separation. In: OOPSLA'14, pp. 691 - 707. ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, Portland, OR, USA, October 20, 2014 - October 24, 2014. ACM, New York, NY (2014)
965.
Conference Paper
Valera, I.; Gomez-Rodriguez, M.; Gummadi, K.: Modeling Diffusion of Competing Products and Conventions in Social Media. In: NIPS Workshop in Networks: From Graphics to Rich Data. 2014 NIPS Workshop in Networks, Montreal, Canada, December 13, 2014. (accepted)
966.
Conference Paper
Viswanath, B.; Bashir, M. A.; Crovella, M.; Guha, S.; Gummadi, K.; Krishnamurthy, B.; Mislove, A.: Towards Detecting Anomalous User Behavior in Online Social Networks. In: Proceedings of the 23rd USENIX Security Symposium, San Diego, CA, USA, August 20-22, 2014., pp. 223 - 238. 23rd USENIX Security Symposium, San Diego, CA, USA, August 20, 2014 - August 22, 2014. USENEX, Berkeley, CA (2014)
967.
Conference Paper
Wieder, A.; Brandenburg, B.: On the Complexity of Worst-case Blocking Analysis of Nested Critical Section. In: IEEE 35th Real-Time Systems Symposium, pp. 106 - 117. IEEE 35th Real-Time Systems Symposium, Rome, Italy, December 02, 2014 - December 05, 2014. IEEE Computer Society, Los Alamitos, CA (2014)
968.
Conference Paper
Ziliani, B.; Sozeau, M.: Towards a Better-behaved Unification Algorithm for Coq. In: The 28th International Workshop on Unification, pp. 74 - 87 (Eds. Kutsia, T.; Ringeissen, C.). 28th International Workshop on Unification, Vienna, Austria, July 13, 2014. Johannes Kepler University, Linz (2014)
969.
Conference Paper
Ziliani, B.; Sozeau, M.: Towards a Better-behaved Unification Algorithm for Coq. In: The 6th Coq Workshop, pp. 1 - 2. The 6th Coq Workshop, Vienna, Austria, July 18, 2014. (2014)
970.
Conference Paper
Acar, U. A.; Chargueraud, A.; Rainey, M.: Scheduling Parallel Programs by Work Stealing with Private Deques. In: PPoPP'13, pp. 219 - 228. ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, Shenzhen, China, February 23, 2013 - February 27, 2013. ACM, New York, NY (2013)
971.
Conference Paper
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, pp. 382 - 396. IEEE Symposium on Security and Privacy, Berkeley, CA, USA, May 19, 2013 - May 22, 2013. IEEE, Los Alamitos, CA (2013)
972.
Conference Paper
An, J.; Quercia, D.; Cha, M.; Gummadi, K.; Crowcroft, J.: Traditional Media Seen from Social Media. In: WebSci '13, pp. 11 - 14. 5th Annual ACM Web Science Conference, Paris, France, May 02, 2013 - May 04, 2013. ACM, New York, NY (2013)
973.
Conference Paper
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, pp. 13 - 22. 6th ACM International Conference on Web Search and Data Mining, Rome, Italy, February 04, 2013 - February 08, 2013. ACM, New York, NY (2013)
974.
Conference Paper
Baruah, S.; Brandenburg, B.: Multiprocessor Feasibility Analysis of Recurrent Task Systems with Specified Processor Affinities. In: Proceedings IEEE 34th Real-Time Systems Symposium, pp. 160 - 169. 34th Real-Time Systems Symposium, Vancouver, Canada, December 03, 2013 - December 06, 2013. IEEE, Piscataway, NJ (2013)
975.
Conference Paper
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, pp. 239 - 252. 8th ACM European Conference on Computer Systems, Prague, Czech Republic, April 14, 2013 - April 17, 2013. ACM, New York, NY (2013)
976.
Conference Paper
Bergstrom, L.; Fluet, M.; Rainey, M.; Reppy, J.; Rosen, S.; Shaw, A.: Data-only Flattening for Nested Data Parallelism. In: PPoPP'13, pp. 81 - 92. ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, Shenzhen, China, February 23, 2013 - February 27, 2013. ACM, New York, NY (2013)
977.
Conference Paper
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, pp. 292 - 302. 25th Euromicro Conference on Real-Time Systems, Paris, France, July 09, 2013 - July 12, 2013. IEEE, Los Alamitos, CA (2013)
978.
Conference Paper
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, pp. 141 - 152. 19th Real-Time and Embedded Technology and Applications Symposium, Philadelphia, PA, USA, April 09, 2013 - April 11, 2013. IEEE, Los Alamitos, CA (2013)
979.
Conference Paper
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, pp. 127 - 139 (Eds. Seth, A.; Vishnoi, N. K.). IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Scienc, Guwahati, India, December 12, 2013 - December 14, 2013. Schloss Dagstuhl, Wadern (2013)
980.
Conference Paper
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, pp. 19 - 29 (Eds. Bastoni, A.; Kato, S.). 9th Annual Workshop on Operating Systems Platforms for Embedded Real-Time Applications, Paris, France, July 09, 2013. SYSGO AG, s.l. (2013)
Go to Editor View