Konferenzbeitrag (910)

1181.
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)
1182.
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)
1183.
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)
1184.
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)
1185.
Konferenzbeitrag
Mislove, A.; Post, A.; Haeberlen, A.; Druschel, P.: Experiences in Building and Operating ePOST, a Reliable Peer-to-Peer Application. In: Proceedings of EuroSys 2006, S. 147 - 160. ACM, New York, USA (2006)
1186.
Konferenzbeitrag
Singh, A.; Ngan, T.-W. ".; Druschel, P.; Wallach, D. S.: Eclipse Attacks on Overlay Networks: Threats and Defenses. In: 25th IEEE International Conference on Computer Communications (INFOCOM 2006). IEEE, Barcelona, Spain (2006)
1187.
Konferenzbeitrag
Singh, A.; Roscoe, T.; Maniatis, P.; Druschel, P.: Using Queries for Distributed Monitoring and Forensics. In: Proceedings of EuroSys 2006, S. 389 - 402. ACM, New York, USA (2006)
1188.
Konferenzbeitrag
Sit, E.; Haeberlen, A.; Dabek, F.; Chun, B.-G.; Weatherspoon, H.; Morris, R.; Kaashoek, M. F.; Kubiatowicz, J.: Proactive replication for data durability. In: 5th International Workshop on Peer-to-Peer Systems (IPTPS'06), S. 43 - 48. (2006)
1189.
Konferenzbeitrag
Zhang, B.; Ng, T. S. E.; Nandi, A.; Riedi, R.; Druschel, P.; Wang, G.: Measurement-Based Analysis, Modeling, and Synthesis of the Internet Delay Space. In: Proceedings of the 6th ACM SIGCOMM Conference on Internet Measurement 2006, S. 85 - 98. ACM, New York, USA (2006)

Konferenzbericht (1)

1190.
Konferenzbericht
Chen, Y.; Acar, U. A.; Tangwongsan, K.: Functional Programming for Dynamic and Large Data with Self-Adjusting Computation. In: ICFP'14, S. 227 - 240. ACM SIGPLAN International Conference on Functional Programming, Gothenburg, Sweden, 01. September 2014 - 03. September 2014. ACM, New York, NY (2014)

Poster (2)

1191.
Poster
Mavroforakis, C.; Valera, I.; Gomez Rodriguez, M.: Hierarchical Dirichlet Hawkes Process for modeling the Dynamics of Online Learning Activity. Workshop on Networks in the Social and Information Sciences, Montréal, Quebec, Canada (2015)
1192.
Poster
Dischinger, M.; Haeberlen, A.; Gummadi, K. P.; Saroiu, S.: Residential Broadband Networks: Characteristics and Implications. (2008)

Hochschulschrift - Doktorarbeit (31)

1193.
Hochschulschrift - Doktorarbeit
Karimov, T.: Algorithmic Verification of Linear Dynamical Systems. Dissertation, vii, 200 pages S., Universität des Saarlandes, Saarbrücken (2023)
1194.
Hochschulschrift - Doktorarbeit
Sammler, M.: Automated and Foundational Verification of Low-level Programs. Dissertation, ix, 168 S., Universität des Saarlandes, Saarbrücken (2023)
1195.
Hochschulschrift - Doktorarbeit
Stark (Blass), T.: Real-Time Execution Management in the ROS 2 Framework. Dissertation, xvi, 189 p S., Universität des Saarlandes, Saarbrücken (2023)
1196.
Hochschulschrift - Doktorarbeit
Becker, H.: Verified Compilation and Optimization of Floating-point Kernels. Dissertation, XIII, 131 S., Universität des Saarlandes, Saarbrücken (2022)
1197.
Hochschulschrift - Doktorarbeit
Babaei, M.: Information Consumption on Social Media. Dissertation, 127 S., Universität des Saarlandes, Saarbrücken (2021)
1198.
Hochschulschrift - Doktorarbeit
Gujarati, A.: Towards “Ultra-Reliable” CPS. Dissertation, 245 S., Technische Universität Kaiserslautern, Kaiserslautern (2020)
1199.
Hochschulschrift - Doktorarbeit
Jung, R.: Understanding and Evolving the Rust Programming Language. Dissertation, VI, 287 S., Universität des Saarlandes, Saarbrücken (2020)
1200.
Hochschulschrift - Doktorarbeit
Rajani, V.: A Type-theory for Higher-order Amortized Analysis. Dissertation, XI, 113 S., Universität des Saarlandes, Saarbrücken (2020)
Zur Redakteursansicht