DataSpace: Computer Science

Computer Science

Items (Sorted by Submit Date in Descending order): 1 to 20 of 154

next >

Issue Date	Title	Author(s)
2021	3D Representations for Learning to Reconstruct and Segment Shapes	Genova, Kyle Adam
2021	Abstracting Systems Challenges from Distributed Deep Learning	Or, Andrew
2019	TRUSTGUARD: A MODEL FOR PRACTICAL TRUST IN REAL SYSTEMS	Beard, Stephen Robert
2021	A Sensible Approach to Speculative Automatic Parallelization	Apostolakis, Sotirios
2021	Progressive Automated Formal Verification of Memory Consistency in Parallel Processors	Manerkar, Yatin
2020	Verified Optimizations for Functional Languages	Paraskevopoulou, Zoe
2020	Internet Measurement for the Prevention and Detection of Internet Surveillance	Roberts, Laura M
2020	Towards Flexible Active And Online Learning With Neural Networks	Ash, Jordan
2020	Regret-Minimizing Algorithms Beyond Classical Optimization and Control	Zhang, Cyril
2020	An Intermediate Language for Network Verification	Giannarakis, Nick
2020	Identifying and measuring manipulative user interfaces at scale on the web	Mathur, Arunesh
2020	Synthesizing Lenses	Miltner, Anders
2020	Enhancing Anonymity Systems under Network and User Dynamics	Sun, Yixin
2020	HARDWARE MULTITHREADED TRANSACTIONS: ENABLING SPECULATIVE MULTITHREADED PIPELINE PARALLELIZATION FOR COMPLEX PROGRAMS	Fix, Jordan Samuel
2020	Concurrent Permission Machine for modular proofs of optimizing compilers with shared memory concurrency.	Cuellar, Santiago
2020	Joint Optimization for Robust Network Design and Operation	Gossels, Jennifer
2020	Implications of Space-Bounded Computation	Garg, Sumegha
2020	Methods for Reinforcement Learning in Clinical Decision Support	Prasad, Niranjani
2020	Network Privacy and User Protection in the Internet of Things	Apthorpe, Noah
2020	Circumventing Lower Bounds in Mechanism and Tournament Design	Schvartzman Cohenca, Ariel

Items (Sorted by Submit Date in Descending order): 1 to 20 of 154

next >

Browse