Search Results - Moskewicz, Matthew W.

  • Showing 1 - 11 results of 11
Refine Results
  1. 1
    Chaff: engineering an efficient SAT solver

    Chaff: engineering an efficient SAT solver by Moskewicz, Matthew W., Madigan, Conor F., Zhao, Ying, Zhang, Lintao, Malik, Sharad

    Request full text
    Items that cite this one
    Conference Proceeding
    Save to List
    Saved in:
  2. 2
    DSCnet: Replicating Lidar Point Clouds With Deep Sensor Cloning

    DSCnet: Replicating Lidar Point Clouds With Deep Sensor Cloning by Tomasello, Paden, Sidhu, Sammy, Shen, Anting, Moskewicz, Matthew W., Redmon, Nobie, Joshi, Gayatri, Phadte, Romi, Jain, Paras, Iandola, Forrest

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  3. 3
    libHOG: Energy-Efficient Histogram of Oriented Gradient Computation

    libHOG: Energy-Efficient Histogram of Oriented Gradient Computation by Iandola, Forrest N., Moskewicz, Matthew W., Keutzer, Kurt

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  4. 4
    CAMA:A Multi-Valued Satisfiability Solver

    CAMA:A Multi-Valued Satisfiability Solver by Liu, Cong, Kuehlmann, Andreas, Moskewicz, Matthew W

    Get full text
    Conference Proceeding
    Save to List
    Saved in:
  5. 5
    Fast cycle-accurate simulation and instruction set generation for constraint-based descriptions of programmable architectures

    Fast cycle-accurate simulation and instruction set generation for constraint-based descriptions of programmable architectures by Weber, Scott J., Moskewicz, Matthew W., Gries, Matthias, Sauer, Christian, Keutzer, Kurt

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  6. 6
    A Metaprogramming and Autotuning Framework for Deploying Deep Learning Applications

    A Metaprogramming and Autotuning Framework for Deploying Deep Learning Applications by Moskewicz, Matthew W, Jannesari, Ali, Keutzer, Kurt

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  7. 7
    FireCaffe: near-linear acceleration of deep neural network training on compute clusters

    FireCaffe: near-linear acceleration of deep neural network training on compute clusters by Iandola, rest N, Ashraf, Khalid, Moskewicz, Matthew W, Keutzer, Kurt

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  8. 8
    DSCnet: Replicating Lidar Point Clouds with Deep Sensor Cloning

    DSCnet: Replicating Lidar Point Clouds with Deep Sensor Cloning by Paden Tomasello, Sidhu, Sammy, Shen, Anting, Moskewicz, Matthew W, Redmon, Nobie, Joshi, Gayatri, Phadte, Romi, Jain, Paras, rest Iandola

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  9. 9
    SqueezeNet: AlexNet-level accuracy with 50x fewer parameters and <0.5MB model size

    SqueezeNet: AlexNet-level accuracy with 50x fewer parameters and <0.5MB model size by Iandola, rest N, Song, Han, Moskewicz, Matthew W, Ashraf, Khalid, Dally, William J, Keutzer, Kurt

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  10. 10
    Matching architecture to application via configurable processors: a case study with boolean satisfiability problem

    Matching architecture to application via configurable processors: a case study with boolean satisfiability problem by Ying Zhao, Malik, S., Wang, A., Moskewicz, M.W., Madigan, C.F.

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  11. 11
    Fast Cycle-Accurate Simulation and Instruction Set Generation for Constraint-Based Descriptions of Programmable Architectures

    Fast Cycle-Accurate Simulation and Instruction Set Generation for Constraint-Based Descriptions of Programmable Architectures by Weber, Scott J., Moskewicz, Matthew W., Gries, Matthias, Sauer, Christian, Keutzer, Kurt

    Get full text
    Conference Proceeding
    Save to List
    Saved in:

Search Tools: