Search
Add filters:
Use filters to refine the search results.
Item hits:
Publication Date | Article Title | Author(s) |
---|---|---|
2018 | PipeProof: Automated Memory Consistency Proofs for Microarchitectural Specifications | Manerkar, Yatin A; Lustig, Daniel; Martonosi, Margaret; Gupta, Aarti |
Nov-2013 | A no-reference metric for evaluating the quality of motion deblurring | Liu, Yiming; Wang, Jue; Cho, Sunghyun; Finkelstein, Adam; Rusinkiewicz, Szymon |
2013 | Affect and Creative Performance on Crowdsourcing Platforms | Morris, Robert R; Dontcheva, Mira; Finkelstein, Adam; Gerber, Elizabeth |
2020 | The Random-Query Model and the Memory-Bounded Coupon Collector | Raz, Ran; Zhan, Wei |
Mar-2020 | Software Mitigation of Crosstalk on Noisy Intermediate-Scale Quantum Computers | Murali, Prakash; McKay, David C; Martonosi, Margaret; Javadi-Abhari, Ali |
2016 | Revisiting the Valence and Conduction Band Size Dependence of PbS Quantum Dot Thin Films | Miller, EM; Kroupa, DM; Zhang, J; Schulz, P; Marshall, AR, et al |
Jul-2017 | Hollow Heaps | Hansen, Thomas D; Kaplan, Haim; Tarjan, Robert E; Zwick, Uri |
2019 | MeshAdv: Adversarial Meshes for Visual Recognition | Xiao, Chaowei; Yang, Dawei; Li, Bo; Deng, Jia; Liu, Mingyan |
2019 | Learning Single-Image Depth From Videos Using Quality Assessment Networks | Chen, Weifeng; Qian, Shengyi; Deng, Jia |
2011 | Maximum Flows by Incremental Breadth-First Search | Goldberg, Andrew V; Hed, Sagi; Kaplan, Haim; Tarjan, Robert E; Werneck, Renato F |