DataSpace: Browsing DataSpace

Browsing by Subject Computer science

Jump to: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
or enter first few letters:

Showing results 250 to 269 of 330 < previous next >

Issue Date	Title	Author(s)
2023	Relational Verification of Distributed Systems via Weak Simulations	Murphy, Timothy Charles
2017	Relaxing the Implementation of Embedded Sensing Systems through Machine Learning and Statistical Optimization	Wang, Zhuo
2018	Resource Management for Advanced Data Analytics at Large Scale	Zhang, Haoyu
2020	Resource-Efficient Management of Large-Scale Public Cloud Systems	Shahrad, Mohammad
2019	Rethinking the Science of Statistical Privacy	Liu, Changchang
2019	RGBD Pipeline for Indoor Scene Reconstruction and Understanding	Halber, Maciej Stanislaw
2012	Runtime Speculative Software-Only Fault Tolerance	Zhang, Yun
2015	Scalable inference of discrete data: user behavior, networks and genetic variation	Gopalan, Prem Krishna
2019	Scalable, Network-Wide Telemetry with Programmable Switches	Harrison, Walter Robert Jones
2022	Scaling Automatic Modular Verification	Pick, Lauren
2023	Scaling Machine Learning in Practice	Suo, Daniel Can
2018	Second-Order Optimization Methods for Machine Learning	Agarwal, Naman
2021	Security Meets Deep Learning	He, Zecheng
2013	Semantic Language Extensions for Implicit Parallel Programming	Prabhu, Prakash
2018	Separation-Logic-Based Program Verification in Coq	Cao, Qinxiang
2014	Shape Analysis With Crowdsourced Data	Chen, Xiaobai
2019	Shape Synthesis Using Structure-Aware Reasoning	Sizikova, Elena
2012	Similarity Search with Multimodal Data	Wang, Zhe
2021	Simplicity and Optimality in Algorithmic Economics: Multi-Item Auctions and Social Learning	Mohan, Divyarthi
2014	Sparsity, robustness, and diversification of Recommender Systems	Zhang, Zhuo

Showing results 250 to 269 of 330 < previous next >