184 results on '"Yu, Cunxi"'
Search Results
52. Equality Saturation for Datapath Synthesis: A Pathway to Pareto Optimality
53. Physics-aware Roughness Optimization for Diffractive Optical Neural Networks
54. Gamora: Graph Learning based Symbolic Reasoning for Large-Scale Boolean Networks
55. FlowTune: End-to-End Automatic Logic Optimization Exploration via Domain-Specific Multiarmed Bandit
56. Survey on Applications of Formal Methods in Reverse Engineering and Intellectual Property Protection
57. LightRidge: An End-to-end Agile Design Framework for Diffractive Optical Neural Networks
58. Effects of interlayer reflection and interpixel interaction in diffractive optical neural networks
59. Device‐System End‐to‐End Design of Photonic Neuromorphic Processor Using Reinforcement Learning
60. Exact Memory- and Communication-aware Scheduling of DNNs on Pipelined Edge TPUs
61. Supplementary document for Effects of Interlayer Reflection and Interpixel Interaction in Diffractive Optical Neural Networks - 6158331.pdf
62. Session details: Breakthroughs in Synthesis - Infrastructure and ML Assist II
63. Session details: Co-Search Methods and Tools
64. Physics-Aware Differentiable Discrete Codesign for Diffractive Optical Neural Networks
65. Physics‐Aware Machine Learning and Adversarial Attack in Complex‐Valued Reconfigurable Diffractive All‐Optical Neural Network
66. IMpress: Large Integer Multiplication Expression Rewriting for FPGA HLS
67. RubikONNs: Multi-task Learning with Rubik's Diffractive Optical Neural Networks
68. Back pressure prediction of the direct air cooled power generating unit using the artificial neural network model
69. Physics-informed Neural Network for Forecasting Time-domain Signals in Terahertz Resonances
70. Complex-valued Reconfigurable Diffractive Optical Neural Networks using Cost-effective Spatial Light Modulators
71. SLAP: A Supervised Learning Approach for Priority Cuts Technology Mapping
72. Late Breaking Results: Physical Adversarial Attacks of Diffractive Deep Neural Networks
73. Device‐System End‐to‐End Design of Photonic Neuromorphic Processor Using Reinforcement Learning.
74. Physics-Guided and Physics-Explainable Recurrent Neural Network for Time Dynamics in Optical Resonances
75. Artificial Intelligence Accelerators Based on Graphene Optoelectronic Devices
76. Read your Circuit
77. Graphene Optoelectronic Artificial Intelligence Accelerators
78. Decision Making in Synthesis cross Technologies using LSTMs and Transfer Learning
79. FlowTune
80. Understanding Algebraic Rewriting for Arithmetic Circuit Verification: A Bit-Flow Model
81. Painting on Placement
82. LAMDA: Learning-Assisted Multi-stage Autotuning for FPGA Design Closure
83. Formal Analysis of Galois Field Arithmetic Circuits-Parallel Verification and Reverse Engineering
84. Spectral approach to verifying non-linear arithmetic circuits
85. Formal Analysis of Arithmetic Circuits using Computer Algebra - Verification, Abstraction and Reverse Engineering
86. Fast Algebraic Rewriting Based on And-Inverter Graphs
87. Generating Safety Guidance for Medical Injection with Three-Compartment Pharmacokinetics Model
88. End-to-End Industrial Study of Retiming
89. Developing synthesis flows without human knowledge
90. Computer Algebraic Approach to Verification and Debugging of Galois Field Multipliers
91. Advanced datapath synthesis using graph isomorphism
92. Incremental SAT-Based Reverse Engineering of Camouflaged Logic Circuits
93. Formal Verification of Truncated Multipliers Using Algebraic Approach and Re-Synthesis
94. Reverse engineering of irreducible polynomials in GF(2m) arithmetic
95. Efficient parallel verification of Galois field multipliers
96. Formal Verification of Arithmetic Circuits by Function Extraction
97. Analyzing Imprecise Adders Using BDDs -- A Case Study
98. Formal Verification Using Don't-Care and Vanishing Polynomials
99. DAG-aware logic synthesis of datapaths
100. Automatic word-level abstraction of datapath
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.