Showing results 1 to 15 of 15
Title | Author(s) | Issue Date | Views | |
---|---|---|---|---|
A mechanical formalization of higher-ranked polymorphic type inference Journal:Proceedings of the ACM on Programming Languages | 2019 | |||
Capacity of P2P on-demand streaming with simple, robust and decentralized control Proceeding/Conference:IEEE Infocom Proceedings | 2013 | 64 | ||
Capacity of P2P On-Demand Streaming With Simple, Robust, and Decentralized Control Journal:IEEE/ACM Transactions on Networking | 2016 | 64 | ||
Characterizing Locality-aware P2P Streaming Journal:Journal of Communications | 2012 | |||
Contrastive Meta Learning with Behavior Multiplicity for Recommendation Proceeding/Conference:Proceedings of the Fifteenth ACM International Conference on Web Search and Data Mining | 2022 | |||
Dynamic pricing and profit maximization for the cloud with geo-distributed data centers Proceeding/Conference:IEEE Infocom Proceedings | 2014 | 63 | ||
Elementary Type Inference Proceeding/Conference:36th European Conference on Object-Oriented Programming (ECOOP 2022) | 2022 | |||
Formalization of a Polymorphic Subtyping Algorithm Proceeding/Conference:Proceedings of the 9th International Conference on Interactive Theorem Proving (ITP 2018) | 2018 | 7 | ||
2015 | 89 | |||
Hypergraph Contrastive Collaborative Filtering Proceeding/Conference:Proceedings of the 45th International ACM SIGIR Conference on Research and Development in Information Retrieval | 2022 | |||
Locality-aware Streaming in Hybrid P2P-Cloud CDN Systems Journal:Peer-to-Peer Networking and Applications | 2015 | |||
Revisiting iso-recursive subtyping Journal:Proceedings of the ACM on Programming Languages | 2020 | 12 | ||
Revisiting Iso-Recursive Subtyping Journal:ACM Transactions on Programming Languages and Systems | 2022 | |||
Socially-optimal ISP-aware P2P Content Distribution via a Primal-Dual Approach Proceeding/Conference:International Conference on Distributed Computing Systems Workshops Proceedings | 2014 | 61 | ||
Taming the Merge Operator Journal:Journal of Functional Programming (JFP) | 2021 |