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 25 of 87  
    Select a publication
    Show Title Venue Rating Date
    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
    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
    Conference paper
    Asif Khan, Muralidaran Vijayaraghavan, Silas Boyd-Wickizer, Arvind.
    Fast and cycle-accurate modeling of a multicore processor.
    2012 IEEE International Symposium on Performance Analysis of Systems Software, New Brunswick, NJ, USA, April 1-3, 2012 2012 (0) 2012
    Conference paper
    Asif Khan, Muralidaran Vijayaraghavan, Arvind.
    A general technique for deterministic model-cycle-level debugging.
    Tenth ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMCODE 2012, Arlington, VA, USA, July 16-17, 2012 2012 (0) 2012
    Conference paper
    Kermin Fleming, Man Cheuk Ng, Samuel Gross, Arvind.
    WiLIS: Architectural modeling of wireless systems.
    IEEE International Symposium on Performance Analysis of Systems and Software, ISPASS 2011, 10-12 April, 2011, Austin, TX, USA 2011 (0) 2011
    Conference paper
    Arvind.
    Automatic generation of hardware/software interfaces.
    Proceedings of the 14th International Conference on Compilers, Architecture, and Synthesis for Embedded Systems, CASES 2011, part of the Seventh Embedded Systems Week, ESWeek 2011, Taipei, Taiwan, October 9-14, 2011 2011 (0) 2011
    Conference paper
    Nirav Dave, Michael Katelman, Myron King, Arvind, José Meseguer.
    Verification of microarchitectural refinements in rule-based systems.
    9th IEEE/ACM International Conference on Formal Methods and Models for Codesign, MEMOCODE 2011, Cambridge, UK, 11-13 July, 2011 2011 (0) 2011
    Journal article
    Sungjin Lee, Jihoon Park, Kermin Fleming, Arvind, Jihong Kim.
    Improving performance and lifetime of solid-state drives using hardware-accelerated compression.
    IEEE Trans. Consumer Electronics 2011, Volume 57 (0) 2011
    Conference paper
    Arvind, David I. August, Keshav Pingali, Derek Chiou, Resit Sendag, Joshua J. Yi.
    Programming Multicores: Do Applications Programmers Need to Write Explicitly Parallel Programs?
    IEEE Micro 2010, Volume 30 (0) 2010
    Conference paper
    Man Cheuk Ng, Kermin Fleming, Mythili Vutukuru, Samuel Gross, Arvind, Hari Balakrishnan.
    Airblue: a system for cross-layer wireless protocol development.
    Proceedings of the 2010 ACM/IEEE Symposium on Architecture for Networking and Communications Systems, ANCS 2010, San Diego, California, USA, October 25-26, 2010 2010 (0) 2010
    Conference paper
    Nirav Dave, Man Cheuk Ng, Michael Pellauer, Arvind.
    A design flow based on modular refinement.
    8th ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2010), Grenoble, France, 26-28 July 2010 2010 (0) 2010
    Conference paper
    Arvind.
    Is hardware innovation over?
    16th International Conference on High-Performance Computer Architecture (HPCA-16 2010), 9-14 January 2010, Bangalore, India 2010 (0) 2010
    Journal article
    Abhinav Agarwal, Man Cheuk Ng, Arvind.
    A Comparative Evaluation of High-Level Hardware Synthesis Using Reed-Solomon Decoder.
    Embedded Systems Letters 2010, Volume 2 (0) 2010
    Conference paper
    Muralidaran Vijayaraghavan, Arvind.
    Bounded Dataflow Networks and Latency-Insensitive circuits.
    7th ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2009), July 13-15, 2009, Cambridge, Massachusetts, USA 2009 (0) 2009
    Conference paper
    Michael Pellauer, Muralidaran Vijayaraghavan, Michael Adler, Arvind, Joel S. Emer.
    A-Port Networks: Preserving the Timed Behavior of Synchronous Systems for Modeling on FPGAs.
    TRETS 2009, Volume 2 (0) 2009
    Conference paper
    Arvind, Nirav Dave, Michael Katelman.
    Getting Formal Verification into Design Flow.
    FM 2008: Formal Methods, 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008, Proceedings 2008 (0) 2008
    Conference paper
    Michael Pellauer, Muralidaran Vijayaraghavan, Michael Adler, Arvind, Joel S. Emer.
    A-Ports: an efficient abstraction for cycle-accurate performance models on FPGAs.
    Proceedings of the ACM/SIGDA 16th International Symposium on Field Programmable Gate Arrays, FPGA 2008, Monterey, California, USA, February 24-26, 2008 2008 (0) 2008
    Conference paper
    Michal Karczmarek, Arvind.
    Synthesis from multi-cycle atomic actions as a solution to the timing closure problem.
    2008 International Conference on Computer-Aided Design (ICCAD'08), November 10-13, 2008, San Jose, CA, USA 2008 (0) 2008
    Conference paper
    Michael Pellauer, Muralidaran Vijayaraghavan, Michael Adler, Arvind, Joel S. Emer.
    Quick Performance Models Quickly: Closely-Coupled Partitioned Simulation on FPGAs.
    IEEE International Symposium on Performance Analysis of Systems and Software, ISPASS 2008, April 20-22, 2008, Austin, Texas, USA, Proceedings 2008 (0) 2008
    Conference paper
    Kermin Fleming, Chun-Chieh Lin, Nirav Dave, Arvind, Gopal Raghavan, Jamey Hicks.
    H.264 Decoder: A Case Study in Multiple Design Points.
    6th ACM IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2008), June 5-7, 2008, Anaheim, CA, USA 2008 (0) 2008
    Conference paper
    Arvind, Rishiyur S. Nikhil.
    Hands-on Introduction to Bluespec System Verilog (BSV) (Abstract).
    6th ACM IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2008), June 5-7, 2008, Anaheim, CA, USA 2008 (0) 2008
    Show item 1 to 25 of 87  

    Your query returned 87 matches in the database.