Search
Add filters:
Use filters to refine the search results.
Item hits:
Publication Date | Article Title | Author(s) |
---|---|---|
2008 | Lightweight, high-resolution monitoring for troubleshooting production systems | Bhatia, Sapan; Kumar, Abhishek; Fiuczynski, Marc E; Peterson, Larry |
2020 | CornerNet: Detecting Objects as Paired Keypoints | Law, Hei; Deng, Jia |
1-Jan-2014 | Automated detection and fingerprinting of censorship block pages | Jones, B; Lee, TW; Feamster, Nick; Gill, P |
2012 | Incidence Theorems and Their Applications | Dvir, Zeev |
Nov-2011 | The PatchMatch randomized matching algorithm for image manipulation | Barnes, Connelly; Goldman, Dan B; Shechtman, Eli; Finkelstein, Adam |
Jan-2014 | NetKAT: semantic foundations for networks | Anderson, Carolyn J; Foster, Nate; Guha, Arjun; Jeannin, Jean-Baptiste; Kozen, Dexter, et al |
Jul-2018 | Synthesizing quotient lenses | Maina, Solomon; Miltner, Anders; Fisher, Kathleen; Pierce, Benjamin C; Walker, David, et al |
Jun-2016 | Temporal NetKAT | Beckett, Ryan; Greenberg, Michael; Walker, David |
2012 | LearnPADS + + : Incremental Inference of Ad Hoc Data Formats | Zhu, Kenny Q; Fisher, Kathleen; Walker, David |
2016 | Tight lower bounds for linear 2-query LCCs over finite fields | Bhattacharyya, Arnab; Dvir, Zeev; Saraf, Shubhangi; Shpilka, Amir |