Showing 101 - 120 results of 228 for search 'DESIGN RESEARCH', query time: 1.48s Refine Results
  1. 101
    Formal Verification of Hardware Synthesis
    by Braibant, Thomas, Chlipala, Adam
    Published 2014
    Get fulltext
    Article
  2. 102
    Retroactive auditing
    Get fulltext
    Article
  3. 103
    High Performance, Point-to-Point, Transmission Line Signaling
    by DeHon, Andre, Knight Jr, Thomas F
    Published 2017
    Get fulltext
    Article
  4. 104
    Automated feedback generation for introductory programming assignments
    Get fulltext
    Article
  5. 105
    Computing in Additive Networks with Bounded-Information Codes
    Get fulltext
    Article
  6. 106
    Dynamic Vehicle Routing for Translating Demands: Stability Analysis and Receding-Horizon Policies
    Get fulltext
    Article
  7. 107
    Overparameterization: A connection between software 1.0 and software 2.0
    by Carbin, Michael James
    Published 2021
    Get fulltext
    Article
  8. 108
    Learning to guide task and motion planning using score-space representation
    Get fulltext
    Article
  9. 109
    Neural Decipherment via Minimum-Cost Flow: From Ugaritic to Linear B
    Get fulltext
    Article
  10. 110
    Privately computing set-maximal matches in genomic data
    Get fulltext
    Article
  11. 111
    Automatic error elimination by horizontal code transfer across multiple applications
    Get fulltext
    Article
  12. 112
    Reading Between the Lines: Learning to Map High-level Instructions to Commands
    Get fulltext
    Article
  13. 113
    Dynamic Vehicle Routing with Priority Classes of Stochastic Demands
    Get fulltext
    Article
  14. 114
    Dynamic Multi-Vehicle Routing with Multiple Classes of Demands
    Get fulltext
    Article
  15. 115
    Web pages: What can you see in a single fixation?
    Get fulltext
    Article
  16. 116
    Stability Analysis and Control of Rigid-Body Systems with Impacts and Friction
    Get fulltext
    Article
  17. 117
    Path planning in 1000+ dimensions using a task-space Voronoi bias
    Get fulltext
    Article
  18. 118
    Peristaltic Locomotion with Antagonistic Actuators in Soft Robotics
    Get fulltext
    Article
  19. 119
    Linux Kernel Vulnerabilities: State-of-the-Art Defenses and Open Problems
    Get fulltext
    Article
  20. 120
    NUMFabric: Fast and Flexible Bandwidth Allocation in Datacenters
    Get fulltext
    Article
Search Tools: Get RSS Feed — Email this Search