LOOPLock 2.0: An Enhanced Cyclic Logic Locking Approach | 0 | 0.34 | 2022 |
A High Voltage Driving Chiplet in Standard 0.18-<italic>μ</italic>m CMOS for Micro-Pixelated LED Displays Integrated With LTPS TFTs | 0 | 0.34 | 2022 |
On Synthesizing Memristor-Based Logic Circuits in Area-Constrained Crossbar Arrays | 0 | 0.34 | 2021 |
Diagnosis for Reconfigurable Single-Electron Transistor Arrays with a More Generalized Defect Model | 0 | 0.34 | 2021 |
Dynamic Workload Allocation for Edge Computing | 1 | 0.35 | 2021 |
A General Equivalence Checking Framework for Multivalued Logic | 0 | 0.34 | 2021 |
An Efficient Approximate Node Merging with an Error Rate Guarantee | 0 | 0.34 | 2021 |
1st-Order to 2nd-Order Threshold Logic Gate Transformation with an Enhanced ILP-based Identification Method | 0 | 0.34 | 2021 |
Rehabilitation System for Limbs using IMUs | 0 | 0.34 | 2020 |
IMU-based Smart Knee Pad for Walking Distance and Stride Count Measurement | 0 | 0.34 | 2020 |
A Dynamic Expansion Order Algorithm for the SAT-based Minimization | 0 | 0.34 | 2020 |
A New Necessary Condition for Threshold Function Identification | 0 | 0.34 | 2020 |
LOOPLock: Logic Optimization-Based Cyclic Logic Locking | 0 | 0.34 | 2020 |
Prediction of chronic kidney disease stages by renal ultrasound imaging | 0 | 0.34 | 2020 |
Accuracy Tolerant Neural Networks Under Aggressive Power Optimization. | 0 | 0.34 | 2020 |
Smartlock: Sat Attack And Removal Attack-Resistant Tree-Based Logic Locking | 0 | 0.34 | 2020 |
Optimization of Threshold Logic Networks with Node Merging and Wire Replacement. | 0 | 0.34 | 2019 |
Using range-equivalent circuits for facilitating bounded sequential equivalence checking | 0 | 0.34 | 2018 |
A Hybrid Approach to Equivalent Fault Identification for Verification Environment Qualification. | 0 | 0.34 | 2018 |
Contactless Testing for Prebond Interposers. | 0 | 0.34 | 2018 |
Efficient Synthesis Of Approximate Threshold Logic Circuits With An Error Rate Guarantee | 0 | 0.34 | 2018 |
On Synthesizing Memristor-Based Logic Circuits With Minimal Operational Pulses. | 2 | 0.44 | 2018 |
Enhancements to SAT Attack: Speedup and Breaking Cyclic Logic Encryption. | 0 | 0.34 | 2018 |
Optimization of threshold logic networks with ODC-based node merging | 0 | 0.34 | 2018 |
Logic Optimization With Considering Boolean Relations | 0 | 0.34 | 2018 |
Tree-Based Logic Encryption for Resisting SAT Attack | 0 | 0.34 | 2017 |
Dynamic Diagnosis for Defective Reconfigurable Single-Electron Transistor Arrays | 1 | 0.36 | 2017 |
Fast synthesis of threshold logic networks with optimization. | 3 | 0.46 | 2016 |
MSPlayer: Multi-Source and Multi-Path Video Streaming. | 7 | 0.52 | 2016 |
Minimization of Number of Neurons in Voronoi Diagram-Based Artificial Neural Networks. | 1 | 0.35 | 2016 |
Area-Aware Decomposition for Single-Electron Transistor Arrays. | 2 | 0.38 | 2016 |
Diagnosis and Synthesis for Defective Reconfigurable Single-Electron Transistor Arrays. | 3 | 0.39 | 2016 |
MajorSat: A SAT solver to majority logic | 0 | 0.34 | 2016 |
An Efficient Interpolation-Based Projected Sum of Product Decomposition via Genetic Algorithm. | 3 | 0.39 | 2016 |
Synthesis and verification of cyclic combinational circuits | 1 | 0.38 | 2015 |
Correctness Analysis and Power Optimization for Probabilistic Boolean Circuits | 1 | 0.37 | 2015 |
Using structural relations for checking combinationality of cyclic circuits | 1 | 0.37 | 2015 |
A defect-aware approach for mapping reconfigurable Single-Electron Transistor arrays | 3 | 0.40 | 2015 |
Synthesis for Width Minimization in the Single-Electron Transistor Array | 4 | 0.42 | 2015 |
Design, implementation, and evaluation of energy-aware multi-path TCP. | 14 | 0.60 | 2015 |
How green is multipath TCP for mobile devices? | 31 | 1.14 | 2014 |
Cross-layer path management in multi-path transport protocol for mobile devices | 21 | 0.94 | 2014 |
Rewiring for threshold logic circuit minimization | 2 | 0.40 | 2014 |
Improving Energy Efficiency of MPTCP for Mobile Devices. | 5 | 0.42 | 2014 |
Width minimization in the Single-Electron Transistor array synthesis | 6 | 0.55 | 2014 |
MSPlayer: Multi-Source and multi-Path LeverAged YoutubER. | 2 | 0.39 | 2014 |
Stage diagnosis for Chronic Kidney Disease based on ultrasonography | 0 | 0.34 | 2014 |
Multi-source multipath HTTP (mHTTP): a proposal | 7 | 0.61 | 2014 |
Hybrid LUT and SOP Reconfigurable Architecture. | 1 | 0.36 | 2014 |
On bufferbloat and delay analysis of multipath TCP in wireless networks | 4 | 0.56 | 2014 |