Showing 1 - 20 results of 21 for search 'INDUSTRIAL AUTOMATION', query time: 0.52s Refine Results
  1. 1
    Formal Methods in Automated Design Debugging
    by Safarpour, Sean Arash
    Published 2009
    “... and methodologies to bridge the gap between current capabilities of automated debuggers and the strict industry...”
    Get full text
  2. 2
    Formal Methods in Automated Design Debugging
    by Safarpour, Sean Arash
    Published 2009
    “... and methodologies to bridge the gap between current capabilities of automated debuggers and the strict industry...”
    Get full text
  3. 3
    Automated Software Solutions to Logic Restructuring and Silicon Debug
    by Yang, Yu-Shen
    Published 2010
    “...With the growing size of modern integrated circuit designs, automated design tools have taken...”
    Get full text
  4. 4
    Automated Software Solutions to Logic Restructuring and Silicon Debug
    by Yang, Yu-Shen
    Published 2010
    “...With the growing size of modern integrated circuit designs, automated design tools have taken...”
    Get full text
  5. 5
    Scaling SAT-based Automated Design Debugging with Formal Methods
    by Keng, Brian
    Published 2009
    “... of rapid growth and innovation in the semiconductor industry. This thesis aims to scale automated...”
    Get full text
  6. 6
    Scaling SAT-based Automated Design Debugging with Formal Methods
    by Keng, Brian
    Published 2009
    “... of rapid growth and innovation in the semiconductor industry. This thesis aims to scale automated...”
    Get full text
  7. 7
    SAT-based Automated Design Debugging: Improvements and Application to Low-power Design
    by Le, Bao
    Published 2012
    “... design effort. Unfortunately, design debugging is still a predominantly manual process in the industry...”
    Get full text
  8. 8
    SAT-based Automated Design Debugging: Improvements and Application to Low-power Design
    by Le, Bao
    Published 2012
    “... design effort. Unfortunately, design debugging is still a predominantly manual process in the industry...”
    Get full text
  9. 9
    Contact Detection for Nanomanipulation in Scanning Electron Microscope
    by To, Steve
    Published 2011
    Subjects: “...automation...”
    Get full text
  10. 10
    Contact Detection for Nanomanipulation in Scanning Electron Microscope
    by To, Steve
    Published 2011
    Subjects: “...automation...”
    Get full text
  11. 11
    A Methodology for the Development and Verification of Expressive Ontologies
    by Katsumi, Megan
    Published 2011
    Subjects: “...industrial engineering...”
    Get full text
  12. 12
    A Methodology for the Development and Verification of Expressive Ontologies
    by Katsumi, Megan
    Published 2011
    Subjects: “...industrial engineering...”
    Get full text
  13. 13
    Resolution Enhancement of Ultrasonic Signals using Autoregressive Spectral Extrapolation
    by Shakibi, Babak
    Published 2011
    “... be used in industrial applications since its performance is highly dependent on selection of a number...”
    Get full text
  14. 14
    Resolution Enhancement of Ultrasonic Signals using Autoregressive Spectral Extrapolation
    by Shakibi, Babak
    Published 2011
    “... be used in industrial applications since its performance is highly dependent on selection of a number...”
    Get full text
  15. 15
    Formal Methods in Computer-aided Design
    by Mangassarian, Hratch
    Published 2012
    “...% of the VLSI design cycle. In particular, RTL debug is a manual, resource-intensive task in the industry...”
    Get full text
  16. 16
    Formal Methods in Computer-aided Design
    by Mangassarian, Hratch
    Published 2012
    “...% of the VLSI design cycle. In particular, RTL debug is a manual, resource-intensive task in the industry...”
    Get full text
  17. 17
    Abstraction for Verification and Refutation in Model Checking
    by Wei, Ou
    Published 2009
    “...Model checking is an automated technique for deciding whether a computer program satisfies a...”
    Get full text
  18. 18
    Abstraction for Verification and Refutation in Model Checking
    by Wei, Ou
    Published 2009
    “...Model checking is an automated technique for deciding whether a computer program satisfies a...”
    Get full text
  19. 19
    Circuit Debugging with Error Trace Compaction and Maximum Satisfiability
    by Chen, Yibin
    Published 2009
    “... of debugging tools and industry requirements by improving two important debugging techniques: error trace...”
    Get full text
  20. 20
    Circuit Debugging with Error Trace Compaction and Maximum Satisfiability
    by Chen, Yibin
    Published 2009
    “... of debugging tools and industry requirements by improving two important debugging techniques: error trace...”
    Get full text
Search Tools: Get RSS Feed — Email this Search