Publications
Search

Publications :: Search

Show author

On this page you see the details of the selected author.

    Author information
    First name:
    Last name: Arvind
    DBLP: a/Arvind
    Rating: (not rated yet)
    Bookmark:

    Below you find the publications which have been written by this author.

    Show item 1 to 10 of 93  
    Select a publication
    Show Title Venue Rating Date
    Conference paper
    Sang Woo Jun, Ming Liu, Sungjin Lee, Jamey Hicks, John Ankcorn, Myron King, Shuotao Xu, Arvind.
    BlueDBM: an appliance for big data analytics.
    Proceedings of the 42nd Annual International Symposium on Computer Architecture, Portland, OR, USA, June 13-17, 2015 2015 (0) 2015
    Conference paper
    Muralidaran Vijayaraghavan, Adam Chlipala, Arvind, Nirav Dave.
    Modular Deductive Verification of Multiprocessor Hardware Designs.
    Computer Aided Verification - 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II 2015 (0) 2015
    Conference paper
    Sang Woo Jun, Ming Liu, Kermin Fleming, Arvind.
    Scalable multi-access flash store for big data analytics.
    The 2014 ACM/SIGDA International Symposium on Field-Programmable Gate Arrays, FPGA '14, Monterey, CA, USA - February 26 - 28, 2014 2014 (0) 2014
    Conference paper
    Abhinav Agarwal, Haitham Hassanieh, Omid Abari, Ezzeldin Hamed, Dina Katabi, Arvind.
    High-throughput implementation of a million-point sparse Fourier Transform.
    24th International Conference on Field Programmable Logic and Applications, FPL 2014, Munich, Germany, 2-4 September, 2014 2014 (0) 2014
    Conference paper
    Michal Karczmarek, Arvind, Muralidaran Vijayaraghavan.
    A new synthesis procedure for atomic rules containing multi-cycle function blocks.
    Twelfth ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMOCODE 2014, Lausanne, Switzerland, October 19-21, 2014 2014 (0) 2014
    Conference paper
    Myron King, Asif Khan, Abhinav Agarwal, Oriol Arcas, Arvind.
    Generating infrastructure for FPGA-accelerated applications.
    23rd International Conference on Field programmable Logic and Applications, FPL 2013, Porto, Portugal, September 2-4, 2013 2013 (0) 2013
    Conference paper
    Abhinav Agarwal, Arvind.
    Leveraging rule-based designs for automatic power domain partitioning.
    The IEEE/ACM International Conference on Computer-Aided Design, ICCAD'13, San Jose, CA, USA, November 18-21, 2013 2013 (0) 2013
    Conference paper
    Muralidaran Vijayaraghavan, Nirav Dave, Arvind.
    Modular compilation of guarded atomic actions.
    11th ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMCODE 2013, Portland, OR, USA, October 18-20, 2013 2013 (0) 2013
    Conference paper
    Kermin Fleming, Michael Adler, Michael Pellauer, Angshuman Parashar, Arvind, Joel S. Emer.
    Leveraging latency-insensitivity to ease multiple FPGA design.
    Proceedings of the ACM/SIGDA 20th International Symposium on Field Programmable Gate Arrays, FPGA 2012, Monterey, California, USA, February 22-24, 2012 2012 (0) 2012
    Conference paper
    Myron King, Nirav Dave, Arvind.
    Automatic generation of hardware/software interfaces.
    Proceedings of the 17th International Conference on Architectural Support for Programming Languages and Operating Systems, ASPLOS 2012, London, UK, March 3-7, 2012 2012 (0) 2012
    Show item 1 to 10 of 93  

    Your query returned 93 matches in the database.