Skip to main content

Search

Reset

Add filters:

Use filters to refine the search results.


Item hits:
Publication DateArticle TitleAuthor(s)
2018PipeProof: Automated Memory Consistency Proofs for Microarchitectural SpecificationsManerkar, Yatin A; Lustig, Daniel; Martonosi, Margaret; Gupta, Aarti
Nov-2013A no-reference metric for evaluating the quality of motion deblurringLiu, Yiming; Wang, Jue; Cho, Sunghyun; Finkelstein, Adam; Rusinkiewicz, Szymon
2013Affect and Creative Performance on Crowdsourcing PlatformsMorris, Robert R; Dontcheva, Mira; Finkelstein, Adam; Gerber, Elizabeth
2020The Random-Query Model and the Memory-Bounded Coupon CollectorRaz, Ran; Zhan, Wei
Mar-2020Software Mitigation of Crosstalk on Noisy Intermediate-Scale Quantum ComputersMurali, Prakash; McKay, David C; Martonosi, Margaret; Javadi-Abhari, Ali
2016Revisiting the Valence and Conduction Band Size Dependence of PbS Quantum Dot Thin FilmsMiller, EM; Kroupa, DM; Zhang, J; Schulz, P; Marshall, AR, et al
Jul-2017Hollow HeapsHansen, Thomas D; Kaplan, Haim; Tarjan, Robert E; Zwick, Uri
2019MeshAdv: Adversarial Meshes for Visual RecognitionXiao, Chaowei; Yang, Dawei; Li, Bo; Deng, Jia; Liu, Mingyan
2019Learning Single-Image Depth From Videos Using Quality Assessment NetworksChen, Weifeng; Qian, Shengyi; Deng, Jia
2011Maximum Flows by Incremental Breadth-First SearchGoldberg, Andrew V; Hed, Sagi; Kaplan, Haim; Tarjan, Robert E; Werneck, Renato F