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 246 to 265 of 330 < previous next >

Issue Date	Title	Author(s)
2023	Randomness and Quantumness in Space-Bounded Computation	Zhan, Wei
2022	Reconciliation-Based Methods for Identifying the Evolutionary Origins of Tandem Duplications in Repeat Domain Families	Aluru, Chaitanya
2011	Refactoring Router Software to Minimize Disruption	Keller, Eric
2020	Regret-Minimizing Algorithms Beyond Classical Optimization and Control	Zhang, Cyril
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

Showing results 246 to 265 of 330 < previous next >