30 results on '"Jiang, Jie-Hong"'
Search Results
2. Language Equation Solving via Boolean Automata Manipulation
3. Accurate BDD-based unitary operator manipulation for scalable and robust quantum circuit verification
4. Mining biochemical circuits from enzyme databases via boolean reasoning
5. Symbolic uniform sampling with XOR circuits
6. Disjoint-Support Decomposition and Extraction for Interconnect-Driven Threshold Logic Synthesis
7. Comprehensive Search for ECO Rectification Using Symbolic Sampling
8. An approximation algorithm to the optimal switch control of reconfigurable battery packs
9. Canonicalization of threshold logic representation and its applications
10. Logic synthesis of binarized neural networks for efficient circuit implementation
11. A symbolic model checking approach to the analysis of string and length constraints
12. Cost-aware patch generation for multi-target function rectification of engineering change orders
13. Efficient multi-layer obstacle-avoiding region-to-region rectilinear steiner tree construction
14. Efficient computation of ECO patch functions
15. Static detection of API call vulnerabilities in iOS executables
16. Closing the Accuracy Gap of Static Performance Analysis of Asynchronous Circuits
17. Path-Specific Functional Timing Verification under Floating and Transition Modes of Operation
18. Analytic approaches to the collapse operation and equivalence verification of threshold logic circuits
19. Design partitioning for large-scale equivalence checking and functional correction
20. Scalable sequence-constrained retention register minimization in power gating design
21. Synthesis of PCHB-WCHB Hybrid Quasi-Delay Insensitive Circuits
22. Simultaneous EUV Flare Variation Minimization and CMP Control with Coupling-Aware Dummification
23. Synthesis of feedback decoders for initialized encoders
24. Compiling program control flows into biochemical reactions
25. Functional timing analysis made fast and general
26. BooM
27. Interpolating functions from large Boolean relations
28. Session details: Recent advances in timing, ECO and logic optimization
29. Scalable don't-care-based logic optimization and resynthesis
30. Bi-decomposing large Boolean functions via interpolation and satisfiability solving
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.