Showing 1 - 20 results of 113 for search 'STATICS', query time: 1.07s Refine Results
  1. 1
    Static Analysis to improve RTL Verification
    by Agrawal, Akash
    Published 2017
    Subjects: “...Static Analysis...”
    Get full text
    Others
  2. 2
    Static Learning for Problems in VLSI Test and Verification
    by Syal, Manan
    Published 2014
    “...Static learning in the form of logic implications captures Boolean relationships between various...”
    Get full text
    Get full text
    Others
  3. 3
    Exploring Hybrid Dynamic and Static Techniques for Software Verification
    by Cheng, Xueqi
    Published 2014
    “... (with program execution), static (without program execution) as well as the synergies of multiple approaches...”
    Get full text
    Get full text
    Others
  4. 4
    Fast Static Learning and Inductive Reasoning with Applications to ATPG Problems
    by Dsouza, Michael Dylan
    Published 2015
    Subjects: “...Static learning...”
    Get full text
    Others
  5. 5
    A Line Outage Study for Prediction of Static Power Flow Redistribution
    by Wei, Nan
    Published 2016
    Get full text
    Others
  6. 6
    Im2Vid: Future Video Prediction for Static Image Action Recognition
    by AlBahar, Badour A Sh A.
    Published 2018
    Subjects: “...Static Image Action Recognition...”
    Get full text
    Others
  7. 7
    View Point Planning for Inspecting Static and Dynamic Scenes with Multi-Robot Teams
    by Budhiraja, Ashish Kumar
    Published 2017
    “...We study the problem of viewpoint planning in static and dynamic scenes using multi-robot teams...”
    Get full text
    Others
  8. 8
    Analysis of Electric Disturbances from the Static Frequency Converter of a Pumped Storage Station
    by Rosado, Sebastian Pedro
    Published 2014
    “..., by the operation of a static frequency converter (SFC). The SFC is used for starting the synchronous machines...”
    Get full text
    Get full text
    Others
  9. 9
    Constraint-Based Thread-Modular Abstract Interpretation
    by Kusano, Markus Jan Urban
    Published 2018
    Subjects: “...static analysis...”
    Get full text
    Others
  10. 10
    Partitioning Strategies to Enhance Symbolic Execution
    by Marcellino, Brendan Adrian
    Published 2017
    Subjects: “...Static Analysis...”
    Get full text
    Others
  11. 11
    Channel Estimation Strategies for Coded MIMO Systems
    by Trepkowski, Rose E.
    Published 2011
    Subjects: “...Quasi-Static Fading...”
    Get full text
    Get full text
    Others
  12. 12
    Development of a Low-Power SRAM Compiler
    by Jagasivamani, Meenatchi
    Published 2014
    Subjects: “...static...”
    Get full text
    Get full text
    Others
  13. 13
    Optimization of Physical Unclonable Function Protocols for Lightweight Processing
    by Pinto, Carol Suman
    Published 2016
    Subjects: “...Static Random Access Memory (SRAM)...”
    Get full text
    Others
  14. 14
    Self-Assembled Multilayered Dielectric Spectral Filters
    by Chandran, Ashwin
    Published 2014
    Subjects: “...Electro Static Self-Assembly...”
    Get full text
    Get full text
    Others
  15. 15
    Design Validation of RTL Circuits using Binary Particle Swarm Optimization and Symbolic Execution
    by Puri, Prateek
    Published 2015
    Subjects: “...Static Analysis...”
    Get full text
    Others
  16. 16
    Electromagnetic Transient and Dynamic Modeling and Simulation of a StatCom-SMES Compensator in Power Systems
    by Arsoy, Aysen
    Published 2014
    Subjects: “...Static Synchronous Compensator (Statcom)...”
    Get full text
    Get full text
    Others
  17. 17
    Enhancing SAT-based Formal Verification Methods using Global Learning
    by Arora, Rajat
    Published 2014
    Subjects: “...Static Logic Implications...”
    Get full text
    Get full text
    Others
  18. 18
    Privacy and Security in IPv6 Addressing
    by Groat, Stephen Lawrence
    Published 2017
    “... Auto Configuration (SLAAC) creates an address using a static value derived from the Media Access...”
    Get full text
    Get full text
    Others
  19. 19
    A Power-Aware Routing Scheme for Ad Hoc Networks
    by Koujah, Fahad
    Published 2014
    “... have been carried out on large static and mobile networks. Results show improvements in network...”
    Get full text
    Get full text
    Others
  20. 20
    Utilization of Genetic Algorithms and Constrained Multivariable Function Minimization to Estimate Load Model Parameters from Disturbance Data
    by Mertz, Christopher George
    Published 2013
    “... and capable of replicating system disturbances. Traditionally, load models were represented as static ZIP...”
    Get full text
    Others
Search Tools: Get RSS Feed — Email this Search